|
Dialogical Logic
Dialogical logic (also known as the logic of dialogues) was conceived as a pragmatic approach to the semantics of logic that resorts to concepts of game theory such as "winning a play" and that of "winning strategy". Since dialogical logic was the first approach to the semantics of logic using notions stemming from game theory, game theoretical semantics (GTS) and dialogical logic are often conflated under the term ''game semantics''. However, as discussed below, though GTS and dialogical logic are both rooted in a game-theoretical perspective, in fact, they have quite different philosophical and logical background. Nowadays it has been extended to a general framework for the study of meaning, knowledge, and inference constituted during interaction. The new developments include cooperative dialogues and dialogues deploying a fully interpreted language (''dialogues with content''). Origins and further developments The philosopher and mathematician Paul Lorenzen ( Erlangen-Nürnb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semantics Of Logic
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment. Overview The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. The semantics of logic refers to the approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation. Until the advent of modern logic, Aristotle's ''Organon'', especially ''De Interpretatione'', provided the basis for understanding the significance of logic. The introduction of quantification, needed to solve the problem of multiple ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Defeasible Reasoning
In philosophical logic, defeasible reasoning is a kind of reasoning that is rationally compelling, though not deductively valid. It usually occurs when a rule is given, but there may be specific exceptions to the rule, or subclasses that are subject to a different rule. Defeasibility is found in literatures that are concerned with argument and the process of argument, or heuristic reasoning. Defeasible reasoning is a particular kind of non-demonstrative reasoning, where the reasoning does not produce a full, complete, or final demonstration of a claim, i.e., where fallibility and corrigibility of a conclusion are acknowledged. In other words, defeasible reasoning produces a contingent statement or claim. Defeasible reasoning is also a kind of ampliative reasoning because its conclusions reach beyond the pure meanings of the premises. Defeasible reasoning finds its fullest expression in jurisprudence, ethics and moral philosophy, epistemology, pragmatics and conversational con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Per Martin-Löf
Per Erik Rutger Martin-Löf (; ; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science. Until his retirement in 2009, Per Martin-Löf held a joint chair for Mathematics and Philosophy at Stockholm University.Member profile |
Evert W
Evert is a Dutch and Swedish short form of the Germanic masculine name "Everhard" (alternative Eberhard). at the database of given names in the Netherlands. It is also used as surname. Notable people with the name include: Given name * Evert van Aelst (1602–1657), Dutch still life painter * (1772–1809), Norwegian naval officer * |
Intuitionistic Logic
Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems of intuitionistic logic do not assume the law of the excluded middle and double negation elimination, which are fundamental inference rules in classical logic. Formalized intuitionistic logic was originally developed by Arend Heyting to provide a formal basis for L. E. J. Brouwer's programme of intuitionism. From a proof-theoretic perspective, Heyting’s calculus is a restriction of classical logic in which the law of excluded middle and double negation elimination have been removed. Excluded middle and double negation elimination can still be proved for some propositions on a case by case basis, however, but do not hold universally as they do with classical logic. The standard explanation of intuitionistic logic is the BHK interpretati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Method Of Analytic Tableaux
In proof theory, the semantic tableau (; plural: tableaux, also called truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulae of first-order logic. An analytic tableau is a tree structure computed for a logical formula, having at each node a subformula of the original formula to be proved or refuted. Computation constructs this tree and uses it to prove or refute the whole formula. The tableau method can also determine the satisfiability of finite sets of formulas of various logics. It is the most popular proof procedure for modal logics (Girle 2000). Introduction For refutation tableaux, the objective is to show that the negation of a formula cannot be satisfied. There are rules for handling each of the usual connectives, starting with the main connective. In many cases, applying these rules causes the subtableau to divide into two. Quantifiers are instantiated. If any branch of a tableau leads to an evident contradiction, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Woods (logician)
John Hayden Woods (born 1937) is a Canadian logician and philosopher. He currently holds the position of Director of the Abductive Systems Group at the University of British Columbia (UBC) and is The UBC Honorary Professor of Logic. He is also affiliated with the Group on Logic, Information and Computation within the Department of Informatics at King's College London where he has held the Charles S. Peirce Visiting Professorship of Logic position since 2001. Woods is a Fellow of the Royal Society of Canada, life member of the Association of Fellows of the Netherlands Institute for Advanced Study, and President Emeritus of the University of Lethbridge. Woods' education includes a BA and MA in philosophy from the University of Toronto, and a 1965 PhD in philosophy from the University of Michigan where his adviser was Arthur Burks. Together with Douglas N. Walton, Woods has authored a number of books and papers on fallacies. According to Frans H. van Eemeren, who calls this bod ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Douglas N
Douglas may refer to: People * Douglas (given name) * Douglas (surname) Animals *Douglas (parrot), macaw that starred as the parrot ''Rosalinda'' in Pippi Longstocking * Douglas the camel, a camel in the Confederate Army in the American Civil War Businesses * Douglas Aircraft Company * Douglas (cosmetics), German cosmetics retail chain in Europe * Douglas (motorcycles), British motorcycle manufacturer Peerage and Baronetage * Duke of Douglas * Earl of Douglas, or any holder of the title * Marquess of Douglas, or any holder of the title * Douglas Baronets Peoples * Clan Douglas, a Scottish kindred * Dougla people, West Indians of both African and East Indian heritage Places Australia * Douglas, Queensland, a suburb of Townsville * Douglas, Queensland (Toowoomba Region), a locality * Port Douglas, North Queensland, Australia * Shire of Douglas, in northern Queensland Belize * Douglas, Belize Canada * Douglas, New Brunswick * Douglas Parish, New Brunswick * Doug ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Giorgi Japaridze
Giorgi Japaridze (also spelled Giorgie Dzhaparidze) is a Georgian-American researcher in logic and theoretical computer science. He currently holds the title of Full Professor at the Computing Sciences Department of Villanova University. Japaridze is best known for his invention of computability logic, cirquent calculus, and Japaridze's polymodal logic. Research During 1985–1988 Japaridze elaborated the system GLP, known as Japaridze's polymodal logic. This is a system of modal logic with the "necessity" operators …, understood as a natural series of incrementally weak provability predicates for Peano arithmetic. In "The polymodal logic of provability" Japaridze proved the arithmetical completeness of this system, as well as its inherent incompleteness with respect to Kripke frames. GLP has been extensively studied by various authors during the subsequent three decades, especially after Lev Beklemishev, in 2004, pointed out its usefulness in understanding the proof theory of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rob Grootendorst
Rob Grootendorst (11 February 1944 in Schiedam – 23 February 2000 in Amsterdam) was a Dutch communication and argumentation theory scholar. He was professor for Dutch speech communication at the University of Amsterdam. His contributions to the argumentation field include the co-foundation of the pragma-dialectic school in argumentation theory. He also wrote several books on the life and works of the Dutch writer and politician Theo Thijssen. Biography Grootendorst was a teacher at an elementary school in the 1960s. He studied Dutch studies at the University of Amsterdam since 1980, and became a Ph.D. in 1982 in Speech Communication. The dissertation was jointly written with Frans H. van Eemeren. They jointly founded the International Society for the Study of Argumentation in 1986. Selected works *''Argumentation, Communication, and Fallacies: A Pragma-Dialectical Perspective'' (Hillsdale: Erlbaum, 1992), with van Eemeren *''Fundamentals of Argumentation Theory: A Handbook ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dov Gabbay
Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. Work Gabbay has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international journals, and of many reference works and handbooks of logic, including the ''Handbook of Philosophical Logic'' (with Franz Guenthner), the ''Handbook of Logic in Computer Science]'' (with Samson Abramsky and T. S. E. Maibaum), and the ''Handbook of Logic in Artificial Intelligence and Logic Programming'' (with C.J. Hogger and J.A. Robinson). He is well-known for pioneering work on logic in computer science and artificial intelligence, especially the application of (executable) temporal logics in computer science, in particular formal verification, the logical foundations of non-monotonic reasoning and artificial intel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frans H
Frans is an Afrikaans, Danish, Dutch, Finnish, Icelandic, Norwegian, and Swedish given name, sometimes as a short form of ''François''. One cognate of Frans in English is '' Francis''. Given name * Frans van Aarssens (1572–1641), Dutch diplomat and statesman * Frans Ackerman (1330–1387), Flemish statesman * Frans Adelaar (born 1960), Dutch football player and manager * Frans Alphons Maria Alting von Geusau (born 1933), Dutch legal scholar and diplomat * Frans Aerenhouts (born 1937), Belgian cyclist * Frans Ananias (born 1972), Namibian footballer * Frans Andersson (1911–1988), Danish bass-baritone * Frans Andriessen (1929–2019), Dutch politician * Frans Anneessens (1660–1719), Flemish protest leader * Frans van Anraat (born 1942), Dutch businessman and convicted war criminal * Frans Badens ( fl. 1571–1618), Flemish painter * Frans Bak (born 1958), Danish composer, choral conductor, saxophonist, and pianist * Frans Decker (1684–1751), 18th-century painter from the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
