Introduction to Higher Order Categorical Logic, Cambridge University Press, ISBN 0-521-35653-9

* John Lane Bell ( 2005 ) The Development of Categorical Logic.

The History of Categorical Logic 1963 – 1977.

* Paul-André Melliès, Categorical Semantics of Linear Logic, 2007

# Deontological ethics, notions based on ' rules ' i. e. that there is an obligation to perform the ' right ' action, regardless of actual consequences ( epitomized by Kant's notion of the Categorical Imperative )

* Categorical data analysis-Data sets used in the book, An Introduction to Categorical Data Analysis, by Agresti are provided on-line by StatLib.

* Herrlich, Horst & Strecker, George E .: Categorical Topology-its origins, as examplified by the unfolding of the theory of topological reflections and coreflections before 1971.

Categorical random variables are normally described statistically by a categorical distribution, which allows an arbitrary K-way categorical variable to be expressed with separate probabilities specified for each of the K possible outcomes.

Categorical models of bunched logic are given by doubly closed categories, which are both cartesian closed and symmetric monoidal closed.

*" Categorical Imperative " by Simon Guerrier ( Short Trips: Monsters )

*" Categorical Imperative " by Simon Guerrier ( Short Trips: Monsters )

*" Categorical Imperative ", by Simon Guerrier ( Short Trips: Monsters )

* You may find it easier to locate categories using the Categorical index, which organizes categories by topic.

*" Categorical Imperative " by Simon Guerrier, " Short Trips: Monsters "

This topological closure operator has been generalized in category theory ; see Categorical Closure Operators by G. Castellini in " Categorical Perspectives ", referenced below.

* Categorical programming with inductive and coinductive types by Varmo Vene

* Categorical imperative, a concept in philosophy developed by Immanuel Kant

Categorical imperative is a method for determining right from wrong by thinking through the ethical valence of an act, regardless of motive.

After reading Hegel's Science of Logic in 1914, Lenin made some brief notes outlining three " elements " of logic.

A decision procedure revisited: notes on Direct Logic.

S. Dunya, Cairo, 1960 ; parts translated by S. C. Inati, Remarks and Admonitions, Part One: Logic, Toronto, Ont.

More ambitious was the Logic Theory Machine, a deduction system for the propositional logic of the Principia Mathematica, developed by Allen Newell, Herbert A. Simon and J. C. Shaw.

Also running on a JOHANNIAC, the Logic Theory Machine constructed proofs from a small set of propositional axioms and three deduction rules: modus ponens, ( propositional ) variable substitution, and the replacement of formulas by their definition.

Another application of category theory, more specifically: topos theory, has been made in mathematical music theory, see for example the book The Topos of Music, Geometric Logic of Concepts, Theory, and Performance by Guerino Mazzola.

< span id = GS > 1883 </ span > saw publication of his < span id = SIL > Studies in Logic by Members of the Johns Hopkins University </ span > containing works by himself and Allan Marquand, Christine Ladd, Benjamin Ives Gilman, and Oscar Howard Mitchell.

His 1938 Logic: The Theory of Inquiry is much influenced by Peirce.

Turing's " definitions " given in a footnote in his 1939 Ph. D. thesis Systems of Logic Based on Ordinals, supervised by Church, are virtually the same:

The Concepts and Logic of Classical Thermodynamics as a Theory of Heat Engines, Rigorously Constructed upon the Foundation Laid by S. Carnot and F. Reech, Springer, New York, ISBN 0-387-07971-8.

An earlier, slightly different sense of the term was proposed by John Stuart Mill in his 1843 < cite > System of Logic </ cite >.

A theory of statistical inference was developed by Charles S. Peirce in " Illustrations of the Logic of Science " ( 1877 – 1878 ) and " A Theory of Probable Inference " ( 1883 ), two publications that emphasized the importance of randomization-based inference in statistics.

The Epimenides paradox appears explicitly in " Mathematical Logic as Based on the Theory of Types ", by Bertrand Russell, in the American Journal of Mathematics, volume 30, number 3 ( July, 1908 ), pages 222 – 262, which opens with the following:

Perhaps the first elaborate and systematic exposition was by John Venn, in The Logic of Chance: An Essay on the Foundations and Province of the Theory of Probability ( published editions in 1866, 1876, 1888 ).

In Language, Truth and Logic he defines the distinction between " strong " and " weak " verification: " A proposition is said to be verifiable, in the strong sense of the term, if, and only if, its truth could be conclusively established by experience.

A well-known critic of logical positivism was Karl Popper, who published the book Logik der Forschung in 1934 ( translated by himself as The Logic of Scientific Discovery, published 1959 ).

* A Problem Course in Mathematical Logic, by Stefan Bilaniuk, is another free textbook.

* Stanford Encyclopedia of Philosophy: Classical Logic – by Stewart Shapiro.

Among the systems which benefited from having a 68000 or derivative as their microprocessor were families of Programmable Logic Controllers ( PLCs ) manufactured by Allen-Bradley, Texas Instruments and subsequently, following the acquisition of that division of TI, by Siemens.

Later Mohist Logic, Ethics and Science by A. C. Graham, ( 1978, reprinted 2004 ) The Chinese University Press, Hong Kong.

ISBN 1-55860-169-4 .</ ref > ( O < sub > 2 </ sub > Technology, merged with several companies, acquired by Informix, which was in turn acquired by IBM ), POET ( now FastObjects from Versant which acquired Poet Software ), Versant Object Database ( Versant Corporation ), VOSS ( Logic Arts ) and JADE ( Jade Software Corporation ).

**" Paradoxes and Contemporary Logic " – by Andrea Cantini.

The referring paper by Łukasiewicz Remarks on Nicod's Axiom and on " Generalizing Deduction " was reviewed by H. A. Pogorzelski in the Journal of Symbolic Logic in 1965.