The identity reduction witnessing reflexivity is trivially well-defined only if problems are individuated extensionally as sets of strings, collapsing intensional distinctions philosophers like Carnap and Frege treat as meaningful.
?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.
Rudolf Carnap(as a philosopher of language and logic)
A 20th-century German-American philosopher who thought the best way to understand scientific language was to translate it into a basic, logical framework.
reflexivity(Relational models in modal logic)
A property of a relation R on W such that every state w stands in relation R to itself; corresponds to the Veracity axiom in epistemic logic (what is known is true)
well-defined(in mathematics and logic)
Clear and precise enough that there's no confusion about what something means or how it works.