Model theory occupies a central place in mathematical logic by providing a rigorous framework to interpret axiomatic theories through concrete mathematical structures. This powerful branch explores how formal languages can be translated into coherent systems where concepts such as satisfiability, truth, or isomorphism gain precise meaning. It develops essential tools for analyzing and classifying complex … Read more
IN BRIEF Presentation of mathematical logic. Introduction to logical connectors: ¬, ∧, ∨, ⇒, and ⇔. Description of propositions and their value: true or false. Classical statement: example of logical reasoning with Socrates. Distinction between formal logic, material logic, and inductive logic. Importance of symbols and principles in formal demonstrations. Exploration of the fundamental principles … Read more
IN BRIEF Zeno’s Paradox: Achilles and the tortoise illustrate the infinite. Russell’s Paradox: Highlights logical contradictions. The Liar Paradox: A statement that contradicts itself. The Barber Paradox: A classic example of paradoxical logic. The Missing Dollar Riddle: Raises questions about addition. Ellsberg’s Paradox: Reveals irregularities in probability choices. Hilbert’s Hotel: Exposes the properties of the … Read more