|
John Corcoran (logician)
John Corcoran ( ; 20 March 1937 - 8 January 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 foundational for lo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Baltimore
Baltimore ( , locally: or ) is the most populous city in the U.S. state of Maryland, fourth most populous city in the Mid-Atlantic, and the 30th most populous city in the United States with a population of 585,708 in 2020. Baltimore was designated an independent city by the Constitution of Maryland in 1851, and today is the most populous independent city in the United States. As of 2021, the population of the Baltimore metropolitan area was estimated to be 2,838,327, making it the 20th largest metropolitan area in the country. Baltimore is located about north northeast of Washington, D.C., making it a principal city in the Washington–Baltimore combined statistical area (CSA), the third-largest CSA in the nation, with a 2021 estimated population of 9,946,526. Prior to European colonization, the Baltimore region was used as hunting grounds by the Susquehannock Native Americans, who were primarily settled further northwest than where the city was later built. Colonist ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosopher
A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek thinker Pythagoras (6th century BCE).. In the Classics, classical sense, a philosopher was someone who lived according to a certain way of life, focusing upon resolving Meaning of life, existential questions about the human condition; it was not necessary that they discoursed upon Theory, theories or commented upon authors. Those who most arduously committed themselves to this lifestyle would have been considered ''philosophers''. In a modern sense, a philosopher is an intellectual who contributes to one or more branches of philosophy, such as aesthetics, ethics, epistemology, philosophy of science, logic, metaphysics, social theory, philosophy of religion, and political philosophy. A philosopher may also be someone who has worked in the hum ... [...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. Members of the site each have a user profile and can upload research output including papers, data, chapters, negative results, patents, research proposals, methods, presentations, and software source code. Users may also follow the activities of other users and engage in discussions with th ... [...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 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 Greek and Roman authors. She has written ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arabic
Arabic (, ' ; , ' or ) is a Semitic languages, Semitic language spoken primarily across the Arab world.Semitic languages: an international handbook / edited by Stefan Weninger; in collaboration with Geoffrey Khan, Michael P. Streck, Janet C. E.Watson; Walter de Gruyter GmbH & Co. KG, Berlin/Boston, 2011. Having emerged in the 1st century, it is named after the Arabs, Arab people; the term "Arab" was initially used to describe those living in the Arabian Peninsula, as perceived by geographers from ancient Greece. Since the 7th century, Arabic has been characterized by diglossia, with an opposition between a standard Prestige (sociolinguistics), prestige language—i.e., Literary Arabic: Modern Standard Arabic (MSA) or Classical Arabic—and diverse vernacular varieties, which serve as First language, mother tongues. Colloquial dialects vary significantly from MSA, impeding mutual intelligibility. MSA is only acquired through formal education and is not spoken natively. It is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Persian Language
Persian (), also known by its endonym Farsi (, ', ), is a Western Iranian language belonging to the Iranian branch of the 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 mutually intelligible standard varieties, namely Iranian Persian (officially known as ''Persian''), Dari Persian (officially known as ''Dari'' since 1964) and 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 history in the cultural sphere of Greater Iran. It is written officially within Iran and Afghanistan in the Persian alphabet, a derivation of the Arabic script, and within Tajikistan in the Tajik alphabet, a der ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Portuguese Language
Portuguese ( or, in full, ) is a western Romance language of the Indo-European language family, originating in the Iberian Peninsula of Europe. It is an official language of Portugal, Brazil, Cape Verde, Angola, Mozambique, Guinea-Bissau and São Tomé and Príncipe, while having co-official language status in East Timor, Equatorial Guinea, and Macau. A Portuguese-speaking person or nation is referred to 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 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 Celtic phonology in its lexicon. With approximately 250 million native speakers and 24 million L2 (second language) speakers, Portuguese has approximately 274 million total speakers. It is usually listed as the sixth-most spoken language, the third-most sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spanish Language
Spanish ( or , Castilian) is a Romance languages, Romance language of the Indo-European language family that evolved from colloquial Latin spoken on the Iberian peninsula. Today, it is a world language, global language with more than 500 million native speakers, mainly in the Americas and Spain. Spanish is the official language of List of countries where Spanish is an official language, 20 countries. It 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 languages, Romance language. The largest population of native speakers is in Mexico. Spanish is part of the Iberian Romance languages, Ibero-Romance group of languages, which evolved from several dialects of Vulgar Latin in I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those 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 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 Shelah's stability theory. Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof Theory
Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four corresponding parts, with part D being about "Proof Theory and Constructive Mathematics". of mathematical logic that represents Mathematical proof, proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as Recursive data type, inductively-defined data structures such as list (computer science), lists, boxed lists, or Tree (data structure), trees, which are constructed according to the axioms and rule of inference, rules of inference of the logical system. Consequently, proof theory is syntax (logic), syntactic in nature, in contrast to model theory, which is Formal semantics (logic), semantic in nature. Some of the major areas of proof theory include structural proof theory, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Condition (philosophy)
In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If then ", is necessary for , because the truth of is guaranteed by the truth of (equivalently, it is impossible to have without ). Similarly, is sufficient for , because being true always implies that is true, but not being true does not always imply that is not true. In general, a necessary condition is one that must be present in order for another condition to occur, while a sufficient condition is one that produces the said condition. The assertion that a statement is a "necessary ''and'' sufficient" condition of another means that the former statement is true if and only if the latter is true. That is, the two statements must be either simultaneously true, or simultaneously false. In ordinary English (also natural language) "necessary" and "sufficient" indicate relations betw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
