|
George Edward Hughes
George Edward Hughes (8 June 1918 – 4 March 1994) was an Irish-born New Zealand philosopher and logician whose principal scholarly works were concerned with modal logic and medieval philosophy. Biography Hughes was born on 8 June 1918 in Waterford city, Ireland. His English parents George James Hughes and Gertrude Sparks moved to Scotland in the early 1920s, as a result of the Irish War of Independence. George graduated MA with First Class Honours in Philosophy and English, and then in pure Philosophy, from the University of Glasgow. He then studied for a year at the University of Cambridge, before being called back to Glasgow as an assistant lecturer. Subsequently, he held lectureships at the University College of South Wales at Cardiff, and then the University College of North Wales at Bangor. In 1951 he was appointed to the first Chair in Philosophy at the Victoria University of Wellington in New Zealand, a position from which he retired in 1984. He died in Wellington on 4 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
George E
George may refer to: Names * George (given name) * George (surname) People * George (singer), American-Canadian singer George Nozuka, known by the mononym George * George Papagheorghe, also known as Jorge / GEØRGE * George, stage name of Giorgio Moroder * George, son of Andrew I of Hungary Places South Africa * George, South Africa, a city ** George Airport United States * George, Iowa, a city * George, Missouri, a ghost town * George, Washington, a city * George County, Mississippi * George Air Force Base, a former U.S. Air Force base located in California Computing * George (algebraic compiler) also known as 'Laning and Zierler system', an algebraic compiler by Laning and Zierler in 1952 * GEORGE (computer), early computer built by Argonne National Laboratory in 1957 * GEORGE (operating system), a range of operating systems (George 1–4) for the ICT 1900 range of computers in the 1960s * GEORGE (programming language), an autocode system invented by Charles Le ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinary Language Philosophy
Ordinary language philosophy (OLP) is a philosophical methodology that sees traditional philosophical problems as rooted in misunderstandings philosophers develop by distorting or forgetting how words are ordinarily used to convey meaning in non-philosophical contexts. "Such 'philosophical' uses of language, on this view, create the very philosophical problems they are employed to solve." This approach typically involves eschewing philosophical "theories" in favor of close attention to the details of the use of everyday "ordinary" language. Its earliest forms are associated with the later work of Ludwig Wittgenstein and a number of mid-20th century philosophers who can be split into two main groups, neither of which could be described as an organized "school". In its earlier stages, contemporaries of Wittgenstein at Cambridge University such as Norman Malcolm, Alice Ambrose, Friedrich Waismann, Oets Kolk Bouwsma and Morris Lazerowitz started to develop ideas recognisable as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Latin Literature
Latin literature includes the essays, histories, poems, plays, and other writings written in the Latin language. The beginning of formal Latin literature dates to 240 BC, when the first stage play in Latin was performed in Rome. Latin literature flourished for the next six centuries. The classical era of Latin literature can be roughly divided into several periods: #Early Latin literature, Early Latin literature, #The Golden Age, The Golden Age, #The Imperial Period, The Imperial Period and Latin literature#Latin in the Middle Ages, Renaissance, and Early Modernity, Late Antiquity. Latin was the language of the ancient Romans as well as being the ''lingua franca'' of Western and Central Europe throughout the Middle Ages. Latin literature features the work of Roman authors, such as Cicero, Virgil, Ovid and Horace, but also includes the work of European writers after the fall of the Empire; from religious writers like Thomas Aquinas, Aquinas (1225–1274), to secular writers like ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commentary Of A Philosophical Text
A philosophical commentary is a written exposition and analysis of an authoritative philosophical text.Andrea Falcon (2005)"Commentators on Aristotle" ''Stanford Encyclopedia of Philosophy''.Han Baltussen (2018), "Philosophical Commentary", in Scott McGill and Edward J. Watts, eds., ''A Companion to Late Antique Literature'' (John Wiley & Sons), pp. 297–312. A large portion of the schools of thought was originated through the analysis that different commentators carried out on renowned philosophical texts, especially texts from Plato and Aristotle. A significant portion of Thomas Aquinas's philosophical ideas were the result of commentaries to some of Aristotle's ideas. Examples *Commentaries on Plato *Commentaries on Aristotle A great mass of literature has been produced to explain and clarify the works of Aristotle, especially during the ancient and medieval eras. The pupils of Aristotle (384322 BC) were the first to comment on his writings, a tradition which was ... ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Medieval Philosophy
Medieval philosophy is the philosophy that existed through the Middle Ages, the period roughly extending from the fall of the Western Roman Empire in the 5th century until after the Renaissance in the 13th and 14th centuries. Medieval philosophy, understood as a project of independent philosophical inquiry, began in Baghdad, in the middle of the 8th century, and in France and Germany, in the itinerant court of Charlemagne in Aachen, in the last quarter of the 8th century. It is defined partly by the process of rediscovering the ancient culture developed in Greece and Rome during the Classical period, and partly by the need to address theological problems and to integrate sacred doctrine with secular learning. This is one of the defining characteristics in this time period. Understanding God was the focal point of study of the Jewish, Christian and Muslim Philosophers and Theologians. The history of medieval philosophy is traditionally divided into two main periods: the period ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynamic Logic (modal Logic)
In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs. A simple example of a statement in dynamic logic is :\text \to text\text, which states that if the ground is currently dry and it rains, then afterwards the ground will be wet. The syntax of dynamic logic contains a language of ''propositions'' (like "the ground is dry") and a language of ''actions'' (like "it rains"). The core modal constructs are , which states that after performing action ''a'' the proposition ''p'' should hold, and \langle a \rangle p, which states that after performing action ''a'' it is possible that ''p'' holds. The action language supports operations a\mathbinb (doing one action followed by another), a \cup b (doing one action or another), and iteration a (doing one action zero or more times). The proposition language supports Boolean operations (and, or, and not). The action logic is expressive enough ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vaughan Pratt
Vaughan Pratt (born April 12, 1944) is a Professor, Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrency (computer science), concurrent systems and Chu spaces. Career Raised in Australia and educated at Knox Grammar School, where he was Dux#Education, dux in 1961, Pratt attended Sydney University, where he completed his masters thesis in 1970, related to what is now known as natural language processing. He then went to the United States, where he completed a Ph.D. thesis at Stanford University in only 20 months under the supervision of advisor Donald Knuth. His thesis focused on analysis of the Shellsort sorting algorithm and sorting networks. Pratt was an assistant professor at Massachusetts Institute of Technology, MI ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Program
A computer program is a sequence or set of instructions in a programming language for a computer to Execution (computing), execute. It is one component of software, which also includes software documentation, documentation and other intangible components. A ''computer program'' in its human-readable form is called source code. Source code needs another computer program to Execution (computing), execute because computers can only execute their native machine instructions. Therefore, source code may be Translator (computing), translated to machine instructions using a compiler written for the language. (Assembly language programs are translated using an Assembler (computing), assembler.) The resulting file is called an executable. Alternatively, source code may execute within an interpreter (computing), interpreter written for the language. If the executable is requested for execution, then the operating system Loader (computing), loads it into Random-access memory, memory and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reasoning System
In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as deduction and induction. Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems. By the everyday usage definition of the phrase, all computer systems are reasoning systems in that they all automate some type of logic or decision. In typical use in the Information Technology field however, the phrase is usually reserved for systems that perform more complex kinds of reasoning. For example, not for systems that do fairly straightforward types of reasoning such as calculating a sales tax or customer discount but making logical inferences about a medical diagnosis or mathematical theorem. Reasoning systems come in two modes: interactive and batch processing. Interactive systems interface with the user to ask clarifying questions or otherwise allow the user to guide the reas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Language Processing
Natural language processing (NLP) is a subfield of computer science and especially artificial intelligence. It is primarily concerned with providing computers with the ability to process data encoded in natural language and is thus closely related to information retrieval, knowledge representation and computational linguistics, a subfield of linguistics. Major tasks in natural language processing are speech recognition, text classification, natural-language understanding, natural language understanding, and natural language generation. History Natural language processing has its roots in the 1950s. Already in 1950, Alan Turing published an article titled "Computing Machinery and Intelligence" which proposed what is now called the Turing test as a criterion of intelligence, though at the time that was not articulated as a problem separate from artificial intelligence. The proposed test includes a task that involves the automated interpretation and generation of natural language ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kripke Semantics
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise'). Semantics of modal logic The language of propositional modal logic consists of a countably infinite set of propositional variables, a set of truth-functional connectives (in this article \to and \neg), and the modal operator \Box ("necessarily"). The modal operator \Diamond ("possibly") is (classically) the dual of \Box and may be defined in terms of necessity like so: \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Max Cresswell
Maxwell John Cresswell (19 November 1939 – 22 September 2024) was a New Zealand philosopher and logician who was known for his work in modal logic.''Festschrift for Max Cresswell on the occasion of his 65th birthday.'' In: ''Logique et Analyse.'' Number 181, March 2003 (published November 2004). See the introduction by Thomas Forster. Education and career Cresswell received his B.A. in 1960 and M.A. in 1961 from the University of New Zealand and then with the support of a Commonwealth Scholarship attended the Victoria University of Manchester, where he received in 1964 his PhD under the supervision of A. N. Prior. Cresswell's thesis was titled ''General and Specific Logics of Functions of Propositions''. After returning to New Zealand, Cresswell was at Victoria University of Wellington, from 1963 to 1967 as a lecturer, from 1968 to 1972 as a senior lecturer (also receiving in 1972 a Lit.D. from Victoria University), becoming a reader in 1973, and then a professor from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
