Scribd Logo
Upload

Welcome to Scribd!

  • Leitgeb Abstract Cracow

    Uploaded by

    Neven Knezevic
    19 views1 page
    Hannes Leitgeb will present at a workshop on applying formal methods like logic and mathematics in semantics and metaphysics. He will give an overview of such applications and their benefits, then closely examine formal theories of truth and similarity, where logical treatments have advanced philosophical understanding. Recent developments like probabilistic accounts of paradoxes and impossibility of meaning resemblance will also be discussed.

    Original Description:

    Original Title

    LeitgebAbstractCracow

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Hannes Leitgeb will present at a workshop on applying formal methods like logic and mathematics in semantics and metaphysics. He will give an overview of such applications and their benefits, then closely examine formal theories of truth and similarity, where logical treatments have advanced philosophical understanding. Recent developments like probabilistic accounts of paradoxes and impossibility of meaning resemblance will also be discussed.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    19 views1 page

    Leitgeb Abstract Cracow

    Uploaded by

    Neven Knezevic
    Hannes Leitgeb will present at a workshop on applying formal methods like logic and mathematics in semantics and metaphysics. He will give an overview of such applications and their benefits, then closely examine formal theories of truth and similarity, where logical treatments have advanced philosophical understanding. Recent developments like probabilistic accounts of paradoxes and impossibility of meaning resemblance will also be discussed.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 1

    Workshop 1: Formal Methods in Philosophy

    FORMAL METHODS IN SEMANTICS AND METAPHYSICS

    HANNES LEITGEB
    Department of Philosophy & Mathematics, University of Bristol
    FORMAL METHODS IN SEMANTICS AND METAPHYSICS
    E-mail: Hannes.Leitgeb@bristol.ac.uk

    HANNES LEITGEB

    As part of the workshop on Formal Methods in Philosophy, we look


    at applications of logical and mathematics in semantics and metaphysics.
    After giving a short survey of such applications and their merits, we focus
    on two exemplary cases in more detail: formal theories of truth on the one
    hand, and formal theories of similarity (or resemblance) on the other. In
    both cases, the logical-mathematical treatment of philosophical questions
    has led to genuine philosophical progress. In passing, we will also discuss
    some very recent developments in these areas, in particular, a probabilistic
    account of semantic paradoxes and an impossibility theorem on meaning
    resemblance.
    DEPARTMENTS OF PHILOSOPHY & MATHEMATICS
    UNIVERSITY OF BRISTOL
    9 WOODLAND ROAD
    BRISTOL BS8 1TB
    UK
    E-mail : Hannes.Leitgeb@bristol.ac.uk

    You might also like