boolean connective
41Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… …
42Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …
43Empiricism — John Locke, a leading philosopher of British empiricism This article is about the field of philosophy. For the album by Borknagar, see Empiricism (album). Empiricism is a theory of knowledge that asserts that knowledge comes only or primarily via …
44Chrysippus — This article is about the philosopher. For other people named Chrysippus, see Chrysippus (disambiguation). Chrysippus of Soli Roman copy of a Hellenistic bust of Chrysippus, British Museum Full name Chrysippus of Soli Born c. 279 BC …
45Involution (mathematics) — In mathematics, an involution, or an involutary function, is a function that is its own inverse, so that: f ( f ( x )) = x for all x in the domain of f . General propertiesAny involution is a bijection.The identity map is a trivial example of an… …
46Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… …
47Deontic logic — is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic… …
48Henry M. Sheffer — Henry Maurice Sheffer (1882 1964) was an American logician.Sheffer was a Polish Jew born in the Ukraine, who immigrated to the USA with his parents. He was educated at Harvard University, learning logic from Josiah Royce. Sheffer spent most of… …
49Logic alphabet — The logic alphabet was developed by Dr. Shea Zellweger in the 1950s while working as a switchboard operator. It constitutes an iconic set of symbols systematically representing the sixteen possible binary truth functions. Dr. Zellweger, now… …
50Willard Van Orman Quine — Unreferenced|date=August 2007 Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Willard Van Orman Quine name = Willard Van Orman Quine birth = birth date|mf=yes|1908|6|25 death = death… …
