|
Universal Logic
Universal Logic is an emerging interdisciplinary field involving logic, non-classical logic, categorical logic, set theory, foundation of logic, and the philosophy and history of logic. The goal of the field is to develop an understanding of the nature of different types of logic. The expression ''Universal logic'' was coined by analogy with the expression ''Universal algebra'' by Jean-Yves Béziau. The aim 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, and guided by the features of "unity, generality, abstraction, and undetermination". A number of approaches to universal logic in this sense have been proposed since the twentieth century, using model theoretic and categorical approaches. History and Development 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 and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
|
 |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
|
Joseph Goguen
__NOTOC__ Joseph Amadee Goguen ( ; June 28, 1941 – July 3, 2006) was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International. In the 1960s, along with Lotfi Zadeh, Goguen was one of the earliest researchers in fuzzy logic and made profound contributions to fuzzy set theory. In the 1970s Goguen's work was one of the earliest approaches to the algebraic characterisation of abstract data types and he originated and helped develop the OBJ family of programming languages. He was author of ''A Categorical Manifesto'' and founderBurstall R., "My friend Joseph Goguen", in ''Goguen Festschrift'', K. Futatsugi et al. (Eds.), Lecture Notes in Computer Science 4060, Springer, pp. 25–30 (2006). and Editor-in-Chief of the '' Journal of Consciousness Studies''. His development of institution theory impacted the field of universal logic. Standard implication in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
|
 |
Crete
Crete ( ; , Modern Greek, Modern: , Ancient Greek, Ancient: ) is the largest and most populous of the Greek islands, the List of islands by area, 88th largest island in the world and the List of islands in the Mediterranean#By area, fifth largest island in the Mediterranean Sea, after Sicily, Sardinia, Cyprus, and Corsica. Crete is located about south of the Peloponnese, 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 covers 260 km from west to east but is narrow from north to south, spanning three longitudes but only half a latitude. Crete and a number of islands and islets that surround it constitute the Region of Crete (), which is the southernmost of the 13 Modern regions of Greece, top-level administrative units of Greece, and the fifth most popu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
 |
Vichy, France
Vichy (, ; ) is a city in the central French department of Allier. Located on the Allier river, it is a major spa and resort town and during World War II was the capital of Vichy France. As of 2021, Vichy has a population of 25,789. Known for its mineral springs since the Roman times, Vichy had become a major destination for the French nobility and the wealthy by the late 18th century. The town developed further under the patronage of Napoleon III. Following the 1940 armistice, the pro-German collaborationist government headed by Philippe Pétain was set up at Vichy, which remained the de facto capital of the French rump state for the next four years. After the war, the city experienced a period of great prosperity but went into decline from the 1960s. 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 fro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
 |
Istanbul, Turkey
Istanbul is the largest city in Turkey, constituting the country's economic, cultural, and historical heart. With a population over , it is home to 18% of the population of Turkey. Istanbul is among the largest cities in Europe and in the world by population. It is a city on two continents; about two-thirds of its population live in Europe and the rest in Asia. Istanbul straddles the Bosphorus—one of the world's busiest waterways—in northwestern Turkey, between the Sea of Marmara and the Black Sea. Its area of is coterminous with Istanbul Province. Istanbul's climate is Mediterranean. The city now known as Istanbul developed to become one of the most significant cities in history. Byzantium was founded on the Sarayburnu promontory by Greek colonists, potentially in the seventh century BC. For nearly sixteen centuries following its reestablishment as Constantinople in 330 AD, it served as the capital of four empires: the Roman Empire (330–395), the Byzantine Emp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
 |
Rio De Janeiro, Brazil
Rio de Janeiro, or simply Rio, is the capital of the state of Rio de Janeiro. It is the second-most-populous city in Brazil (after São Paulo) and the sixth-most-populous city in the Americas. 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 John VI of Portugal, raised Brazil to the dignity of a kingdom, within the United Kingdom of Portugal, Brazil, and Algarves. Rio remained as the capital of the pluricontinental monarchy until 1822, when the Brazilian War of Independence began. This is one of the few instances in history that the capital of a colonizing country officially shifted to a city ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
 |
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (; ; 12 January 1929 – 12 August 2015) was a Finnish philosopher and logician. Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic. 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 scienc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
 |
Lisbon, Portugal
Lisbon ( ; ) is the capital and largest city of Portugal, with an estimated population of 567,131, as of 2023, within its administrative limits and 3,028,000 within the Lisbon Metropolitan Area, metropolis, as of 2025. Lisbon is mainland Europe's westernmost capital city (second overall after Reykjavík, Reykjavik), and the only one along the Atlantic coast, the others (Reykjavik and Dublin) being on islands. The city lies in the western portion of the Iberian Peninsula, on the northern shore of the River Tagus. The western portion of its metro area, the Portuguese Riviera, hosts the westernmost point of Continental Europe, culminating at Cabo da Roca. Lisbon is one of the List of oldest continuously inhabited cities, oldest cities in the world and the second-oldest European capital city (after Athens), predating other modern European capitals by centuries. Settled by pre-Celtic tribes and later founded and civilized by the Phoenicians, Julius Caesar made it a municipium ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
 |
Xi'an, China
Xi'an is the list of capitals in China, capital of the Chinese province of Shaanxi. 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 Northwestern China. Its total population was 12.95 million as of the 2020 census, including an urban population of 9.28 million. Known as Chang'an throughout much of its history, Xi'an is one of China's Historical capitals of China, Four Great Ancient Capitals, having held the position under several of the most important dynasties in Chinese history, including the Western Zhou, Qin dynasty, Qin, Western Han, Sui dynasty, Sui, Northern Zhou and Tang dynasty, Tang. Xi'an is now the second-most popular tourist destination in China. The city was one of the terminal points on the Silk Road during the ancient and medieval eras, as well as the home of the 3rd-century BC Terracotta Army commissioned by Emperor Qin Shi Huan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
 |
Saul Kripke
Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American analytic philosophy, analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical logic, mathematical and modal logic, philosophy of language and philosophy of mathematics, mathematics, metaphysics, epistemology, and recursion theory. 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 and Scientific essentialism, essentialism after the decline of logical positivism, claiming Metaphysical necessity, necessity is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
|
David Makinson
David Clement Makinson (born 27 August 1941) is an Australian logician living in France. Career Makinson began his studies at the University of Sydney in 1958 and completed them at Oxford University in 1965, with a D.Phil on modal logic under Michael Dummett. He worked in the American University of Beirut (1965-1982), UNESC0 (1980-2001), King’s College London (2002-2006), the London School of Economics (LSE) (2006-2019), and currently holds a position of Honorary Associate Professor at the University of Queensland. Contributions David Makinson works across a number of areas of logic, including modal logic, deontic logic, belief revision, uncertain reasoning, relevance-sensitive logic and, more recently, topics in the history of logic. Among his contributions: in 1965, as a graduate student, he identified the preface paradox and adapted the method of maximal consistent sets for proving completeness results in modal logic; in 1969 he discovered the first simple and natural p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |
|
|
Dov Gabbay
Dov M. Gabbay (, ; born October 26, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. Work Gabbay has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international journals, and of many reference works and handbooks of logic, including the ''Handbook of Philosophical Logic'' (with Franz Guenthner), the ''Handbook of Logic in Computer Science]'' (with Samson Abramsky and T. S. E. Maibaum), and the ''Handbook of Logic in Artificial Intelligence and Logic Programming'' (with C.J. Hogger and J.A. Robinson). He is well-known for pioneering work on logic in computer science and artificial intelligence, especially the application of (executable) temporal logics in computer science, in particular formal verification, the logical foundations of non-monotonic reasoning and artificial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] [Amazon] |