|
Theory Of Obligationes
''Obligationes'' or disputations ''de obligationibus'' were a medieval disputation format common in the 13th and 14th centuries. Despite the name, they had nothing to do with ethics or morals but rather dealt with logical formalisms; the name comes from the fact that the participants were "obliged" to follow the rules. Typically, there were two disputants, one ''Opponens'' and one ''Respondens''. At the start of a debate, both the disputants would agree on a ‘''positum''’, usually a false statement. The task of ''Respondens'' was to answer rationally to the questions from the ''Opponens'', assuming the truth of the ''positum'' and without contradicting himself. On the opposite, the task of the ''Opponens'' was to try to force the ''Respondens'' into contradictions. Several styles of ''Obligationes'' were distinguished in the medieval literature with the most widely studied being called "''positio''" (positing). "Obligational" disputations resemble recent theories of counterfact ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disputation
In the scholastic system of education of the Middle Ages, disputations (in Latin: ''disputationes'', singular: ''disputatio'') offered a formalized method of debate designed to uncover and establish truths in theology and in sciences. Fixed rules governed the process: they demanded dependence on traditional written authorities and the thorough understanding of each argument on each side. Medieval disputations Inter-faith disputations A significant category of disputations took place between Christian and Jewish theologians as a form of both theological and philosophical debate and proselytization. Often, the Christian side was represented by a recent convert from Judaism. The only way for the Jewish side to 'win' was to force a draw by drawing the Christian side into a position in which it was necessary to deny the Old Testament to win, committing heresy. According to Michael J. Cook, "Since 'winning' a debate could well jeopardize the security of the Jewish community at lar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Socratic Dialogues
Socratic dialogue ( grc, Σωκρατικὸς λόγος) is a genre of literary prose developed in Greece at the turn of the fourth century BC. The earliest ones are preserved in the works of Plato and Xenophon and all involve Socrates as the protagonist. These dialogues and subsequent ones in the genre present a discussion of moral and philosophical problems between two or more individuals illustrating the application of the Socratic method. The dialogues may be either dramatic or narrative. While Socrates is often the main participant, his presence in the dialogue is not essential to the genre. Platonic dialogues Most of the Socratic dialogues referred to today are those of Plato. Platonic dialogues defined the literary genre subsequent philosophers used. Plato wrote approximately 35 dialogues, in most of which Socrates is the main character. Strictly speaking, the term refers to works in which Socrates is a character. As a genre, however, other texts are included; Plato's ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Lorenzen
Paul Lorenzen (March 24, 1915 – October 1, 1994) was a German philosopher and mathematician, founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz). Biography Lorenzen studied at the University of Göttingen until he earned his PhD there in 1938 under Helmut Hasse with a thesis titled ''Zur Abstrakten Begründung der multiplikativen Idealtheorie''. In 1939, he became an assistant to Wolfgang Krull at the University of Bonn. His main work was on the foundations of mathematics—proof theory. He created and modified constructive mathematics. Lorenzen taught at Stanford, the University of Texas, and Boston University in the USA. He was John Locke Lecturer in 1967/1968. Theory Lorenzen came in 1962 to University of Erlangen (South Germany) and founded the Erlangen School of epistemological constructivism there. He wrote with Wilhelm Kamlah the famous book ''Logical Propaedeutic'' ("Logische Propädeutik") and worked on game seman ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician. Life and career Hintikka was born in Helsingin maalaiskunta (now Vantaa). In 1953, he received his doctorate from the University of Helsinki for a thesis entitled ''Distributive Normal Forms in the Calculus of Predicates''. He was a student of Georg Henrik von Wright. Hintikka was a Junior Fellow at Harvard University (1956-1969), and held several professorial appointments at the University of Helsinki, the Academy of Finland, Stanford University, Florida State University and finally Boston University from 1990 until his death. He was the prolific author or co-author of over 30 books and over 300 scholarly articles, Hintikka contributed to mathematical logic, philosophical logic, the philosophy of mathematics, epistemology, language theory, and the philosophy of science. His works have appeared in over nine languages. Hintikka edited the academic journal ''Synthese'' fr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Game Semantics
Game semantics (german: dialogische Logik, translated as ''dialogical logic'') is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes. History In the late 1950s Paul Lorenzen was the first to introduce a game semantics for logic, and it was further developed by Kuno Lorenz. At almost the same time as Lorenzen, Jaakko Hintikka developed a model-theoretical approach known in the literature as ''GTS'' (game-theoretical semantics). Since then, a number of different game semantics have been studied in logic. Shahid Rahman (Lille) and collaborators developed dialogical logic into a general framework for the study of logical and philosophical issues related to logical pluralism. Beginning 1994 this triggered a kind of renaissance with lasting consequences. This new philosophical impulse experienced a pa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disputations
In the scholastic system of education of the Middle Ages, disputations (in Latin: ''disputationes'', singular: ''disputatio'') offered a formalized method of debate designed to uncover and establish truths in theology and in sciences. Fixed rules governed the process: they demanded dependence on traditional written authorities and the thorough understanding of each argument on each side. Medieval disputations Inter-faith disputations A significant category of disputations took place between Christian and Jewish theologians as a form of both theological and philosophical debate and proselytization. Often, the Christian side was represented by a recent convert from Judaism. The only way for the Jewish side to 'win' was to force a draw by drawing the Christian side into a position in which it was necessary to deny the Old Testament to win, committing heresy. According to Michael J. Cook, "Since 'winning' a debate could well jeopardize the security of the Jewish community at lar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Game Theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has applications in all fields of social science, as well as in logic, systems science and computer science. Originally, it addressed two-person zero-sum games, in which each participant's gains or losses are exactly balanced by those of other participants. In the 21st century, game theory applies to a wide range of behavioral relations; it is now an umbrella term for the science of logical decision making in humans, animals, as well as computers. Modern game theory began with the idea of mixed-strategy equilibria in two-person zero-sum game and its proof by John von Neumann. Von Neumann's original proof used the Brouwer fixed-point theorem on continuous mappings into compact convex sets, which became a standard method in game theory and mathema ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
