Etchemendy's critique shows that Tarskian logical consequence already conflates model-theoretic stipulation with genuine necessity, undermining the authority of any formal structural reading.
?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.
Tarskian logical consequence(as the main concept being criticized)
A way of defining what it means for one statement to logically follow from other statements, developed by philosopher Alfred Tarski. It's based on the idea of checking whether something is true in all possible scenarios (called 'models') where the starting statements are true.
model-theoretic(mathematical logic)
Related to the study of how logical symbols and formulas correspond to real structures and meanings (rather than just abstract rules).
stipulation(in philosophy and formal reasoning)
A choice or assumption you decide to make for the sake of an argument, rather than something that must be true by logical necessity.