The Open Logic Text

Livro digital

Título:
The Open Logic Text

Autor:
Open Logic Project

Categoria:
Tecnologia > Geral

Doador:
Raffaello D. N.

Sinopse:
For readers who want more than a gentle introduction, The Open Logic Text opens with naive set theory and then moves through relations, functions, the size of sets, arithmetization, and infinite sets before entering propositional logic. That sequence signals a book built to bridge foundational mathematics and formal reasoning, not just a short logic primer. The table of contents shows a collaborative textbook with a clear academic structure, including philosophical reflections, proofs, and problem sets throughout. It is authored by the Open Logic Project as an institutional, open-source effort rather than a single-author monograph, and its scope expands from basic set constructions to Cantor’s theorem, Schröder-Bernstein, and the semantic and syntactic machinery of propositional logic. This is a rigorous reference for students in philosophy and computer science who already have some introductory logic background. Its value lies in combining formal precision, broad coverage, and an openly licensed, continuously developed format that makes the material adaptable for teaching, study, and reuse.