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
    Frege demonstrated in Begriffsschrift that predication is... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Jones must endorse Hamilton's view that predicates are quantified in order to retain the thesis that significant assertion is the assertion of an identity

    Frege demonstrated in Begriffsschrift that predication is irreducibly asymmetric: the function-argument structure cannot be collapsed into identity without loss of inferential power.

    ?Rate how convincing each reason is below to see the overall strength.

    No one has weighed in yet. Be the first to share reasons for or against this statement.

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

    Key Terms

    Begriffsschrift(Frege's proposed concept-script for representing logical form)
    A formal language, distinct from natural languages, designed to depict and help discern the logical structures of propositions expressed by ordinary sentences.
    Frege(as a major historical figure in philosophy)
    Gottlob Frege (1848-1925) was a German logician and philosopher who founded modern logic and did groundbreaking work on how language relates to meaning and existence.
    Function-argument structure(the logical framework Frege's argument relies on)
    A pattern in language and logic where one part (the function) does something to another part (the argument), like a machine that takes input and produces output. For example, in 'the father of Socrates,' 'the father of' is the function and 'Socrates' is the argument.
    Identity(Adams treats identity statements as a variety of atomic formula rather than a logical truth exempt from existence presuppositions)

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    A relation between an object and itself, expressed as an atomic formula (a=a), subject to the same existence-entailment conditions as other atomic predicates under GSA
    Inferential power(reasoning and logic)
    The ability to draw conclusions and make new deductions from existing information.
    asymmetric(as used in logic and epistemology)
    When two things are treated differently or unequally, rather than being balanced or fair—like giving one side of an argument more weight than the other.
    predication(Soames treats predication as a primitive notion that underlies but does not reduce to belief.)
    A primitive mental act whereby an agent represents an object as having a property — for example, representing o as red via perception, thought, or nonlinguistic perceptual belief.

    Connections

    2 topics

    Truth & Knowledge1 linkedPhilosophy of Language1 linked

    Related

    Jones must endorse Hamilton's view that predicates are quantified in order to re...

    Details

    Type
    claim
    Perspectives
    0 (0 for, 0 against)
    Edits
    1 edit

    Open for perspectives

    This idea is waiting for its first supporting or challenging perspective.

    Share the first perspective