Francisco Sanches, Sanches also spelled Sanchez, (born c. 1550, probably Braga, Port., or Túy, Spain died c. Nov. 26, 1623, Toulouse, France), physician and philosopher who espoused a "constructive skepticism" that rejected mathematical truths as unreal and Aristotle's theory of knowledge as false.
Moreover, there seem to be no compelling non-semantical reasons either intra-systemic or extra-mathematical for Wittgextra-mathematical for P by including it in PM or by adopting a non-syntactical conception of mathematical truth (such as Tarski-truth (Steiner 2000)).
In other words, an explanation of how synthetic a priori judgments are affirmed in mathematical contexts, together with the resulting and related explanation of how a systematic body of demonstrable knowledge comprises such judgments, allow mathematical truth to be invoked as a paradigm of the substantive yet necessary and universal truths that metaphysics hopes to achieve.
(Perhaps a proposition's being mathematically necessary can be defined as its being both metaphysically necessary and a mathematical truth (Fine 2002, 255), or as its being metaphysically necessary because it is a mathematical truth).
However, those theories seem much less convincing when applied to truths about comedy, fashion, ethical mores, numbers, jurisprudential dictates, etc. Conversely, theories that seem intuitively plausible when applied to legal, comic, or mathematical truths—such as those suggesting that the nature of truth is coherence seem less convincing when applied to truths about the empirical world.
The cosmos of the acusmata, however, clearly shows a belief in a world structured according to mathematics, and some of the evidence for this belief may have been drawn from genuine mathematical truths such as those embodied in the "Pythagorean" theorem and the relation of whole number ratios to musical concords.
Using this definition, Frege 1879 proves some non-trivial mathematical truths, such as that the ancestral R* is transitive and that, for any functional relation R, the R-ancestors of any object are R*-comparable (that is, he proved: Functional(R) & xR*y & xR*z → yR*z ∨ zR*y).
This prompted Senator Orrin Hubbell to proclaim: "The Senate might as well try to legislate water to run uphill as to establish mathematical truth by law".
This prompted Senator Orrin Hubbell to proclaim: "The Senate might as well try to legislate water to run uphill as to establish mathematical truth by law". There was a successful motion to indefinitely postpone the passing of the bill, but it still exists in a filing cabinet in the basement of the Indiana statehouse, waiting for a gullible politician to resuscitate it.
So for Kant, by the very nature of mathematical truth there can be no such thing as an authentically "mathematical logic".
