Classical Logic - Stanford Encyclopedia of Philosophy
2000年9月16日 · The following sections provide the basics of a typical logic, sometimes called “classical elementary logic” or “classical first-order logic”. Section 2 develops a formal …
Linear Logic - Stanford Encyclopedia of Philosophy
2006年9月6日 · Linear logic is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic …
Logical Form - Stanford Encyclopedia of Philosophy
1999年10月19日 · For these purposes, Russell’s most important books are: Introduction to Mathematical Philosophy, London: George Allen and Unwin, 1919; Our Knowledge of the …
The Algebra of Logic Tradition - Stanford Encyclopedia of Philosophy
2009年3月2日 · The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815–1864) in his book The …
The Notation in Principia Mathematica - Stanford Encyclopedia of …
2004年8月19日 · It presents a system of symbolic logic and then turns to the foundations of mathematics to carry out the logicist project of defining mathematical notions in terms of …
Philosophy of Mathematics - Stanford Encyclopedia of Philosophy
2007年9月25日 · If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the …
Algebra - Stanford Encyclopedia of Philosophy
2007年5月29日 · Algebraic logic then broadened its interests to first order logic and modal logic. Central algebraic notions in first order logic are ultraproducts, elementary equivalence, and …
Ancient Logic - Stanford Encyclopedia of Philosophy
2006年12月13日 · Logic as a discipline starts with the transition from the more or less unreflective use of logical methods and argument patterns to the reflection on and inquiry into these …
Peirce's Logic - Stanford Encyclopedia of Philosophy
1995年12月15日 · Without getting lost in Peirce's ambitious blueprint for philosophy, we connect his main views in logic within his own philosophy so that a coherent picture of Peirce's logic …
Algebraic Propositional Logic - Stanford Encyclopedia of Philosophy
2016年12月12日 · Given an algebraic semantics \((\bK, \iEq)\) for a logic \(\bL\), a way to stress the difference between it being merely an algebraic semantics and being an algebraic …