Your English writing platform
Discover LudwigExact(3)
The truth of such a simple arithmetical proposition as, for example, "2 + 3 = 5" is necessary, universal, a priori, and analytic because of the very meaning of "2," "+," "3," "5," and "=." Experience could not possibly refute such truths because their validity is established (as Hume said) merely by the "relation of ideas".
He considers mathematical reasoning from the relation of ideas category and causal reasoning from the category of matters of fact.
The empiricist criterion of meaning itself does not seem to be a statement that expresses the formal relation of ideas, nor does it appear to be empirically verifiable.
Similar(57)
There are eternal truths, as even the skeptic must admit, so there are also eternal relations of ideas because truth relates ideas.
The negations of true propositions expressing relations of ideas are contradictory.
Unlike propositions about relations of ideas, propositions about matters of fact are known only through experience.
Because the propositions of arithmetic and algebra are exclusively about relations of ideas, these disciplines are more certain than others.
According to Hume, the mind is capable of apprehending two kinds of proposition or truth: those expressing "relations of ideas" and those expressing "matters of fact".
Knowledge can consist of intuitively obvious matters or demonstrable relations of ideas but not of anything beyond experience; the mind can discover no necessary connections within experience nor any root causes of experience.
Those two disciplines were already recognized by the 18th-century Scottish empiricist and skeptic David Hume as concerned merely with the "relations of ideas," and, in a later phase of positivism, they were classified as purely formal sciences.
In the second place, there are two approaches to construing meaning: an analytical one, which concentrates on the "relations of ideas," and an empirical one, which focuses on "matters of fact".
More suggestions(1)
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com