Dell'Asimmetria Probatoria: UnaTeoria Geometrico-Algebrica
Abstract
Quando un matematico afferma che un teorema A implica un teorema B, compie una affermazione di natura logica: nella semantica standard, A → B significa semplicemente che ogni modello che soddisfa A soddisfa anche B. Questa relazione è simmetrica nel seguente senso: se A → B e B → A sono entrambe vere, allora A e B sono logicamente equivalenti, e la logica classica non distingue tra le due direzioni. Tuttavia...
Fields of Study & Subjects
Legal processes and jurisprudence
Logic
Reasoning
and Knowledge
Epistemology
Ethics
and Metaphysics
Publication details
- Publication date
- 16 February 2026
- Language
- IT