Synthetic reasoning
Logic is the science of inference. All inference concerns the movement from premises A to conclusions B. The only logic that has been recognised is analytic logic in which the premises A contain more information than the conclusions B and the movement (a "deduction") proceeds from greater to lesser generality. However, there exist necessary inferences in which the conclusions B contain more information than the premises A. Though philosophers have hitherto contrived not to see them, these inferences are found everywhere in discourse, and are exposed in mathematical reasoning. There exists synthetic logic.
Contemporary Western philosophy is collectively falsified by its inability to perceive the synthetic character of much of human reasoning and to investigate its implications. The quasi-religious worship of analytic logic that arose during the C20th has resulted in a distorted image of man, to the detriment of the true faith that man is spirit.
The synthetic character of human reasoning is high among the valid reasons for believing that human nature transcends nature; the existence of synthetic logic constitutes a transcendental deduction.
Contemporary Western philosophy is collectively falsified by its inability to perceive the synthetic character of much of human reasoning and to investigate its implications. The quasi-religious worship of analytic logic that arose during the C20th has resulted in a distorted image of man, to the detriment of the true faith that man is spirit.
The synthetic character of human reasoning is high among the valid reasons for believing that human nature transcends nature; the existence of synthetic logic constitutes a transcendental deduction.
Related articles
Answer to Hamming
This essay is a refutation of the bigoted attack on Platonism advanced by R.W. Hamming in his 1998 polemic, Mathematics on a Distant Planet. It explains that the so-called "problem of universals" has not been solved, and provides, as in the work of Plato, grounds for belief in the transcendence of human spirit over matter. The unsupportable claims that all valid reasoning is first-order, analytic reasoning, and that all mathematics is first-order set-theory are exposed as false.
Rationalist philosophy of mathematical proof
This is the central essay in which I present the argument that proof in mathematics is synthetic. It raises those questions that the formalism of contemporary philosophy must answer in order to remain credible. Until now, very few have had the courage to question the philosophical prejudice of the age. One person who has is John Lucas, and this essay touches upon his argument that Godel's theorem provides an example of non-algorithmic proof. I also discuss the Turing test and raise important caveats about the manner in which that test is being applied. I imply that contemporary philosophy expresses an unalysed faith in mechanism, and that in the dialectic it ought to be opposed by an equally forceful rationalism.
On the character of formal analytical logic
This essay explains that all human reasoning is founded on argument by analogy. Arguments by analogy may be exact or inexact; when exact, they are necessary. Analytic logic, also called first-order logic, argues by exact analogy with spatial containment. Models of first-order, analytic logic are lattices; this characterisation demonstrates constraints on what inferences may be represented in analytic logic. For this reason, self-reference is not possible within analytic logic, for a space cannot contain any part of itself. The logic of self-reference illustrates how conceptual thinking departs from what is merely representable in analytic logic.
Detail from Friendship in a Time of Stress by Peter Paul Fekete