PL EN


2018 | 13 | 3 | 49-55
Article title

Czy logika formalna ma sens?

Selected contents from this journal
Title variants
Languages of publication
PL
Abstracts
EN
Does formal logic make sense? This text is a commentary on the book Logika i argumentacja. Praktyczny kurs krytycznego myślenia (Logic and Argumentation. A Practical Course In Critical Thinking) by Professor Andrzej Kisielewicz. Prof. Kisielewicz argues there, among other things, that formal (symbolic) logic is inadequate to explain practical rational reasoning. This commentary defends formal logic in this respect. In particular, Prof. Kisielewicz proposes in his book a definition of (practical) logical inference. According to him, a conclusion follows from a given set of premises if there is no situation, where the premises hold, while the conclusion fails. In this commentary it is pointed out that this is a well-known notion of semantic inference in formal logic. It is also well-known that semantic and syntactic inference in logic are equivalent, i.e. equally strong.
Keywords
Year
Volume
13
Issue
3
Pages
49-55
Physical description
Contributors
  • Uniwersytet Wrocławski
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.desklight-ccf59e5d-b2f2-418e-b43d-c7b608cda9c5
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.