Assertion: logical truth | /r/HasProperty | analytic
Facets:
Source sentences:
text: Empiricists commonly respond to this objection by arguing that logical truths (which they usually deem to be mere tautologies), are analytic and thus do not purport to describe the world.
text: Logical truths, being analytic statements, do not contain any information about any matters of fact.
text: A logical truth (also called an analytic truth or a necessary truth) is a statement which is true in all possible worlds or under all possible interpretations, as contrasted to a fact (also called a synthetic claim or a contingency) which is only true in this world as it has historically unfolded.
text: A long line of commentators of Kant has noted that, if Kant's view is that all logical truths are analytic, this would seem to be in tension with his characterizations of analytic truths.
text: But the standard interpretation is to attribute to Kant the view that all logical truths are analytic (see e.g. Capozzi and Roncaglia 2009).
text: This is especially frequent in philosophers on whose conception logical truths must be a priori or analytic.
text: The only thing that follows (from (ii) alone under the assumptions that model-theoretic validity is sound with respect to logical truth and that logical truths are a priori and analytic) is that no calculus sound with respect to model-theoretic validity can by itself model all the a priori or analytic reasonings that people are able to make.
text: The second assumption would probably be questioned e.g. from the point of view that logical truths must be analytic, for there is no conclusive reason to think that universally valid formulae must be analytic.