Formális logika filozófiai megközelítésben

Kézirat

Szerző

Budapest

'G. Havas Katalin: Formális logika filozófiai megközelítésben ' összes példány

Kiadó:	Tankönyvkiadó Vállalat
Kiadás helye:	Budapest
Kiadás éve:	1975
Kötés típusa:	Fűzött papírkötés
Oldalszám:	230 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	23 cm x 17 cm
ISBN:
Megjegyzés:	Kézirat. 4. változatlan utánnyomás. Tankönyvi száma: J 2-789.

É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

Előszó

Formális logikát tanítani a kollégium mindenkori céljának megfelelően - különböző módon lehet és kell. Más-más aspektusból tárgyalható a logika matematikusok, mérnökök, filozófusok, nyelvészek stb.... Tovább

Tartalom

A logika tárgya	7
A logika szó jelentése	9
A logika forma, a logikai művelet	11
A logika helyesség és az igazság	13
Hagyományos és modern logika	15
Formális és dialektikus logika	21
A kijelentések logikája	25
Az ítéletekből összetett ítéletek	27
Az ítéletekről általában	27
Az összetett ítéletek általános jellemzése	29
Az összetett ítéletek összes lehetséges fajtáiról	39
Az ítéletek közötti viszonyok	48
Az összetett ítéletek normálformára vezetése	57
Mindig-igaz, mindig-téves, kielégíthető formulák	66
Az összetett ítéleteken alapulú következtetések	71
A következtetések általános jellemzése	71
Feltételes és szétválasztó sziliiogizmusok	74
Feltételes-szétválasztó szillogizmusok	81
Következtetések érvényességének vizsgálata táblázatos módszerrel	82
Következmények levonása táblázatos módszerrel	86
Következtetések érvényességének eldöntése normálformára vezetéssel	88
Követkemények levonása ítéletkalkulusbeli azonosságok felhasználásával	93
A kijelentések logikája és a gyakorlat	98
A fogalom	109
Fogalom és valóság viszonya	111
A fogalmak közötti viszonyok	121
Halmazok, halmazműveletek és ezek összefüggése a fogalmakkal	129
A predikátumok logikája	137
Az egyszerű ítéletek	139
Egy alanyú ítéletek	139
A kategórikus ítélet	139
A kategórikus ítéletek közötti viszonyok	149
Kategórikus ítéletek és a létezés problémája	154
Egyedi ítéletek	159
Több alanyú ítéletek	160
Relációs ítéletek	160
Az egyszerű ítéletek formalizálása a perdikátumkalkulusban	162
Következtetések egyszerű ítéletekkel	176
Közvetlen következtetések kategórikus ítéletekkel	176
A kategórikus szillogizmus	178
Következtetések egyedi ítéletekkel	188
Következtetések relációs ítéletekkel	189
Következtetések elemzése a predikátumkalkulusban	192
Metodológiai problémák	197
A deduktív rendszerekről	199
A deduktív rendszer fogalma	199
Az axiómatikus-formalizált rendszerek	201
Az ítéletkalkulus axiómetrikus rendszere	202
A deduktív axiómarendszerek tulajdonságai	207
A logika axiómatikus rendszereinek szerepe a tudományos kutatásokban	208
Függelék	211

Témakörök

G. Havas Katalin

G. Havas Katalin műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: G. Havas Katalin 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

Kuponos kedvezmény ezen könyv esetében nem vehető igénybe.