Lindströmsova věta - Lindströms theorem - Wikipedia
v matematická logika, Lindströmova věta (pojmenováno podle švédského logika Per Lindström, který ji publikoval v roce 1969) uvádí logika prvního řádu je nejsilnější logika[1] (splnění určitých podmínek, např. uzavření pod klasická negace ) s oběma (spočetná) vlastnost kompaktnosti a (směrem dolů) vlastnost Löwenheim – Skolem.[2]
Lindströmova věta je možná nejznámějším výsledkem toho, co se později stalo známé jako teorie abstraktního modelu,[3] jehož základní pojem je abstraktní logika;[4] obecnější představa o instituce byl později představen, který postupuje od set-teoretického pojetí modelu k a kategorie - teoretický.[5] Lindström předtím dosáhl podobného výsledku při studiu logiky prvního řádu rozšířeného o Lindströmovy kvantifikátory.[6]
Lindströmova věta byla rozšířena o různé další systémy logiky, zejména o modální logiku Johan van Benthem a Sebastian Enqvist.
Poznámky
- ^ Ve smyslu Heinz-Dieter Ebbinghaus Rozšířená logika: obecný rámec v K. J. Barwise a S. Feferman, redaktoři, Modelově teoretická logika, 1985 ISBN 0-387-90936-2 strana 43
- ^ Společník filozofické logiky autor: Dale Jacquette 2005 ISBN 1-4051-4575-7 strana 329
- ^ Chen Chung Chang; H. Jerome Keisler (1990). Teorie modelů. Elsevier. str. 127. ISBN 978-0-444-88054-3.
- ^ Jean-Yves Béziau (2005). Logica universalis: k obecné teorii logiky. Birkhäuser. str. 20. ISBN 978-3-7643-7259-0.
- ^ Dov M. Gabbay, vyd. (1994). Co je to logický systém?. Clarendon Press. str. 380. ISBN 978-0-19-853859-2.
- ^ Jouko Väänänen, Lindströmova věta
Reference
- Per Lindström, „O rozšířeních elementární logiky“, Theoria 35, 1969, 1–11. doi:10.1111 / j.1755-2567.1969.tb00356.x
- Johan van Benthem, „Nová modální Lindströmova věta“, Logica Universalis 1, 2007, 125–128. doi:10.1007 / s11787-006-0006-3
- Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang (1994), Matematická logika (2. vyd.), Berlín, New York: Springer-Verlag, ISBN 978-0-387-94258-2
- Sebastian Enqvist, „Obecná Lindströmova věta pro některé normální modální logiky“, Logica Universalis 7, 2013, 233–264. doi:10.1007 / s11787-013-0078-9
- Monk, J. Donald (1976), Matematická logika„Postgraduální texty z matematiky, Berlín, New York: Springer-Verlag, ISBN 978-0-387-90170-1
- Shawn Hedman, První kurz v logice: úvod do teorie modelů, teorie důkazů, vypočítatelnosti a složitostiOxford University Press, 2004, ISBN 0-19-852981-3, oddíl 9.4
 | Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |