1.067.081

kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát

A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

Bevezetés a modern logikába

Szerző
Lektor
Budapest
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
Értesítőt kérek a kiadóról
Értesítőt kérek a sorozatról

A beállítást mentettük,
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

Előszó

A 'logika' szó a mai magyar nyelv szókincséhez tartozik. Használjuk is úton-útfélen:
„Van/nincs benne logika."
„Logikus beszéd."
„Logikátlan eljárás."
„Fölismerte a dolgok logikáját."... Tovább

Előszó

A 'logika' szó a mai magyar nyelv szókincséhez tartozik. Használjuk is úton-útfélen:
„Van/nincs benne logika."
„Logikus beszéd."
„Logikátlan eljárás."
„Fölismerte a dolgok logikáját."
„Más logika szerint gondolkodik."
Az ilyesfajta megnyilvánulásokban a 'logika' szó jelentése eléggé homályos; kb. a rendszeresség, következetesség értelmében szerepel. Ambrose Bierce amerikai író groteszk megállapítása szerint: Logika - a gondolkodás és érvelés művészete, szigorú összhangban az emberi félreértés korlátaival és tehetetlenségével. Túl a köznapi szóhasználaton, a 'logika' egy tudományszak elnevezése is; és ebben a könyvben a logika tudományával óhajtunk foglalkozni, függetlenül a 'logika' köznapi értelmétől. Kívánatosnak tűnik kiindulásként a logika tárgyának körülhatárolása. A logikát az antikvitás óta a filozófia részének, vagy legalábbis a filozófiához szorosan kapcsolódó témának tekintették. (Az akadémiai kategorizálás szerint nálunk jelenleg is a filozófia egy fejezetének számít.)
Ebből sejthető, hogy a logika tárgyának meghatározása a történelem során nem volt mentes a különféle filozófiai irányzatok befolyásától. Leggyakrabban az ismeretelmélettel rokonították: a gondolkodás vagy a helyes gondolkodás tudományának tekintették. Nem árt illusztrálni ezt a felfogást néhány lexikonidézettel, már csak azért sem, mert az idősebb értelmiségi generációhoz tartozók körében még napjainkban is hasonló felfogások élnek. logika - a helyes gondolkodás formáiról, feltételeiről, feltevéseiről, törvényeiről szóló tudomány. Vissza

Tartalom

BEVEZETÉS
Mi micsoda?9
Hányan vannak?15
És mire jó?17
EXTENZIONÁLIS LOGIKA
A logikai grammatika és szemantika alapfogalmai21
Extenzionális mondatfunktorok27
Negáció, konjunkció, alternáció27
A feltételes állítás. Kondicionális és bikondicionális38
Igazságfüggvények47
Elemzés, interpretáció, analitikus táblázat51
A következményreláció törvényei62
Kvantifikációelmélet66
Predikátumok és nevek66
Változók és kvantorok74
Univerzális és egzisztenciaállítások83
Az azonosságpredikátum93
Az analitikus táblázat módszerének kiterjesztése101
Egyrétű formulák, Venn-diagramok, szillogizmusok111
Elsőrendú nyelvek és szemantikájuk121
A klasszikus elsőrendű logika mint kalkulus (QC)127
Mit értünk logikai kalkuluson?127
A QC fölépítése130
Levezetések QC-ben133
QC teljessége KL-re nézve138
Elsőrendű elméletek142
A Peano aritmetika142
Halmazelmélet: osztályok és halmazok147
Relációk és függvények a halmazelméletben155
Végtelen halmazok163
Természetes levezetés168
Gentzen stílusú kalkulusok168
Intuicionista logika172
Releváns logika180
Többértékű logika188
Többértékű mátrixok188
Valószínűségi logika192
Magasabbrendű logika197
Másodrendű logika197
Típuselméleti extenzionális logika (TL)204
Definiált logikai jelek TL-ben213
A G-szemantika és az EC kalkulus217
Deskripciók222
A határozott individuumleírások logikai szerkezte222
Menekülés a deskripcióktól228
Szemnatikai értékrés az elsőrendű logikában234
INTENZIONÁLIS LOGIKA
Modális logika243
Modális mondatfunktorok243
A "szigorú implikáció" logikája247
A "lehetséges világok" szemantikája255
A "standard" modáli skalkulusok261
Modalitás és kvantifikáció270
Szemantikai értékerés a modális logikában277
Temporális logika286
Az igeidők logikája286
A lineáris idő289
Diadikus időoperátorok292
Típuselméleti intenzionális logika295
Intenzionális funktorok és intenziók295
Montague intenzionális logikája298
Az IC kalkulus303
Alkalmazás a természetes nyelvre306
Az intenzionális logika módosítása316
A módosítás alapeszméi316
Az intenzionális logika IL rendszere319
Definiált logikai jelek IL-ban325
Alkalmazások331
Feladatmegoldások341
Függelék367
Angol-magyar logikai szakszótár371
Név-és tárgymutató379
Szimbólumok jegyzéke391
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