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.
Logique non monotoneUne logique non-monotone est une logique formelle dans laquelle la base de faits inférés peut ne pas croître et même parfois décroître. En effet, la plupart des logiques formelles sont monotones, ce qui signifie qu'ajouter un fait ou un axiome à un ensemble de faits ou d'axiomes n'enlève pas de faits à cet ensemble. Autrement dit, cela signifie qu'ajouter une nouvelle connaissance à un système ne fera qu'augmenter les faits inférés dans ce système.
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).
LogicismeLe logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique. Si ce programme était réalisable, il pourrait soutenir le positivisme logique en particulier, et le réductionnisme en général. Bertrand Russell et Alfred North Whitehead ont défendu cette approche, créée par le mathématicien Gottlob Frege. Le logicisme a joué un rôle clé dans le développement de la philosophie analytique au .
Graphe logiquevignette|Exemple de graphe logique En logique, un graphe logique est un type spécial de la structure schématique que Charles Sanders Peirce a développé. Dans ses articles qualitative logic, entitative graphs, et existential graphs, Peirce a développé plusieurs versions d'un formalisme graphique, conçus pour être interprété en logique. Au cours du siècle où Peirce a lancé cette ligne de développement, une variété de systèmes formels ont ramifié la même base formelle des structures théorique-graphiques.
Graham PriestGraham Priest, né en 1948, est un philosophe et un logicien contemporain à la double nationalité britannique et australienne. Spécialiste des logiques non-classiques, il est l’un des pionniers de la paraconsistance moderne. Il est actuellement Professeur distingué de philosophie au Centre d’études supérieures de la City University of New York et Professeur émérite de la Chaire de philosophie Boyce Gibson à l’Université de Melbourne. Issu d’un milieu ouvrier, Graham Priest est né et a grandi dans le Sud de Londres.
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.
Pierre AbélardAbélard, Abailard, ou encore Abeilard (Abaelardus), Pierre alias Petrus en religion (né en 1079 au Pallet près de Nantes - mort le , au prieuré Saint-Marcel près de Chalon-sur-Saône), est un philosophe, dialecticien et théologien chrétien français, père de la scolastique, inventeur du conceptualisme et époux d'Héloïse. Né dans une famille de souche poitevine établie dans le duché de Bretagne, il a été abbé de Rhuys mais a exercé principalement dans ce qui est l'Île-de-France actuelle comme professeur appointé par des familles aristocratiques et comme compositeur de chansons pour goliards.
Déduction logiqueLa déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses.
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".
