John Corcoran (logician)
John Corcoran ( ; March 20, 1937 – January 8, 2021) was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice. His work on Aristotle's logic of the '' Prior Analytics'' is regarded as being highly faithful both to the Greek text and to the historical context. It is the basis for many subsequent investigations. His mathematical results on definitional equivalence of formal character-string theories, sciences of strings of characters over finite alphabets, are foundationa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Baltimore
Baltimore is the most populous city in the U.S. state of Maryland. With a population of 585,708 at the 2020 census and estimated at 568,271 in 2024, it is the 30th-most populous U.S. city. The Baltimore metropolitan area is the 20th-largest metropolitan area in the country at 2.84 million residents. The city is also part of the Washington–Baltimore combined statistical area, which had a population of 9.97 million in 2020. Baltimore was designated as an independent city by the Constitution of Maryland in 1851. Though not located under the jurisdiction of any county in the state, it forms part of the central Maryland region together with the surrounding county that shares its name. The land that is present-day Baltimore was used as hunting ground by Paleo-Indians. In the early 1600s, the Susquehannock began to hunt there. People from the Province of Maryland established the Port of Baltimore in 1706 to support the tobacco trade with Europe and established the Town ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
History Of Logic
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in Indian logic, India, Logic in China, China, and Greek philosophy, Greece. Greek methods, particularly Aristotelian logic (or term logic) as found in the ''Organon'', found wide application and acceptance in Western science and mathematics for millennia.Boehner p. xiv The Stoicism, Stoics, especially Chrysippus, began the development of predicate logic. Christian philosophy, Christian and Logic in Islamic philosophy, Islamic philosophers such as Boethius (died 524), Avicenna (died 1037), Thomas Aquinas (died 1274) and William of Ockham (died 1347) further developed Aristotle's logic in the Medieval philosophy#High Middle Ages, Middle Ages, reaching a high point in the mid-fourteenth century, with Jean Buridan. The period between the fourteenth century and the beginning of the nineteenth century saw largely decline and neglect, and at le ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Computer Science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, applied disciplines (including the design and implementation of Computer architecture, hardware and Software engineering, software). Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and preventing security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of re ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Formal Linguistics
Formal linguistics is a branch of mathematical linguistics which uses formal languages, formal grammars and first-order logical expressions for the analysis of natural languages. Formal linguistics forms much of the basis of computational linguistics. Since the 1980s, the term is often used to refer to Chomskyan linguistics. Approaches Semiotic Methods of formal linguistics were introduced by semiotics, semioticians such as Charles Sanders Peirce and Louis Hjelmslev. Building on the work of David Hilbert and Rudolf Carnap, Hjelmslev proposed the use of formal grammars to analyse, generate and explain language in his 1943 book ''Prolegomena to a Theory of Language''. In this view, language is regarded as arising from a mathematical relationship between meaning and form. The formal description of language was further developed by linguists including J. R. Firth and Simon Dik, giving rise to modern grammatical frameworks such as systemic functional linguistics and functional discourse ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
ResearchGate
ResearchGate is a European commercial social networking site for scientists and researchers to share papers, ask and answer questions, and find collaborators. According to a 2014 study by ''Nature'' and a 2016 article in ''Times Higher Education'', it is the largest academic social network in terms of active users, although other services have more registered users, and a 2015–2016 survey suggests that almost as many academics have Google Scholar profiles. While reading articles does not require registration, people who wish to become site members need to have an email address at a recognized institution or to be manually confirmed as a published researcher in order to sign up for an account. Articles are free to read by visitors, however additional features (such as job postings or advertisements) are accessible only as a paid subscription. Members of the site each have a user profile and can upload research output including papers, data, chapters, negative results, patents, r ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gisela Striker
Gisela Striker (born 1943) is a German classical scholar. She is Professor Emerita of Philosophy and Classics at Harvard University and a specialist in ancient Greek and Roman philosophy. Education and career Striker was born and educated in Germany, earning her doctorate in philosophy from the University of Göttingen under the supervision of :de:Günther Patzig, Günther Patzig in 1969 and her Habilitation, also from Göttingen in 1978. She taught philosophy at Göttingen from 1971–1986, and then was professor of philosophy at Columbia University from 1986–1989, and then at Harvard from 1989–1997. In 1997, she became the sixth Laurence Professor of Ancient Philosophy at the University of Cambridge, England, serving until 2000, when she returned to Harvard. She expressed frustration with the ancient philosophy program at Harvard. Philosophical work Striker specializes in ancient philosophy, teaching Plato and Aristotle, as well as earlier and later Ancient Greece, Greek ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arabic
Arabic (, , or , ) is a Central Semitic languages, Central Semitic language of the Afroasiatic languages, Afroasiatic language family spoken primarily in the Arab world. The International Organization for Standardization (ISO) assigns language codes to 32 varieties of Arabic, including its standard form of Literary Arabic, known as Modern Standard Arabic, which is derived from Classical Arabic. This distinction exists primarily among Western linguists; Arabic speakers themselves generally do not distinguish between Modern Standard Arabic and Classical Arabic, but rather refer to both as ( "the eloquent Arabic") or simply ' (). Arabic is the List of languages by the number of countries in which they are recognized as an official language, third most widespread official language after English and French, one of six official languages of the United Nations, and the Sacred language, liturgical language of Islam. Arabic is widely taught in schools and universities around the wo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Persian Language
Persian ( ), also known by its endonym and exonym, endonym Farsi (, Fārsī ), is a Western Iranian languages, Western Iranian language belonging to the Iranian languages, Iranian branch of the Indo-Iranian languages, Indo-Iranian subdivision of the Indo-European languages. Persian is a pluricentric language predominantly spoken and used officially within Iran, Afghanistan, and Tajikistan in three mutual intelligibility, mutually intelligible standard language, standard varieties, respectively Iranian Persian (officially known as ''Persian''), Dari, Dari Persian (officially known as ''Dari'' since 1964), and Tajik language, Tajiki Persian (officially known as ''Tajik'' since 1999).Siddikzoda, S. "Tajik Language: Farsi or not Farsi?" in ''Media Insight Central Asia #27'', August 2002. It is also spoken natively in the Tajik variety by a significant population within Uzbekistan, as well as within other regions with a Persianate society, Persianate history in the cultural sphere o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Portuguese Language
Portuguese ( or ) is a Western Romance language of the Indo-European language family originating from the Iberian Peninsula of Europe. It is the official language of Angola, Brazil, Cape Verde, Guinea-Bissau, Mozambique, Portugal and São Tomé and Príncipe, and has co-official language status in East Timor, Equatorial Guinea and Macau. Portuguese-speaking people or nations are known as Lusophone (). As the result of expansion during colonial times, a cultural presence of Portuguese speakers is also found around the world. Portuguese is part of the Iberian Romance languages, Ibero-Romance group that evolved from several dialects of Vulgar Latin in the medieval Kingdom of Galicia and the County of Portugal, and has kept some Gallaecian language, Celtic phonology. With approximately 250 million native speakers and 17 million second language speakers, Portuguese has approximately 267 million total speakers. It is usually listed as the List of languages by number of native speaker ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Spanish Language
Spanish () or Castilian () is a Romance languages, Romance language of the Indo-European languages, Indo-European language family that evolved from the Vulgar Latin spoken on the Iberian Peninsula of Europe. Today, it is a world language, global language with 483 million native speakers, mainly in the Americas and Spain, and about 558 million speakers total, including second-language speakers. Spanish is the official language of List of countries where Spanish is an official language, 20 countries, as well as one of the Official languages of the United Nations, six official languages of the United Nations. Spanish is the world's list of languages by number of native speakers, second-most spoken native language after Mandarin Chinese; the world's list of languages by total number of speakers, fourth-most spoken language overall after English language, English, Mandarin Chinese, and Hindustani language, Hindustani (Hindi-Urdu); and the world's most widely spoken Romance language ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Model Theory
In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mathematical logic), mathematical structure), and their Structure (mathematical logic), models (those Structure (mathematical logic), structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be definable set, defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shel ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Proof Theory
Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. Some of the major areas of proof theory include structural proof theory, ordinal analysis, provability logic, reverse mathematics, proof mining, automated theorem proving, and proof complexity. Much research also ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |