Hugh MacCollHugh MacColl (before April 1885 spelled as Hugh McColl; 1831–1909) was a Scottish mathematician, logician and novelist. MacColl was the youngest son of a poor Highland family that was at least partly Gaelic-speaking. Hugh's father died when he was still an infant, and Hugh was educated largely thanks to the efforts of his elder brother Malcolm MacColl, an Episcopalian clergyman and friend and political ally of William Ewart Gladstone. Early in his acquaintanceship with Gladstone, Malcolm MacColl persuaded the Liberal politician to provide funds for Hugh's education at Oxford.
Non-monotonic logicA non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence. Most studied formal logics have a monotonic entailment relation, meaning that adding a formula to a theory never produces a pruning of its set of conclusions.
Second-order logicIn logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle).
LogicismIn the philosophy of mathematics, logicism is a programme comprising one or more of the theses that — for some coherent meaning of 'logic' — mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano.
Logical graphA logical graph is a special type of diagrammatic structure of graphical syntax developed for logic (such as those developed by Charles Sanders Peirce). In his papers on qualitative logic, entitative graphs, and existential graphs, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic. In the century since Peirce initiated this line of development, a variety of formal graph-theoretic structures that have branched out from what is abstractly the same formal base.
Graham PriestGraham Priest (born 1948) is Distinguished Professor of Philosophy at the CUNY Graduate Center, as well as a regular visitor at the University of Melbourne, where he was Boyce Gibson Professor of Philosophy and also at the University of St Andrews. Priest was educated at St John's College, Cambridge and the London School of Economics. His thesis advisor was John Lane Bell. He also holds a DLitt from the University of Melbourne.
Formal epistemologyFormal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest. Work in this area spans several academic fields, including philosophy, computer science, economics, and statistics. The focus of formal epistemology has tended to differ somewhat from that of traditional epistemology, with topics like uncertainty, induction, and belief revision garnering more attention than the analysis of knowledge, skepticism, and issues with justification.
Peter AbelardPeter Abelard (ˈæbəlɑrd; Pierre Abélard; Petrus Abaelardus or Abailardus; 1079 - 21 April 1142) was a medieval French scholastic philosopher, leading logician, theologian, poet, composer and musician. In philosophy he is celebrated for his logical solution to the problem of universals via nominalism and conceptualism and his pioneering of intent in ethics. Often referred to as the "Descartes of the twelfth century", he is considered a forerunner of Rousseau, Kant, and Spinoza.
Logical consequenceLogical consequence (also entailment) is a fundamental concept in logic which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises.
Stoic logicStoic logic is the system of propositional logic developed by the Stoic philosophers in ancient Greece. It was one of the two great systems of logic in the classical world. It was largely built and shaped by Chrysippus, the third head of the Stoic school in the 3rd-century BCE. Chrysippus's logic differed from Aristotle's term logic because it was based on the analysis of propositions rather than terms. The smallest unit in Stoic logic is an assertible (the Stoic equivalent of a proposition) which is the content of a statement such as "it is day".
