„Logikai grammatika” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Mozo (vitalap | szerkesztései) |
a Robot: Kiskötőjel cseréje gondolatjelre |
||
1. sor:
A '''logikai grammatika''' a [[logika]] azon területe, mely a [[természetes nyelv]]ek vagy a természetes nyelvek valamely jól meghatározott töredékének [[nyelvtan]]át logikai szempontok szerint vizsgálja.
A logikai grammatika
A [[formális nyelv]]ek felől tekintve a logikai grammatika egyfajta keretelmélet akarna lenni, mely a nyelvi szerkezeteket kategóriákba sorolja. Egy konkrét [[elsőrendű nyelv]] esetén a formális definíciók néha elfedik a kifejezések és formulák nyelvben játszott szerepét. A logikai grammatika kategóriái támpontul szolgálnak egy általánosabb, a formalizáció kivitelezésének mikéntjétől független grammatikai-szintaktikai tárgyalásmódhoz.
12. sor:
== A logikai grammatika alapfogalmai ==
A logikai grammatika
* '''Nevek'''. A nevek olyan nyelvi szerkezetek, melyek valamely egyedi dolog azaz [[individuum]] (tárgy, személy, fogalom) megnevezésére, jelölésére szolgálnak. A nevek két kategóriája a '''tulajdonnevek''' (vagy másként '''individuumnevek''') és az '''induviduumleírások''' (vagy '''deskripciók''').
:* ''tulajdonnevek''
::Például: 'Sir Walter Scott'.
:* ''individuumleírások'' (deskripciók)
::Például: 'A ''Waverley'' szerzője' egy határozott individuumleírás, mert egyetlen individuumra utal, míg a 'A ''Principa Mathematica'' írója' határozatlan, mert Russell mellett szerzőtársára is utalhat.
* '''Mondatok'''. Mondaton lényegében a nyelvészet által [[kijelentő mondat]]nak nevezett szerkezet. Közelebbről nem definiáljuk, mi az a ''mondat'', rábízzuk ''természetes nyelvérzék''ünkre, mely bármilyen nyelv anyanyelvi szintű elsajátításakor helyesen kiválasztja mit is kell ezen érteni. Úgy is fogalmazhatunk, hogy azt, hogy mit tekintünk mondatnak, a többségi, konzekvens nyelvhasználat dönti el, formai kritériumok alapján, meglehetősen objektív módon.
58. sor:
=== A leggyakoribb funktortípusok ===
'''Homogén funktor'''nak nevezzük azt a funktort, melynek minden bemenete azonos kategóriájú (azaz vagy név, vagy mondat). A homogén funktorok háromfélék:
* '''Mondatfunktorok'''
Példák:
64. sor:
:'Misi azt gondolja, hogy ... '
:'Lehetséges, hogy ha ... <sub>(1)</sub>, akkor ... <sub>(2)</sub>'
* '''Predikátumok'''
Példák:
:'... ló' vagy behelyettesítve: 'Alamuszi [egy] ló'
:'... <sub>(1)</sub> átkelt a ... <sub>(2)</sub> folyón'
* '''Névfunktorok'''
Példák:
:'... apósa'
85. sor:
Most áttekintünk néhány olyan formális manipulációt, mellyel funktorokból újabb funktorok készíthetők.
* '''Helyettesítés''' (vagy kompozíció)
Megjegyezzük, hogy egy funktornak zárt mondattá vagy névvé kitöltése egy speciális helyettesítés-sorozat, ahol a változók minden szereplésébe egyszerre helyettesítünk egy 0-bemenetű "konstans funktort", azaz egy nevet vagy egy mondatot.
* '''Kvantifikáció'''
Példa.
96. sor:
szimbólumsor jelöli, melyet úgy mondunk ki, hogy "minden x-re x halandó". Vegyük észre, hogy míg a 'Mindenki halandó.' mondatban nem szerepel az x addig a jelölésére szánt szimbólumsorban szerepel. A változók ilyen szerepléseit "látszólagos" vagy ''kötött'' szerepléseknek nevezzük. Ezt kifejezendő mondják a matematikusok, hogy "ha egy változó kétszer szerepel egy formulában akkor nem szerepel". Az ilyen operátort '''változót lekötő operátor'''nak nevezzük.
:''Lásd bővebben: [[kvantifikációelmélet]]''.
* '''Lambda-operáció'''
Példa.
105. sor:
Természetes nyelvben a '... halandó' predikátum megnevezését a 'ság'-'ség' képzővel képezzük: 'halandóság' vagy még hozzátesszük: 'mint olyan', például 'a halandóság mint olyan', 'az igazság, mint olyan', 'a lóság mint olyan' (a '... ló' predikátum megnevezése), vagy 'az összeadás mint olyan' (ezesetben a formális kifejezés: (λx<sub>1</sub>)(λx<sub>2</sub>)(x<sub>1</sub>+x<sub>2</sub>) ). A lambda-operáció is egy változót lekötő operátor.
:''Lásd bővebben: [[lambdakalkulus]].''
* '''Deskriptor operátorok'''
Példa: A ''P(x)''-szel jelölt ' ''x'' Franciaország jelenlegi elnöke' predikátum egyértelműen meghatároz egy személyt. Ennek a személynek a határozott individuumleírása 'Franciaország jelenlegi elnöke', funkcionális jelölésmódban:
112. sor:
:''Lásd még: [[deskripciók]]''
* '''Osztályabsztració'''
Példa: Ha ''P(x)''-szel jelöli az ' ''x'' halandó' predikátumot, akkor
134. sor:
amely minden valamirevaló [[igazságfogalom]] bevezetése után [[ellentmondás]]sá válik. Ehhez az ellentmondáshoz legközelebb a heterologikus és homologikus tulajdonságokra vonatkozó [[Grelling-Nelson-paradoxon]] áll.
'''Korollárium'''
Ezek a szintek lehetnek egy nyelven belül különböző típusok, vagy több (meta)nyelvi szint rendszere. Ilyen elméletek az elsőrendű-, a másodrendű logika, a típuselmélet vagy a Tarski-féle metaszintek rendszere.
146. sor:
mondatot (amennyiben egy 'y ∈ { x | P(x) }' predikátum definíció szerint ekvivalens 'P(y)'-nal).
'''Korollárium'''
== Funktortípusok ==
173. sor:
* ''Faktuális érték (vagy extenzió)'' – ez egyfajta jelöletet, referenciát ad a nyelvi elemeknek valamely egyedi szituációban; szemléletesen: az, amire a szövegbeli kifejezés utal.
* ''Intenzió'' – egyfajta jelentés, de csak egy adott szituációban.
* ''Szándékolt jelentés'' vagy ''értelem''
A szemantikai értékek a különböző filozófiai logikai elméletekben tehát adhatók a kifejezéseknek, de az „igazi jelentés” megállapítása voltaképpen metafizikai, azaz sokszor eldönthetetlen probléma. Vannak azonban szerencsés esetek, melyekben a nyelv mögötti logika árulkodik az [[jelölet]]ek metafizikai tulajdonságairól. Ilyen az impredikabilitás problémája és a Russell-paradoxon esete is.
|