Od jazyka k logice : filozofický úvod do moderní logiky
Logika, pravidla argumentace, pojetí logiky. Logická symbolika a logická forma. Úsudky, logická struktura, logická analýza. Kritéria správnosti úsudků. Platnost úsudkových forem. Sémantické stromy a predikátová logika. Přirozená dedukce a axiomatika. Logické systémy a kalkuly. Formální systémy, výroková logika, predikátová logika. … full description
Saved in:
Bibliographic Details
MARC
| LEADER | 00000nam-a2200000-i-4500 | ||
|---|---|---|---|
| 001 | kpw0149712 | ||
| 003 | CZ-PrCNB | ||
| 005 | 20240325065753.4 | ||
| 007 | ta | ||
| 008 | 091223s2009----xr-----------u0|0 --cze-- | ||
| 020 | |a 978-80-200-1740-6: |c 350 Kč | ||
| 041 | 0 | |a cze | |
| 044 | |a xr | ||
| 100 | 1 | |a Svoboda, Vladimír, |d 1960- |4 aut | |
| 245 | 1 | 0 | |a Od jazyka k logice : |b filozofický úvod do moderní logiky / |c Vladimír Svoboda, Jaroslav Peregrin |
| 250 | |a 1. vyd. | ||
| 264 | 1 | |a Praha : |b Academia, |c 2009 | |
| 300 | |a 428 s. |f váz. | ||
| 490 | 0 | |a Galileo ; |v sv. 28 | |
| 520 | 2 | |a Logika, pravidla argumentace, pojetí logiky. Logická symbolika a logická forma. Úsudky, logická struktura, logická analýza. Kritéria správnosti úsudků. Platnost úsudkových forem. Sémantické stromy a predikátová logika. Přirozená dedukce a axiomatika. Logické systémy a kalkuly. Formální systémy, výroková logika, predikátová logika. Obecná struktura logického systému. Modální logika a další logiky (epistemická, deontická, intuicionistická, vícehodnotová). Sémantika, význam výroku, výpovědi, sdělení. Dosah logiky. Aplikovatelnost logických teorií. Paradoxy a moderní logika. Dodatky - systémy klasické výrokové logiky, klasické predikátové logiky, neklasických logik. | |
| 653 | |a logika | ||
| 653 | |a jazyk | ||
| 653 | |a sémantika | ||
| 653 | |a argumentace | ||
| 653 | |a logická | ||
| 653 | |a symbolika | ||
| 653 | |a logické | ||
| 653 | |a formy | ||
| 653 | |a úsudky | ||
| 653 | |a úsudkové | ||
| 653 | |a sémantické | ||
| 653 | |a stromy | ||
| 653 | |a predikátová | ||
| 653 | |a přirozená | ||
| 653 | |a dedukce | ||
| 653 | |a axiomatika | ||
| 653 | |a systémy | ||
| 653 | |a klasické | ||
| 653 | |a neklasické | ||
| 653 | |a kalkuly | ||
| 653 | |a formální | ||
| 653 | |a výroková | ||
| 653 | |a výroky | ||
| 653 | |a modální | ||
| 653 | |a epistemická | ||
| 653 | |a deontická | ||
| 653 | |a intuicionistická | ||
| 653 | |a vícehodnotová | ||
| 653 | |a teorie | ||
| 653 | |a paradoxy | ||
| 653 | |a moderní | ||
| 655 | 7 | |a monografie |7 fd132842 | |
| 700 | 1 | |a Peregrin, Jaroslav, |d 1957- |7 jn20010601556 |4 aut | |
| 830 | 0 | |a Galileo | |
| 910 | |a ABE031 |b D-3494 | ||
| 996 | |c D-3494 |f 1 |g D1 (na počkání) |h 350.00 Kč |l ČNB |r N |s A | ||
| 996 | |b 58390 |c D-3494 |l Knihovna ČNB |r D1 (na počkání) |s A |a 0 |e ABE031 |t ABE031.58390 | ||