Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Alfred Tarski — Carmelics
    Thinkers/Alfred Tarski
    Alfred Tarski

    Alfred Tarski

    contemporaryAnalytic Philosophy, Mathematical Logic

    1901 – 1983

    Alfred Tarski was a Polish-American logician and mathematician, widely regarded as one of the greatest logicians of the twentieth century. He made foundational contributions to model theory, formal semantics, and the theory of truth, most notably his semantic definition of truth for formalized languages. His work bridged mathematical logic, metamathematics, and the philosophy of language.

    WWikipediaSEPStanford Encyclopedia

    Notable Achievements

    1

    Formulated the semantic conception of truth (Convention T) in 'The Concept of Truth in Formalized Languages'

    2

    Founded modern model theory and developed the theory of cylindric algebras

    3

    Proved the undefinability of truth (Tarski's undefinability theorem)

    4

    Developed a decision procedure for elementary algebra and geometry (quantifier elimination for real closed fields)

    5

    Made major contributions to set theory, including work on large cardinals and the Banach-Tarski paradox

    Positions & Arguments(4)

    Modality & Possibility

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    claim

    Metric geometry is neither true nor false.

    claim

    The apparent multiplication of word-tokens from a single inscription based on different readings is not a genuine mereological multiplication of entities

    Free Will & Foreknowledge

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    Philosophy of Language

    claim

    We must distinguish between the radical empiricist's meaning of 'meaning' (epistemic reduction) and a more common-sensical meaning of 'meaning' (factual reference).

    Truth & Knowledge

    claim

    We must distinguish between the radical empiricist's meaning of 'meaning' (epistemic reduction) and a more common-sensical meaning of 'meaning' (factual reference).

    claim

    Metric geometry is neither true nor false.

    At a Glance

    Ideas

    4

    Topics

    4

    Era

    contemporary

    Tradition

    Analytic Philosophy, Mathematical Logic

    Topic Influence

    Modality & Possibility3
    Truth & Knowledge2
    Free Will & Foreknowledge1
    Philosophy of Language1

    Related Thinkers

    David Lewis4 sharedImmanuel Kant4 sharedAristotle4 sharedDavid Hume4 sharedPlato4 sharedRudolf Carnap4 sharedIsaac Newton4 shared

    Dive Deeper

    Explore Modality & Possibility→See Truth & Knowledge→
    Ludwig Wittgenstein4 shared