Logic and Foundations Commons^™

Riding The Rails Of Reason: A Dialogue On Truth, Logic, And Proof, Surinder Pal Singh Kainth

Journal of Humanistic Mathematics

On a quiet train ride, I found myself in conversation with Noor, an inquisitive teenager with sharp questions about truth, logic, and mathematical proof. As we talked, I used the train itself as a metaphor to explain how mathematical proofs provide certainty, far beyond what repetitive verification alone can offer. Our discussion ranged from common misconceptions about the foundations of logic to the need for clear definitions and axioms. We also touched on fundamental ideas such as the challenges posed by the Axiom of Choice and the limitations revealed by Gödel’s incompleteness theorem.

Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza

MPP Published Research

Since the application of Postulate I.2 in Euclid’s Elements is not uniform, one could wonder in what way should it be applied in Euclid’s plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.

Pruebas Entimemáticas Y Pruebas Canónicas En La Geometría Plana De Euclides, Marco Panza, Abel Lassalle Casanave

MPP Published Research

Dado que la aplicación del Postulado I.2 no es uniforme en Elementos, ¿de qué manera debería ser aplicado en la geometría plana de Euclides? Además de legitimar la pregunta misma desde la perspectiva de una filosofía de la práctica matemática, nos proponemos esbozar una perspectiva general de análisis conceptual de textos matemáticos que involucra una noción ampliada de la teoría matemática como sistema de autorizaciones o potestades y una noción de prueba que depende del auditorio.

Since the application of Postulate I.2 in the Elements is not uniform, one could wonder in what way should it be applied in Euclid’s …

Prove It!, Kenny W. Moran

Journal of Humanistic Mathematics

A dialogue between a mathematics professor, Frank, and his daughter, Sarah, a mathematical savant with a powerful mathematical intuition. Sarah's intuition allows her to stumble into some famous theorems from number theory, but her lack of academic mathematical background makes it difficult for her to understand Frank's insistence on the value of proof and formality.

Proof In Law And Science, David H. Kaye

Faculty Scholarship

This article addresses proof in both science and law. Both disciplines utilize proof of facts and proof of theories, but for different purposes and, consequently, in different ways. Some similarities exist, however, in how both disciplines use a series of premises followed by a conclusion to form an argument, and thus constitute a logic. This article analyzes the ways in which legal logic and scientific logic differ. Finding facts in law involves the same logic but quite different procedures than scientific fact-finding. Finding, or rather constructing, the law is also very different from scientific theorizing. But such differences do not …