Logikai szintaxis és szemantika 1-2.

Szerző

Szerkesztő

Budapest

'Ruzsa Imre: Logikai szintaxis és szemantika 1-2. ' összes példány

Kiadó:	Akadémiai Kiadó
Kiadás helye:	Budapest
Kiadás éve:	1989
Kötés típusa:	Fűzött kemény papírkötés
Oldalszám:	717 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-05-4719-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ő korábbi, Klasszikus, modális és intenzionális logika című könyvében a technikai (matematikai) apparátus csaknem teljes mellőzésével mutatta be a modern logika fejlődését Frege klasszikus elméletétől az intenzionális logikáig. Jelen kétkötetes munkája lényegében ugyanezt a témát dolgozza fel, ám jóval részletesebben és a matematikai technika széles körű alkalmazásával. A formalizált nyelvek szintaxisához szükséges matematikai eszközként bemutatja a kanonikus kalkulusok és a Markov-algoritmusok elméletét, majd a logikai szemantika alapvető segédtudományaként a halmazelméletet. Ezek a matematikai eszközök nemcsak a formalizált, hanem a természetes nyelvek egzakt vizsgálatában is nélkülözhetetleneknek bizonyultak. A szerző az extenzionális és az intenzionális logika különféle rendszereinek leírása és nagy jelentőségű törvények szabatos bizonyítása során hasznosítja ezeket az eszközöket. Nem épít azonban az olvasó matematikai előismereteire: mindent, ami a könyv megértéséhez... Tovább

Tartalom

I. kötet
Az olvasóhoz	7
A formalizált nyelvek szintaxisa	15
A nyelvleírás kiinduló problémái	15
Tárgynyelv, közlési nyelv, metanyelv	15
Betűk és szavak	17
Szintaxis és szemantika	20
A metanyelv kifejezési eszközei	22
Változók, kvantifikáció	22
A fogalmak fontosabb típusai	28
Osztályok	35
A nyelvbázis fogalma	40
Kanonikus kalkulusok	48
Induktív definíciók	48
A kanonikus kalkulus fogalma	54
Hiperkalkulusok	62
Felsorolhatóság és eldönthetőség	68
Markov-algoritmusok	72
Algoritmusok	72
Eldönthető algoritmusok	76
Definit szóosztályok	82
Extenzionális nyelvek	88
Klasszikus elsőrendű nyelvek	95
Grammatika	95
A klasszikus elsőrendű kalkulus	95
A klasszikus állításkalkulus	103
Kvantifikációs törvények	109
A kanonikus kalkulusok formalizált elmélete	117
A KK elmélet formalizálása	121
Az eldönthetőség problémája	121
Negációteljesség	128
Halmazelmélet	132
Halmazok és osztályok	138
Relációk és függvények	138
Rendszámok. A természetes számok	149
Induktív definíciók. Aritmetikai műveletek	157
Sorozatok. Számosság	170
Az extenzionális nyelvek szemantikája	176
Alap- és funktorkategóriák, szemantikai értékek	176
Az extenzionális típuselmélet	183
Interpretációk	187
Igazságfüggvények	190
Változók és változót lekötő operátorok	195
A nyelv struktúrájának leírása	198
A klasszikus elsőrendű szemantika	202
A szemantikai fogalmak bevezetése	202
A QC kalkulus teljessége	212
A névfunkturok kiküszöbölhetősége	218
A kielégíthetőség kritériumai	225
Igazságérték-szemantika	234
Típuselméleti extenzionális nyelvek	238
Grammatika és szemantika	238
A típuselméleti extenzionális kalkulus	249
Az általánosított szemantika. EC teljessége	258
Irodalomjegyzék	265
Név- és tárgymutató	269
Szimbólumok jegyzéke	277
II. kötet
Nulladrendű modális nyelvek	289
Fejlődéstörténeti tájékoztató	289
A szigorú kondicionális rendszerei	293
A modális nyelvek szemantikája	317
A Kripke-szemantika	317
Nevezetes keretstruktúra-osztályok	324
Nemszigorú rendszerek	328
A nemszigorú kalkulusok felépítése	328
Metatételek	332
Teljességi bizonyítások	339
Kapcsolatok a Lewis-kalkulusokkal	346
Szigorú rendszerek	350
A szigorú kalkulusok fölépítése	350
A nemalethikus szigorú rendszerek	355
Az alethikus szigorú rendszerek	359
Degenerált és köztes rendszerek	361
Normál szemantika, standard kalkulusok	364
A normál szemantika	364
Nemalethikus normál kalkulusok	367
Alethikus normál kalkulusok	371
S5 mint "elsőfokú" modális logika	373
Áttekintés	377
Elsőrendű modális nyelvek	381
Barcan típusú rendszerek	381
Modalitás és kvantifikáció	381
Grammatika és szemantika	384
Barcan típusú kalkulusok	388
A Barcan-kalkulusok teljessége	393
Kripke típusú rendszerek	398
A Kripke-kalkulusok	398
A teljesség bizonyítása	404
Értékrés-szemantika	411
Az értékrés-szemantika alapelvei	411
Értékréses elsőrendű modális rendszerek	422
Értékréses szemantikai törvények	434
A relevancia	441
Prior típusú kalkulusok	447
Metatételek, konzisztencia	461
A teljesség bizonyítása	471
Egyszerűsítések	481
Típuselméleti intenzionális nyelvek	487
Intenzionális típuselmélet	487
Az intenzionális funktorok értelmezésének problémái	487
Church intenzionális típuselmélete	491
Montague intenzionális típuselmélete	495
Montague intenzionális logikája	497
Grammatika és szemantika	497
Az IC kalkulus	504
Alkalmazás a természetes nyelv modellálására	516
Értékréses intenzionális logika	532
Bevezetés	532
Szemantikai metatételek	537
Definált logikai jelek	561
Az intenzionalitás kiterjesztése	575
A magyar nyelv egy formalizált töredéke	581
Bevezetés	581
A logikai rekonstrukció és az aktuális mondattagolás	581
Alapfogalmak és jelölési konvenciók	587
Kijelentő mondatok	592
Nominális kifejezések és főnevek	593
Nominális kifejezések	593
Főnévi kifejezések	600
Igei kifejezések	607
Egyargumentumú igei kifejezések	609
Tranzitív igei kifejezések	615
Mondattárgyú igék	626
Vonatkozó mellékmondatok	630
Behelyettesítési szabályok	635
Infinitivus tárgyú igék	646
Igemódosítók	654
Adverbiumok	654
Extenzionális határozók	663
Jelzők	672
Alapfokú melléknév	672
A melléknév közép- és felsőfoka	678
Relatívumok	680
A szintaktikai szabályok áttekintése	689
Irodalomjegyzék	695
Név- és tárgymutató	699
Szimbólumok jegyzéke	715

Témakörök

Filozófia > Témaköre szerint > Logika
Nyelvészet > Egyéb

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