Co je formální logika?

Formální logika - definuje a studuje abstraktní odvozovací pravidla (tj. „formy úsudků“), jejichž platnost nezávisí na významu pojmů, které v nich vystupují. Matematická logika - ve 20. století se logika stala nástrojem matematiků a matematikové sami se jí začali zabývat. Zajímají se o formální, matematické, vlastnosti logických systémů (jako jsou ...

Proč je logika vědou o myšlení?

Logika se může zdát být vědou o myšlení. Avšak není tomu tak. Myšlením - ať se opírá o vyplývání, nebo ne - se přece zabývá psychologie. Myšlením konkrétního člověka se logika nikdy nezabývala, zajímalo ji jen vyplývání fungující nezávisle na jednotlivých lidech.

Kdy byla Matematická logika používána?

Někdy byl též používán název matematická logika. Brzy po odsychologizování logiky došlo k důležitým aplikacím logiky při zkoumání základů matematiky (nejde zde jen o program logicismu), logika se tak stala i nástrojem matematiků a matematikové sami se jím začali zabývat.

Jak dosáhnout cílů logiky?

Dosáhnout cílů, o nichž byla řeč jako o cílech logiky, je základním tématem filosofické logiky. Dá se říci, že však není jejím jediným tématem. Uchopením vyplývání některým ze symbolických logických systémů není věc vyplývání vyčerpána. Je třeba zjišťovat, zda a jak je aplikace formálních prostředků na úsudek účinná, zda je adekvátní.