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's analysis of implicit definition shows that derivi... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Metric properties of a geometry can be defined intrinsically using projective invariants rather than by convention from a numerical manifold.

    Frege's analysis of implicit definition shows that deriving metric notions from projective ones does not reduce ontological commitment if projective space itself harbors metric presuppositions.

    ?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

    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.
    Metric notions(mathematical concepts that can be derived)
    Ideas about measurement, distance, and numerical quantities—basically anything involving how far apart things are or how big they are.
    Projective(in geometry)
    A type of geometry that focuses on properties that don't change when you look at something from different viewpoints, like how perspective drawing works.
    Projective space(the foundation being examined for hidden assumptions)
    A mathematical space based on projective geometry—a framework for understanding how shapes and lines relate to each other through projection.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    implicit definition(Warren (2017) uses implicit definition as a resource to respond to the meta-theoretic regress objection)
    A method of defining a term by specifying the rules or axioms governing its use, rather than by explicit statement — invoked as a possible reply to the regress problem for conventionalism.
    ontological commitment(Used to derive that literal truth of 'a is F' entails existence of a)
    The criterion by which acceptance of a sentence as literally true commits one to the existence of the objects referred to by singular terms in that sentence, provided the sentence cannot be paraphrased away.
    presuppositions(Collingwood, An Essay on Metaphysics)
    The foundational assumptions or commitments that govern thought within a given domain of inquiry, which Collingwood later identified as the proper subject matter of philosophical (metaphysical) investigation.

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    Metric properties of a geometry can be defined intrinsically using projective in...

    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