Klasszikus, modális és intenzionális logika

Szerző

Budapest

'Ruzsa Imre: Klasszikus, modális és intenzionális logika ' összes példány

Kiadó:	Akadémiai Kiadó
Kiadás helye:	Budapest
Kiadás éve:	1984
Kötés típusa:	Vászon
Oldalszám:	411 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-05-3084-8

Értesítőt kérek a kiadóról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Fülszöveg

A szerző e könyvében a szimbolikus logika módszereit, fejlődéstörténetét és fontosabb filozófiai problémáit tárgyalja. A hasonló tárgyú munkáktól eltérően nem áll meg a klasszikus (extenzionális) elméletnél, hanem messzemenően behatol a logika alapvető jelentőségű modális és intenzionális logika területére, a legutóbbi évekig követve e tudományág fejlődését. A szerző a kifejtéshez szükséges matematikai apparátus használatát a minimumra korlátozza anélkül, hogy engedményt tenne a szabatosság rovására.
A művet felépítése és tárgyalásmódja alkalmassá teszi a tankönyv jellegű felhasználásra.

Tartalom

Az olvasóhoz	9
A klasszikus kétértékű logika	13
Bevezetés	16
A klasszikus logika grammatikája	19
Predikátumok és névmások	20
Individuumkifejezések	21
Logikai szavak	21
A negáció	22
A konjunkció	24
Az alternáció	25
Igazságfüggvények	25
A kondicionális	26
A bikondicionális	31
Univerzális kvatifikáció	32
Az egzisztenciális kvantifikáció	35
Az általánosított kondicionálás	36
Az ún. kategorikus állítások	39
Az azonosság	41
Az azonosság filozófiai problémái	44
Az unicitás	50
A következményreláció	52
Állítások helyett sémák	52
Interpretációk	54
A következményreláció definciója	56
Nevezetes következtetési formák	59
A kategorikus szillogizmusok	63
Kitekintés: másodrendű logika	63
Analiticitás és logikai igazság	67
Entymematikus következtetés	73
Analitikus állítások	75
Szemantikai állítások	80
A klasszikus logika mint kalkulus	83
Szemantikai rendszer és kalkulus	83
A klasszikus (elsőrendű) kalkulus	86
Helyesség és teljesség	89
A klasszikus állításkalkulus	91
A természetes levezetés rendszere	91
Deskripciók	98
A határozott névelő logikai funkciója	98
A deskripciók logikai szerkezete	100
Deskripciók állításokban	103
A jelölt nélküli nevek	110
A modern modális logika fejlődéstörténete	115
Bevezetés	115
A modális szavak	115
Episztemikus modalitások	119
Alethikus modalitások	120
Az arisztotelészi örökség	124
A modális szavak arisztotelészi elemzése	124
Arisztotelész modális szillogisztikája	131
C. I. Lewis: a "szigorú implikáció" logikája	137
A modális logika a szimbolikus logika keretében	137
A normál alethikus logika általános keretelmélete: a T rendszer	142
A szigorú kondicionális paradoxonai	146
Az S4 rendszer	150
Az analiticitás logikája: S5	155
Deontikus kalkulusok	156
Diodóroszi modalitások: az idő logikája	160
Modalitás és kvantifikáció: a "bűnben fogantatott" logika	164
Modális predikátumkalkulusok	164
Barcan-típusú kalkulusok	165
A modális predikátumkalkulus paradoxonai	169
Javaslatok a paradoxonok elhárítására	172
A "modális elkötelezettség" három fokozata	176
Direkt vagy indirekt idézetek?	180
Deskripciók modális kontextusban	182
De re modalitások: esszencializmus	185
Carnap modális kváziszemantikája	194
Az állapotleírások elmélete	194
Extenzió és intenzió	199
Individuumkifejezések extenziója és intenziója	203
Az elmélet értékelése	208
A szemantikai értékek elmélete	213
Kripke modális szemantikája	227
Denotációs szemantika S5-höz	227
Az általános Kripke-szemantika	229
Az elemi modális logika szemantikája	231
A modális predikátumlogika szemantikája	235
A lehetséges individuumok és a lehetséges világok	239
Más megközelítések	247
Releváns logika	249
A releváns implikáció	249
Igazságfüggvények a releváns logikában	258
Az E rendszer	263
A kritika kritikája	267
Egy mellékág: Jan Lukasiewicz	272
Az indeterminista koncepció	272
Az antinecesszitás koncepciója	276
A. N. Prior: az értékrés-koncepció	280
A Q rendszer	280
Q kvantifikációs bővítésének problémái	285
Modális logika - új megközelítésben (A Q-szemantika)	290
Értékrés-kritériumok	290
A tárgyalási univerzum	293
Az "erős" egzisztenciális kvantor	295
Predikátumok elfajulása	297
A névelmélet	302
Állandó és változó jelöletű nevek	302
A tulajdonságnyaláb-elmélet	303
Állandó terjedelmű predikátumok	310
Az azonosság szükségszerűsége	311
A deskripciók elmélete	315
Nyitott deskripció kvantor hatáskörében	317
Deskripció deskripció belsejében	322
Modalitás és deskripció	324
Értékrés-kritérium a deskripciókra	329
Relevancia	333
Gyönge relevancia	333
Erős relevancia. Statabilitási atomok	337
A Q kalkulusok	339
A modális logika rehabilitása	340
Intenzionális logika	346
Típuselméleti logika	347
A típuselmélet	347
A lambda-operátor	351
A típuselméleti logika formalizált nyelve	357
Montague intenzionális logikája	364
Montague keretelmélete	364
Pragmatikus logika	371
A nyelvi kifejezések logikai finomstruktúrája	377
Kritikai megjegyzések	383
Az intenzionális logika módosítása	388
Irodalomjegyzék	396
Névmutató	403
Tárgymutató	405
Szimbólumok jegyzéke	412

Témakörök

Ruzsa Imre

Ruzsa Imre műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Ruzsa Imre könyvek, művek

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem