Filosofická kavárna: Paradoxy klasické logiky

0535713 - FLÚ 2021 RIV CZ cze E - Electronic Document
Boháček, Kryštof - Punčochář, Vít
Filosofická kavárna: Paradoxy klasické logiky.
[Philosophical Café: On Paradoxes of Classical Logic.]
[audiovizuální webová prezentace]. - Praha: Filosofický ústav, 2020, 10,5 GB
Institutional support: RVO:67985955
Keywords : Paradoxes in logic * logic and natural language * intuitionistic logic * philosophy of logic * philosophy of language
OECD category: Philosophy, History and Philosophy of science and technology
https://www.youtube.com/watch?v=14hl46iy1iw

Klasická logika se vyznačuje elegancí, jednoduchostí a vyvážeností základních principů, expresivní sílou a schopností integrovat v sobě starší teorie spojené s aristotelskou i stoickou tradicí, je skvěle aplikovatelná na jazyk matematiky. Kryštof Boháček si tentokrát do Filosofické kavárny pozval Víta Punčocháře, s nímž ve společné rozmluvě představili tuto klíčovou, avšak pro širší publikum nesnadno přístupnou oblast základů filosofie, vědy a v širším smyslu i celé evropské kultury. Ústředním tématem diskuse jsou paradoxních důsledky klasické logiky, na které se hlavní host Kavárny, Vít Punčochář, zaměřuje ve svém bádání a věnoval mu i svou nejnovější publikaci Paradoxy klasické logiky. Během rozmluvy se postupně vyjevuje řada problémů klasické logiky, které vyvstávají při aplikaci na běžný jazyk. Dr. Punčochář zdůrazňuje zejména obtíže s hypotetickými větami a jejich rolí v běžném usuzování. V úvodní části setkání Kryštof Boháček nejprve představuje svého hosta a poté již Vít Punčochář krátce zrekapituluje základní rozvrh klasické logiky. Poté se věnuje nejvlivnějším argumentům na její obhajobu. Moderátor ovšem připomíná teorie, které v poukazu na charakteristické obtíže usilují o revizi klasické logiky. Tyto teorie Punčochář přehledně představuje ve své knize a v Kavárně se některým z nich věnuje podrobněji. V této souvislosti také zopakuje jeden svůj starší experiment, založený na intuitivním hlasování přítomných o zdánlivě samozřejmé úvaze, formulované v přirozeném jazyce. Úvaha ovšem vede při aplikaci zákonitostí klasické logiky k paradoxnímu závěru, čímž Punčochář názorně demonstruje limity systému. Moderátor proto vznáší téma intuicionistického přístupu v logice i matematice, v jisté době velmi populárního, jenž některé z těchto obtíží překonává. Jak ale vysvětluje hlavní host Kavárny, je to ovšem za poměrně velkou cenu a navíc se objevují jiné obtíže tohoto alternativního přístupu. Po tomto širokém představení celé problematiky Punčochář představuje svůj originální přístup, jenž je obsažen ve druhé polovině jeho nové knihy. Autor nejprve v souvislé odpovědi na moderátorovy otázky vysvětluje svůj pokus o řešení zmíněných paradoxních či neintuitivních důsledků. V následně diskusi, která se živě rozproudila vzápětí, se přítomní (jak z řad odborníků na logiku, filosofii logiky a matematiky, i filosofii jazyka, tak z řad dalších akademiků i širší zainteresované veřejnosti) společně zamýšleli nad vztahem moderní filosofické logiky k přirozenému jazyku a běžnému usuzování. Diskuse velmi plasticky představila jádro nové Punčochářovy knihy, ovšem zasadila ji do širšího kontextu současného bádání a díky zasvěceným komentářům dalších přítomných badatelů ukázala živost celé problematiky, její závažnost a význam. Další účastníci propojili zdánlivě abstraktní diskurs s jinými disciplínami na poli humanitních i dalších vědeckých oborů a podtrhli tak interdisciplinární význam logiky jakožto průřezově působící disciplíny v celém akademickém spektru. Dokument je vybaven podrobným abstraktem a bibliografií.

Classical logic is characterized by elegance, simplicity and balance of basic principles, as well as its expressive power and the ability to integrate older theories associated with the Aristotelian and Stoic traditions. It is also perfectly applicable to the language of mathematics. Kryštof Boháček invited Vít Punčochář to the Philosophical Café, with whom he introduced this key area of the foundations of philosophy, science and, more broadly, the whole of European culture. The central topic of discussion is the paradoxical implications of classical logic. The main guest of the Café, Vít Punčochář, focuses on them in his research and dedicated his latest publication Paradoxes of Classical Logic. During the conversation, a number of problems of classical logic are gradually discussed. These paradoxes arise when applied to a common language. Dr. Punčochář emphasizes the difficulties with hypothetical sentences and their role in common reasoning. In the introductory part of the meeting, Kryštof Boháček first introduces his guest and then Vít Punčochář briefly recapitulates the basic schedule of classical logic. He then deals with the most influential arguments in her defense. However, dr. Boháček recalls theories that, in reference to the characteristic difficulties, seek to revise classical logic. Dr. Punčochář clearly presents these theories in his book, and in the Café he deals with some of them in more detail. In this context, he also repeats one of his older experiments, based on the intuitive voting of those present on a seemingly self-evident reasoning, formulated in natural language. However, the reasoning leads to a paradoxical conclusion in the application of the laws of classical logic, whereby dr. Punčochář clearly demonstrates the limits of the system. Therefore, dr. Boháček raises the topic of an intuitionistic approach in logic and mathematics, at one time very popular, which overcomes some of these difficulties. However, as the main guest of the Café explains, it is for a relatively large price and, in addition, there are other difficulties with this alternative approach. After this broad presentation of the whole issue, dr. Punčochář presents his original approach, which is contained in the second half of his new book. The author first explains his attempt to solve the mentioned paradoxical or non-intuitive consequences in a coherent answer to the moderator’s questions. In the ensuing lively discussion, those present (from experts in logic, philosophy of logic and mathematics, as well as philosophy of language, as well as from other academics and the general public) considered the relationship of modern philosophical logic to natural language and common reasoning. The discussion very plastically presented the core of Punčochář’s new book, but also placed it in the broader context of current research and, thanks to expert comments from other researchers present, showed the liveliness of the whole issue, its seriousness and significance. Other participants connected the seemingly abstract discourse with other disciplines in the field of humanities and other scientific disciplines, thus underlining the interdisciplinary importance of logic as a cross-cutting discipline in the entire academic spectrum. The document includes detailed abstract and bibliography.
Permanent Link: http://hdl.handle.net/11104/0314916