1.067.053
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Logikai szintaxis és szemantika 1.
Budapest
| Kiadó: | Akadémiai Kiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Fűzött kemény papírkötés |
| Oldalszám: | 277 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | 963-05-4720-1 |
É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
naponta értesítjük a beérkező friss
kiadványokról
A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról
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ényeik 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ábbFü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ényeik 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 szükséges, magából a könyvből sajátíthat el az olvasó. A nyelv és a logika számos filozófiai-módszertani problémáját is érintő és a szerző saját kutatási eredményeit is bemutató könyv nem könnyű, de izgalmas tudományos olvasmány. VisszaTartalom
Az olvasóhoz 71. A formalizált nyelvek szintaxisa 15
1.1 A nyelvleírás kiinduló problémái 15
1.1.1 Tárgy nyelv, közlési nyelv, metanyelv 15
1.1.2 Betűk és szavak 17
1.1.3 Szintaxis és szemantika 20
1.2 A metanyelv kifejezési eszközei 22
1.2.1 Változók, kvantifikáció 22
1.2.2 A fogalmak fontosabb típusai 28
1.2.3 Osztályok 35
1.2.4 A nyelvbázis fogalma 40
1.3 Kanonikus kalkulusok 48
1.3.1 Induktív definíciók 48
1.3.2 A kanonikus kalkulus fogalma 54
1.3.3 Hiperkalkulusok 62
1.3.4 Felsorolhatóság és eldönthetőség 68
1.4 Markov-algoritmusok 72
1.4.1 Algoritmusok 72
1.4.2 A Markov-algoritmus fogalma 76
1.4.3 Eldöntő algoritmusok 82
1.4.4 Definit szóosztályok 88
2. Extenzionális nyelvek 95
2.1 Klasszikus elsőrendű nyelvek 95
2.1.1 Grammatika 95
2.1.2 A klasszikus elsőrendű kalkulus (QC) 103
2.1.3 A klasszikus állításkalkulus (PC) 109
2.1.4 Kvantifikációs törvények 117
2.2 A kanonikus kalkulusok formalizált elmélete 121
2.2.1 A KK elmélet formalizálása 121
2.2.2 Az eldönthetőség problémája 128
2.2.3 Negációteljesség 132
2.3 Halmazelmélet 138
2.3.1 Halmazok és osztályok 138
2.3.2 Relációk és függvények 149
2.3.3 Rendszámok. A természetes számok 157
2.3.4 Induktív definíciók. Aritmetikai műveletek 164
2.3.5 Sorozatok. Számosságok 170
2.4 Az extenzionális nyelvek szemantikája 176
2.4.1 Alap- és funktorkategóriák, szemantikai értékek 176
2.4.2 Az extenzionalis tipuselmélet 183
2.4.3 Interpretációk 187
2.4.4 Igazságfüggvények 190
2.4.5 Változók és változót lekötő operátorok 195
2.4.6 A nyelv struktúrájának leírása 198
2.5 A klasszikus elsőrendű szemantika 202
2.5.1 A szemantikai fogalmak bevezetése 202
2.5.2 A QC kalkulus teljessége 212
2.5.3 A névfunktorok kiküszöbölhetősége 218
2.5.4 A kielégíthetőség kritériumai 225
2.5.5 Igazságérték-szemantika 234
2.6 Típuselméleti extenzionális nyelvek 238
2.6.1 Grammatika és szemantika 238
2.6.2 A tipuselméleti extenzionális kalkulus (EC) 249
2.6.3 Az általánosított szemantika. EC teljessége 258
Irodalomjegyzék 265
Név- és tárgymutató 269
Szimbólumok jegyzéke 277
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űvekMegvá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.
Folytatás Microsoft-tal