logicians

Formal reasoning specialists

Logicians are scholars or practitioners of logic—the formal study of valid reasoning and inference.

They analyze the structure of arguments, develop symbolic systems for representing logical relationships, and explore the foundations of mathematics and language.

The logicians proved the theorem was undecidable.

The term applies to philosophers, mathematicians, and computer scientists working in this domain.

formal-logic

deduction

Conclusion from premises

inferenceConclusion reached through reasoning
validityQuality of being sound
soundnessReliability of structure

completeness · proof · theorem · axiom · predicate · propositional · modal · quantifier · contradiction · tautology

philosophy

epistemology

Theory of knowledge

metaphysicsPhilosophy of existence's nature
ontologyStudy of existence's nature
semanticsStudy of linguistic meaning

rationalism · empiricism · analytic · dialectic · paradox · reductio · Wittgenstein · Leibniz · scholasticism · nominalism

logicians

deduction

epistemology

logicians

Opposites

Categories

Family