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

Előszó részlet: 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. részére. Jelen jegyzet filozófia szakos hallgatóknak iródott. Ezen belül elsősorban a filozófia kiegészítő szakon esti és levelező kurzusokon tanuló hallgatóknak akar segítséget nyujtani. Igy a jegyzet terjedelmének meghatározásánál gondolni kellett arra is, hogy ne támasszon e hallgatókkal szemben a tanulási lehetőségeiket meghaladó követelményeket. Ezért nem azt a célt tüztük ki, hogy átfogó képet adjunk a modern logika egészéről. Fő célunk a hagyományos formális logikát meghaladó, továbbfejlesztő matematikai logika megismertetése. E célnak megfelelően a matematikai logikai kalkulusokat mint az emberi gondolkodás ítéleteinek és következtetéseinek elméletét interpretáljuk és csak a jegyzet későbbi fejezeteiben mutatjuk be a matematikai logika axiomatikus felépítésének lehetőségét. A jegyzet szűk keretei miatt a hagyományos formális logikának csak bizonyos kérdéseit választottuk ki, hogy ezek modern logikai továbbfejlődésére rámutassunk.

Mutass kevesebbet