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
    Two-dimensional semantics can handle situations where nec... — Carmelics
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Home/Modality & Possibility
    HistoryEditSee Inverse

    Two-dimensional semantics can handle situations where necessity and analyticity come apart

    ?Rate how convincing each reason is below to see the overall strength.
    1 reason for
    2 reasons against

    Sign in or register to share your perspective on this statement.

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.'I am here now' is analytically true (true in every linguistic context along the context dimension)
      ?

      Think about whether this reason is strong or weak

    • 2.'I am here now' is contingently true (false in some possible worlds along the possible-worlds dimension)
      ?

      Think about whether this reason is strong or weak

    • 3.Therefore, 'I am here now' is a contingent analytic truth — analytic without being necessary
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    2 perspectives
    Reason against 1 of 2
    ?
    • 1.The analyticity of 'I am here now' presupposes that indexicals have stable semantic rules across contexts, but Kaplan's own framework shows that character, not content, is what generates this truth.
      ?

      Think about whether this reason is strong or weak

    • 2.If analyticity is grounded in character-level truth (truth across all contexts of utterance), it is a metalinguistic fact about expression-types, not a modal fact about propositions, so no genuine metaphysical necessity-analyticity gap is revealed.
      ?

      Think about whether this reason is strong or weak

    • 3.Two-dimensional semantics thereby conflates a formal artifact of indexical logic with a substantive philosophical distinction between analytic and necessary truths in the tradition of Kant and Kripke.
      ?

      Think about whether this reason is strong or weak

    Reason against 2 of 2
    ?
    • 1.Chalmers' two-dimensional framework relies on the epistemic intension (what a speaker would judge true under idealized a priori reflection) tracking analyticity, but Williamson argues that there are no stable a priori-accessible intensions for most natural-kind terms.
      ?

      Think about whether this reason is strong or weak

    • 2.If the primary intension is not recoverable through pure a priori reasoning—as Williamson's externalist cases suggest—the context dimension cannot reliably encode analyticity, undermining the claim that the framework handles necessity-analyticity divergence in general.
      ?

      Think about whether this reason is strong or weak

    Topics

    Modality & Possibility

    Notable Defenders

    George BooloscontemporaryBoolos, 1993, p. 55
    Ruth Barcan MarcuscontemporaryBarcan (1990)
    Saul KripkecontemporaryKripke (2017)
    W.V.O. QuinecontemporaryQuine (1953)
    Kurt GödelmodernGödel's second incompleteness theorem

    Related

    'I am here now' is analytically true (true in every linguistic context along the...'I am here now' is contingently true (false in some possible worlds along the po...Chalmers' two-dimensional framework relies on the epistemic intension (what a sp...If analyticity is grounded in character-level truth (truth across all contexts o...
    +5 moreShow less
    If the primary intension is not recoverable through pure a priori reasoning—as W...

    Source

    AI-extracted1/3 agreementValid
    SEP: logic-modal
    View source passageHide passage
    Just from the meaning of the words, you can see that (1) must be true in any context \(c = \langle s, p, t\rangle\). After all, \(c\) counts as a linguistic context just in case \(s\) is a speaker who is at place \(p\) at time \(t\). Therefore (1) is true at \(c\), and that means that the pattern of truth-values (1) has along the context dimension must be all Ts (given the possible world is held fixed). This suggests that the context dimension is apt for tracking analytic knowledge obtained from
    Extraction notes

    Validity: Extracted via Max plan + API grounding/validity checks

    Details

    The analyticity of 'I am here now' presupposes that indexicals have stable seman...
    Therefore, 'I am here now' is a contingent analytic truth — analytic without bei...
    Two-dimensional semantics thereby conflates a formal artifact of indexical logic...
    Two-dimensional semantics tracks analyticity via the context dimension and neces...

    Similar

    Two-dimensional semantics tracks analyticity via the context dimension...92%The concept of dimension presupposes the concepts of continuity and to...75%Possible world semantics correlates possibility and necessity with tru...73%All necessary truths are analytic73%
    Type
    claim
    Perspectives
    3 (1 for, 2 against)
    Edits
    1 edit