1 / 10

Peter Gärdenfors

Peter Gärdenfors. From communication to logic. From logic to communication. Classical logic : Syllogisms Propositional logic Predicate logic Reduction of arithmetic to logic. Extensions of classical logic. Modal logic Temporal logic Non-monotonic logic Belief revision

maysl
Download Presentation

Peter Gärdenfors

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Peter Gärdenfors From communication to logic

  2. From logic to communication Classicallogic: • Syllogisms • Propositionallogic • Predicatelogic • Reductionofarithmetictologic

  3. Extensions of classical logic • Modal logic • Temporal logic • Non-monotonic logic • Belief revision • Logic of information dynamics • Action logic

  4. Johan himself: ”Notice that no human agents are involved here. Language could truthfully reflect an empty world, lika signpost in the desert. Still, language is also a natural social phenomenon that emerged for a reason.” Natural language and the logic of agency, 2014

  5. Logic of communication • How can common knowledge be formalized? • What is the role of theory of mind in reasoning?

  6. Turning the tables: From communication to logic • In the beginning was the word …. • … or can animals reason? • Transitivity of dominance orderings • Is deception reasoning? • Implicit and explicit reasoning • Without language one cannot provide an argument

  7. The science of argumentation • Began only when language was made external • Memory is externalised • Statements can be scrutinized • The ancient Greeks had the first full alphabet and mathematical symbolism • The first to create a theory of knowledge • Logos is contrasted with muthos

  8. The science of argumentation • Arguments modelled on public debates • The Greeks created the disputation • Brings in the ”you” in the judgment of what is knowledge • Cf. Lorenzen’s dialogical logic • Validity of an argument is not subjective • Euclid’s aximatization of geometry • Aristotle’s syllogisms

  9. Conclusion Logiccan be seen as a social phenomenon Usemore material from conversation studies Focus on • dialogicalstructure • modelling the reasoning ofothers • information dynamics • broadertools (game theoryetc)

  10. Peter Gärdenfors From communication to logic

More Related