Predikát druhého řádu - Second-order predicate - Wikipedia
v matematická logika, a predikát druhého řádu je predikát to trvá a predikát prvního řádu jako argument.[1] Porovnat predikát vyššího řádu.
Myšlenku predikce druhého řádu představil Němec matematik a filozof Frege. Je založen na jeho myšlence, že predikát typu „je filozof“ označuje a koncept, spíše než objekt.[2] Někdy může být samotný koncept předmětem návrhu, například v „Neexistují žádné Bosenské filosofové ". V tomto případě nemluvíme o žádném bosensko-filozofickém, ale o pojmu" je bosensko-filozofický ", že to není spokojený. Predikát „není spokojen“ tedy něco přisuzuje konceptu „je bosensko-filosof“, a je tedy predikátem druhé úrovně.
Tato myšlenka je základem Fregeovy teorie číslo.[3]
Reference
- ^ Yaqub, Aladdin M. (2013), Úvod do logické teorie, Broadview Press, str. 288, ISBN 9781551119939.
- ^ Oppy, Graham (2007), Ontologické argumenty a víra v Boha, Cambridge University Press, str. 145, ISBN 9780521039000.
- ^ Kremer, Michael (1985), „Fregeova teorie čísel a rozdíl mezi funkcí a objektem“, Filozofické studie, 47 (3): 313–323, doi:10.1007 / BF00355206, PAN 0788101.
 | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |