Classical and Nonclassical Logics : An Introduction to the Mathematics of Propositions.

So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians. But it is just one of the many kinds of reasoning in everyday th...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Schechter, Eric (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton : Princeton University Press, 2005.
Temas:
Mathematics > Philosophy.
Proposition (Logic)
Mathématiques > Philosophie.
Proposition (Logique)
Mathematics > Philosophy
Ackermann constants.
Banach-Tarski paradox.
Brouwer.
Eubulides paradox.
Herbrand Principle.
Heyting algebras.
Jarden's Proof.
adequacy.
algorithm.
ambiguity.
binary operator.
certification.
chain order.
comparative logic.
consequence.
derivation.
detachment.
discrete topology.
equivalence class.
excluded middle.
extremes.
functional interpretation.
fuzzy logics.
generated topology.
homomorphism.
idempotency.
implication.
informal set theory.
lower set topology.
monotone.
natural numbers.
parentheses.
quantifier.
semantic.
symbol sharing.
tautology.
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares