| Kiadó: | Osiris Kiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Fűzött kemény papírkötés |
| Oldalszám: | 391 oldal |
| Sorozatcím: | Osiris tankönyvek |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | 963-379-978-3 |
| Megjegyzés: | Fekete-fehér illusztrációkkal. |
| BEVEZETÉS | |
| Mi micsoda? | 9 |
| Hányan vannak? | 15 |
| És mire jó? | 17 |
| EXTENZIONÁLIS LOGIKA | |
| A logikai grammatika és szemantika alapfogalmai | 21 |
| Extenzionális mondatfunktorok | 27 |
| Negáció, konjunkció, alternáció | 27 |
| A feltételes állítás. Kondicionális és bikondicionális | 38 |
| Igazságfüggvények | 47 |
| Elemzés, interpretáció, analitikus táblázat | 51 |
| A következményreláció törvényei | 62 |
| Kvantifikációelmélet | 66 |
| Predikátumok és nevek | 66 |
| Változók és kvantorok | 74 |
| Univerzális és egzisztenciaállítások | 83 |
| Az azonosságpredikátum | 93 |
| Az analitikus táblázat módszerének kiterjesztése | 101 |
| Egyrétű formulák, Venn-diagramok, szillogizmusok | 111 |
| Elsőrendú nyelvek és szemantikájuk | 121 |
| A klasszikus elsőrendű logika mint kalkulus (QC) | 127 |
| Mit értünk logikai kalkuluson? | 127 |
| A QC fölépítése | 130 |
| Levezetések QC-ben | 133 |
| QC teljessége KL-re nézve | 138 |
| Elsőrendű elméletek | 142 |
| A Peano aritmetika | 142 |
| Halmazelmélet: osztályok és halmazok | 147 |
| Relációk és függvények a halmazelméletben | 155 |
| Végtelen halmazok | 163 |
| Természetes levezetés | 168 |
| Gentzen stílusú kalkulusok | 168 |
| Intuicionista logika | 172 |
| Releváns logika | 180 |
| Többértékű logika | 188 |
| Többértékű mátrixok | 188 |
| Valószínűségi logika | 192 |
| Magasabbrendű logika | 197 |
| Másodrendű logika | 197 |
| Típuselméleti extenzionális logika (TL) | 204 |
| Definiált logikai jelek TL-ben | 213 |
| A G-szemantika és az EC kalkulus | 217 |
| Deskripciók | 222 |
| A határozott individuumleírások logikai szerkezte | 222 |
| Menekülés a deskripcióktól | 228 |
| Szemnatikai értékrés az elsőrendű logikában | 234 |
| INTENZIONÁLIS LOGIKA | |
| Modális logika | 243 |
| Modális mondatfunktorok | 243 |
| A "szigorú implikáció" logikája | 247 |
| A "lehetséges világok" szemantikája | 255 |
| A "standard" modáli skalkulusok | 261 |
| Modalitás és kvantifikáció | 270 |
| Szemantikai értékerés a modális logikában | 277 |
| Temporális logika | 286 |
| Az igeidők logikája | 286 |
| A lineáris idő | 289 |
| Diadikus időoperátorok | 292 |
| Típuselméleti intenzionális logika | 295 |
| Intenzionális funktorok és intenziók | 295 |
| Montague intenzionális logikája | 298 |
| Az IC kalkulus | 303 |
| Alkalmazás a természetes nyelvre | 306 |
| Az intenzionális logika módosítása | 316 |
| A módosítás alapeszméi | 316 |
| Az intenzionális logika IL rendszere | 319 |
| Definiált logikai jelek IL-ban | 325 |
| Alkalmazások | 331 |
| Feladatmegoldások | 341 |
| Függelék | 367 |
| Angol-magyar logikai szakszótár | 371 |
| Név-és tárgymutató | 379 |
| Szimbólumok jegyzéke | 391 |
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.