|
Hugh MacColl
Hugh MacColl (before April 1885 spelled as Hugh McColl; 1831–1909) was a Scottish mathematician, logician and novelist. Life 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. It was proposed to send him to Oxford University's St. Edmund Hall, but Gladstone made this conditional on Hugh MacColl agreeing to take orders in the Church of England. Hugh MacColl refused this condition and, as a result, never obtained a university education, which may have limited his contribution to philosophy, and certainly prevented him from ever obtaining a formal academic position. After a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logician
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually und ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever. His contributions include the development of modern logic in the ''Begriffsschrift'' and work in the foundations of mathematics. His book the ''Foundations of Arithmetic'' is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Logic
A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic. Explanation In classical logic there are theorems that clearly presuppose that there is something in the domain of discourse. Consider the following classically valid theorems. :1. \forall xA \Rightarrow \exists xA :2. \forall x \forall rA(x) \Rightarrow \forall rA(r) :3. \forall rA(r) \Rightarrow \exists xA(x) A valid scheme in the theory of equality which exhibits the same feature is :4. \forall x(Fx \rightarrow Gx) \land \exists xFx \rightarrow \exists x(Fx \land Gx) Informally, if F is '=y', G is 'is Pegasus', and we substitute 'Pegasus' for y, then (4) appears to allow us to infer from 'everything identical with Pegasus is Pegasus' that something is identical with Pegasus. The problem comes from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Université Lille Nord De France
The Community of Universities and Institutions (COMUE) Lille Nord de France (formerly Université Lille Nord de France) was a French Groups of Universities and Institutions ( COMUE) spread over multiple campuses and centered in Lille (North - Hauts-de-France). It included a European Doctoral College and federated universities, engineering schools and research centers. With more than one hundred thousand students, it was one of the largest university federations in France. The University of Lille, with nearly 70,000 students, was its main component. The COMUE stopped its activity in 2019 and its activities were transferred to its founding institutions. History Founded as University of Douai in 1562, the university was renamed ''Université impériale de Douai-Lille'' in 1808, then as ''Université de Lille'' with faculty expansion in the Lille region from mid-19th century onwards. * The roots of the faculties in law and humanities date back from the 16th century; * The school of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemology
Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Epistemologists study the nature, origin, and scope of knowledge, epistemic justification, the rationality of belief, and various related issues. Debates in epistemology are generally clustered around four core areas: # The philosophical analysis of the nature of knowledge and the conditions required for a belief to constitute knowledge, such as truth and justification # Potential sources of knowledge and justified belief, such as perception, reason, memory, and testimony # The structure of a body of knowledge or justified belief, including whether all justified beliefs must be derived from justified foundational beliefs or whether justification requires only a coherent set of beliefs # Philosophical skepticism, which questions the possibili ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Oslo
The University of Oslo ( no, Universitetet i Oslo; la, Universitas Osloensis) is a public research university located in Oslo, Norway. It is the highest ranked and oldest university in Norway. It is consistently ranked among the top universities in the world and as one of the leading universities of Northern Europe; the Academic Ranking of World Universities ranked it the 58th best university in the world and the third best in the Nordic countries. In 2016, the Times Higher Education World University Rankings listed the university at 63rd, making it the highest ranked Norwegian university. Originally named the Royal Frederick University, the university was established in 1811 as the de facto Norwegian continuation of Denmark-Norway's common university, the University of Copenhagen, with which it shares many traditions. It was named for King Frederick VI of Denmark and Norway, and received its current name in 1939. The university was commonly nicknamed "The Royal Frederick ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greifswald University
The University of Greifswald (; german: Universität Greifswald), formerly also known as “Ernst-Moritz-Arndt University of Greifswald“, is a public research university located in Greifswald, Germany, in the state of Mecklenburg-Western Pomerania. Founded in 1456 (teaching existed since 1436), it is one of the oldest universities in Europe, with generations of notable alumni and staff having studied or worked in Greifswald. As the fourth oldest university in present Germany, it was temporarily also the oldest university of the Kingdoms of Sweden (1648–1815) and Prussia (1815–1945), respectively. Approximately two-thirds of the 10,179 students are from outside the state, including international students from 90 countries all over the world. Due to the small-town atmosphere, the pronounced architectural presence of the alma mater across town, and the young, academic flair in the streets, Greifswald is often described as a "university with a town built around it" rather ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Christianity
Christianity is an Abrahamic monotheistic religion based on the life and teachings of Jesus of Nazareth. It is the world's largest and most widespread religion with roughly 2.38 billion followers representing one-third of the global population. Its adherents, known as Christians, are estimated to make up a majority of the population in 157 countries and territories, and believe that Jesus is the Son of God, whose coming as the messiah was prophesied in the Hebrew Bible (called the Old Testament in Christianity) and chronicled in the New Testament. Christianity began as a Second Temple Judaic sect in the 1st century Hellenistic Judaism in the Roman province of Judea. Jesus' apostles and their followers spread around the Levant, Europe, Anatolia, Mesopotamia, the South Caucasus, Ancient Carthage, Egypt, and Ethiopia, despite significant initial persecution. It soon attracted gentile God-fearers, which led to a departure from Jewish customs, and, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Benjamins Publishing Company
John Benjamins Publishing Company is an independent academic publisher in social sciences and humanities with its head office in Amsterdam, Netherlands. The company was founded in the 1960s by John and Claire Benjamins and is currently managed by their daughter Seline Benjamins. Its North American office is in Philadelphia. . John Benjamins Publishing Company. Retrieved on November 19, 2011. John Benjamins is especially noted for its publications in , , |
Probability Logic
Probabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals. Logical background There are numerous proposals for probabilistic logics. Very roughly, they can be categorized into two different classes: those logics that attempt to make a probabilistic extension to logical entailment, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Many-valued Logic
Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false") for any proposition. Classical two-valued logic may be extended to ''n''-valued logic for ''n'' greater than 2. Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values "true", "false", and "unknown"), four-valued, nine-valued, the finite-valued (finitely-many valued) with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic. History It is wrong that the first known classical logician who did not fully accept the law of excluded middle was Aristotle (who, ironically, is also generally considered to be the first classical logician and the "father of wo-valuedlogic"). In fact, Aristotle did not contest the univer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connexive Logic
Connexive logic names one class of alternative, or non-classical, logics designed to exclude the paradoxes of material implication. The characteristic that separates connexive logic from other non-classical logics is its acceptance of Aristotle's thesis, i.e. the formula, * ~(~p → p) as a logical truth. Aristotle's thesis asserts that no statement follows from its own denial. Stronger connexive logics also accept Boethius' thesis, * ((p → q) → ~(p → ~q)) which states that if a statement implies one thing, it does not imply its opposite. Relevance logic is another logical theory that tries to avoid the paradoxes of material implication. History Connexive logic is arguably one of the oldest approaches to logic. Aristotle's Thesis is named after Aristotle because he uses this principle in a passage in the ''Prior Analytics''. It is impossible that the same thing should be necessitated by the being and the not-being of the same thing. I mean, for example, that it is imp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
