|
Universal Logic
Originally the expression ''Universal logic'' was coined by analogy with the expression ''Universal algebra''. The first idea was to develop Universal logic as a field of logic that studies the features common to all logical systems, aiming to be to logic what Universal algebra is to algebra. A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic, and categorical approaches. But then the Univeral Logic Project developed as a general universal logic project including this mathematical project but also many other logical activities (Congresses, Journals, Books Series, Encyclopedia, Logic Prizes, Webinar, YouTube Channel). Development of Universal Logic as a General Theory of Logical Systems The roots of universal logic as general theory of logical systems, may go as far back as some work of Alfred Tarski in the early twentieth century, but the modern notion was first presented in the 1990s by Swiss logician J ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rod Burstall
Rodney Martineau "Rod" Burstall FRSE (born 1934) is a British computer scientist and one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the University of Cambridge, then an M.Sc. in operational research at Birmingham University. He worked for three years before returning to Birmingham University to earn a Ph.D. in 1966 with thesis titled ''Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications'' under the supervision of N. A. Dudley and K. B. Haley. Burstall was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is known for his work with Robin Popplestone on POP, an innovative programming language developed at Edinburgh around 1970, and later work with John Darlington on NPL and program transformation and with David MacQueen and Don Sannella on Hope, a precursor to Standard ML, Miranda, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Editor-in-chief
An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing editor, or executive editor, but where these titles are held while someone else is editor-in-chief, the editor-in-chief outranks the others. Description The editor-in-chief heads all departments of the organization and is held accountable for delegating tasks to staff members and managing them. The term is often used at newspapers, magazines, yearbooks, and television news programs. The editor-in-chief is commonly the link between the publisher or proprietor and the editorial staff. The term is also applied to academic journals, where the editor-in-chief gives the ultimate decision whether a submitted manuscript will be published. This decision is made by the editor-in-chief after seeking input from reviewers selected on the basis of re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Crete
Crete ( el, Κρήτη, translit=, Modern: , Ancient: ) is the largest and most populous of the Greek islands, the 88th largest island in the world and the fifth largest island in the Mediterranean Sea, after Sicily, Sardinia, Cyprus, and Corsica. Crete rests about south of the Greek mainland, and about southwest of Anatolia. Crete has an area of and a coastline of 1,046 km (650 mi). It bounds the southern border of the Aegean Sea, with the Sea of Crete (or North Cretan Sea) to the north and the Libyan Sea (or South Cretan Sea) to the south. Crete and a number of islands and islets that surround it constitute the Region of Crete ( el, Περιφέρεια Κρήτης, links=no), which is the southernmost of the 13 top-level administrative units of Greece, and the fifth most populous of Greece's regions. Its capital and largest city is Heraklion, on the north shore of the island. , the region had a population of 636,504. The Dodecanese are located to the no ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vichy, France
Vichy (, ; ; oc, Vichèi, link=no, ) is a city in the Allier department in the Auvergne-Rhône-Alpes region of central France, in the historic province of Bourbonnais. It is a spa and resort town and in World War II was the capital of Vichy France from 1940 to 1944. The term ''Vichyste'' indicated collaboration with the Vichy regime, often carrying a pejorative connotation. In 2021, the town became part of the transnational UNESCO World Heritage Site under the name "Great Spa Towns of Europe" because of its famous baths and its architectural testimony to the popularity of spa towns in Europe from the 18th through 20th centuries. Name Vichy is the French form of the Occitan name of the town, ', of uncertain etymology. Dauzat & al. have proposed that it derived from an unattested Latin name (') referencing the most important regional landowner (presumably a "Vippius") during the time of the Roman emperor Diocletian's administrative reorganizations and land surveys at the en ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Istanbul, Turkey
Istanbul ( , ; tr, İstanbul ), formerly known as Constantinople ( grc-gre, Κωνσταντινούπολις; la, Constantinopolis), is the List of largest cities and towns in Turkey, largest city in Turkey, serving as the country's economic, cultural and historic hub. The city straddles the Bosporus strait, lying in both Europe and Asia, and has a population of over 15 million residents, comprising 19% of the population of Turkey. Istanbul is the list of European cities by population within city limits, most populous European city, and the world's List of largest cities, 15th-largest city. The city was founded as Byzantium ( grc-gre, Βυζάντιον, ) in the 7th century BCE by Ancient Greece, Greek settlers from Megara. In 330 CE, the Roman emperor Constantine the Great made it his imperial capital, renaming it first as New Rome ( grc-gre, Νέα Ῥώμη, ; la, Nova Roma) and then as Constantinople () after himself. The city grew in size and influence, eventually becom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rio De Janeiro, Brazil
Rio de Janeiro ( , , ; literally 'River of January'), or simply Rio, is the capital of the state of the same name, Brazil's third-most populous state, and the second-most populous city in Brazil, after São Paulo. Listed by the GaWC as a beta global city, Rio de Janeiro is the sixth-most populous city in the Americas. Part of the city has been designated as a World Heritage Site, named "Rio de Janeiro: Carioca Landscapes between the Mountain and the Sea", on 1 July 2012 as a Cultural Landscape. Founded in 1565 by the Portuguese, the city was initially the seat of the Captaincy of Rio de Janeiro, a domain of the Portuguese Empire. In 1763, it became the capital of the State of Brazil, a state of the Portuguese Empire. In 1808, when the Portuguese Royal Court moved to Brazil, Rio de Janeiro became the seat of the court of Queen Maria I of Portugal. She subsequently, under the leadership of her son the prince regent João VI of Portugal, raised Brazil to the dignity of a k ... [...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] |
Lisbon, Portugal
Lisbon (; pt, Lisboa ) is the capital and largest city of Portugal, with an estimated population of 544,851 within its administrative limits in an area of 100.05 km2. Lisbon's urban area extends beyond the city's administrative limits with a population of around 2.7 million people, being the 11th-most populous urban area in the European Union.Demographia: World Urban Areas - demographia.com, 06.2021 About 3 million people live in the , making it the third largest metropolitan area in the , aft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Xi'an, China
Xi'an ( , ; ; Chinese: ), frequently spelled as Xian and also known by other names, is the capital of Shaanxi Province. A sub-provincial city on the Guanzhong Plain, the city is the third most populous city in Western China, after Chongqing and Chengdu, as well as the most populous city in Northwest China. Its total population was 12,952,907 as of the 2020 census. The total urban population was 9.28 million. Since the 1980s, as part of the economic growth of inland China especially for the central and northwest regions, Xi'an has re-emerged as a cultural, industrial, political and educational centre of the entire central-northwest region, with many facilities for research and development. Xi'an currently holds sub-provincial status, administering 11 districts and 2 counties. In 2020, Xi'an was ranked as a Beta- (global second tier) city by the Globalization and World Cities Research Network, and, according to the country's own ranking, ranked 17th. Xi'an is also one of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saul Kripke
Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American philosopher and logician in the analytic tradition. He was a Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Since the 1960s, Kripke has been a central figure in a number of fields related to mathematical logic, modal logic, philosophy of language, philosophy of mathematics, metaphysics, epistemology, and recursion theory. Much of his work remains unpublished or exists only as tape recordings and privately circulated manuscripts. Kripke made influential and original contributions to logic, especially modal logic. His principal contribution is a semantics for modal logic involving possible worlds, now called Kripke semantics. He received the 2001 Schock Prize in Logic and Philosophy. Kripke was also partly responsible for the revival of metaphysics after the decline of logical positivism, claiming necessity i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Makinson
David Clement Makinson (born 27 August 1941), is an Australians, Australian mathematical logician living in London, England. Career Makinson began his studies at University of Sydney, Sydney University in 1958 and was an associate of the Libertarianism, Libertarian Society and Sydney Push. He is a Visiting Professor in the London School of Economics, University of London, and an associate member of the Centre de Recherche en Epistémologie Appliquée (CREA), École Polytechnique, Paris. He has held professorial rank positions in King's College London, University of London and in the American University of Beirut, Lebanon. From 1980 till 2001 he worked for UNESCO, Paris. Contributions David Makinson is highly regarded for his work on belief revision, Inference#Inference and uncertainty, uncertain reasoning, and modal logic. While studying in Oxford University (Worcester College) for his Doctor of Philosophy, D.Phil under the supervision of Michael Dummett, he identified the p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
