|zpravodaj ČSKI - říjen 2018 [ pdf ]|
datum: 24.10.2018 v 16:00
název: Logics of conditionals
přednášející: Vít Punčochář (FLU CAS)
místo konání: UI, 2.patro, místnost č.318
souhrn: In my talk, I will discuss several paradoxes of material implication". In general, these "paradoxes" are inference patterns that involve implication and are classified as valid by classical logic despite their highly unintuitive character. I will focus mainly on inference patterns, in which implication interacts with disjunction and negation. In these cases, classical logic seems to give particularly unsatisfactory predictions" about validity. However, the most famous theories that avoided these unwanted features of classical logic usually removed also some important parts of classical logic that are highly plausible (e.g. the inference from A or B to if not-A, then B). I will propose a semantic theory (and a corresponding deductive calculus) that has the ambition to avoid the most serious paradoxes and, at the same time, to preserve the acceptable parts of classical logic.