Elementy pragmatyki logicznej - Marek Tokarz - książka wyd. 1993

Opis

Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii[1]. W kulturze europejskiej za prekursora usystematyzowania logiki uważa się Arystotelesa[2][3]. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science