|
Stanisław Leśniewski
Stanisław Leśniewski (30 March 1886 – 13 May 1939) was a Polish mathematician, philosopher and logician. Life He was born on 28 March 1886 at Serpukhov, near Moscow, to father Izydor, an engineer working on the construction of the Trans-Siberian Railway, and mother Helena (''née'' Palczewska). Leśniewski went to a high school in Irkutsk. Later he attended lectures by Hans Cornelius at the Ludwig Maximilian University of Munich and lectures by Wacław Sierpiński at Lviv University. Leśniewski belonged to the first generation of the Lwów–Warsaw School of logic founded by Kazimierz Twardowski. Together with Alfred Tarski and Jan Łukasiewicz, he formed a trio which made the University of Warsaw, during the interbellum, perhaps the most important research center in the world for formal logic. His main contribution was the construction of three nested formal systems, to which he gave the Greek-derived names of protothetic, ontology, and mereology. ("Calculus of names" i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serpukhov
Serpukhov ( rus, Серпухов, p=ˈsʲɛrpʊxəf) is a city in Moscow Oblast, Russia, located at the confluence of the Oka and the Nara Rivers, south from Moscow ( from Moscow Ring Road) on the Moscow—Simferopol highway. The Moscow— Tula railway passes through Serpukhov. Serpukhov is the center of the with a population of more than 260,000 inhabitants. In the 14th and early 15th centuries, Serpukhov was the capital of the principality. It was allocated to an independent administrative and economic unit with direct subordination to the executive committee of the regional council on September 14, 1939. Now a city of regional subordination, it is part of the municipal education of the city district of Serpukhov. In the modern era, Serpukhov has become a local industrial center with textile, mechanical engineering, furniture, and paper-producing industries. The SeAZ factory produces the Lada Oka microcar since the 1980s. The Prioksko-Terrasny Nature Reserve sprawls wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irkutsk
Irkutsk ( ; rus, Иркутск, p=ɪrˈkutsk; Buryat language, Buryat and mn, Эрхүү, ''Erhüü'', ) is the largest city and administrative center of Irkutsk Oblast, Russia. With a population of 617,473 as of the 2010 Census, Irkutsk is the List of cities and towns in Russia by population, 25th-largest city in Russia by population, the fifth-largest in the Siberian Federal District, and one of the largest types of inhabited localities in Russia, cities in Siberia. Located in the south of the eponymous oblast, the city proper lies on the Angara River, a tributary of the Yenisei River, Yenisei, about 850 kilometres (530 mi) to the south-east of Krasnoyarsk and about 520 kilometres (320 mi) north of Ulaanbaatar. The Trans-Siberian Highway (Federal M53 and M55 Highways) and Trans-Siberian Railway connect Irkutsk to other regions in Russia and Mongolia. Many distinguished Russians were sent into exile in Irkutsk for their part in the Decembrist revolt of 1825, and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First-order Logic
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists''"'' is a quantifier, while ''x'' is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic. A theory about a topic is usually a first-order logic together with a specified domain of discourse (over which the quantified variables range), finitely many functions from that domain to itself, finitely many predicates defined on that domain, and a set of ax ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Simons (academic)
Peter M. Simons, (born 23 March 1950) is a British philosopher and a retired professor of philosophy at Trinity College Dublin. He is known for his work with Kevin Mulligan and Barry Smith on metaphysics and the history of Austrian philosophy. Since 2018 he is Visiting Professor at the University of Italian Switzerland. Biography Simons studied at the University of Manchester, and has held teaching posts at the University of Bolton, from which he holds an honorary doctorate, the University of Salzburg, where he is Honorary Professor of Philosophy, and the University of Leeds. He has been President of the European Society for Analytic Philosophy and is current director of the Franz Brentano Foundation. His research interests include metaphysics and ontology, the history of logic, the history of Central European Philosophy, particularly in Austria and Poland in the 19th and 20th centuries, and the application of metaphysics to engineering and other non-philosophical discipline ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysics
Metaphysics is the branch of philosophy that studies the fundamental nature of reality, the first principles of being, identity and change, space and time, causality, necessity, and possibility. It includes questions about the nature of consciousness and the relationship between mind and matter, between substance and attribute, and between potentiality and actuality. The word "metaphysics" comes from two Greek words that, together, literally mean "after or behind or among he study ofthe natural". It has been suggested that the term might have been coined by a first century CE editor who assembled various small selections of Aristotle's works into the treatise we now know by the name ''Metaphysics'' (μετὰ τὰ φυσικά, ''meta ta physika'', 'after the ''Physics'' ', another of Aristotle's works). Metaphysics studies questions related to what it is for something to exist and what types of existence there are. Metaphysics seeks to answer, in an abstract and fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mereology
In logic, philosophy and related fields, mereology ( (root: , ''mere-'', 'part') and the suffix ''-logy'', 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation between a set and its elements, mereology emphasizes the meronomic relation between entities, which—from a set-theoretic perspective—is closer to the concept of inclusion between sets. Mereology has been explored in various ways as applications of predicate logic to formal ontology, in each of which mereology is an important part. Each of these fields provides its own axiomatic definition of mereology. A common element of such axiomatizations is the assumption, shared with inclusion, that the part-whole relation orders its universe, meaning that everything is a part of itself ( reflexivity), that a part of a part of a whole is itself a part of that whole ( transitivity), and that two distinct entities cannot each be a part of the othe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality. Ontology addresses questions like how entities are grouped into categories and which of these entities exist on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how they ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal System
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined abstraction, system of abstract thought. The term ''formalism'' is sometimes a rough synonym for ''formal system'', but it also refers to a given style of notation, for example, Paul Dirac's bra–ket notation. Background Each formal system is described by primitive Symbol (formal), symbols (which collectively form an Alphabet (computer science), alphabet) to finitely construct a formal language from a set of axioms through inferential rules of formation. The system thus consists of valid formulas built up through finite combinations of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal 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 under ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interbellum
In the history of the 20th century, the interwar period lasted from 11 November 1918 to 1 September 1939 (20 years, 9 months, 21 days), the end of the First World War to the beginning of the Second World War. The interwar period was relatively short, yet featured many significant social, political, and economic changes throughout the world. Petroleum-based energy production and associated mechanisation led to the prosperous Roaring Twenties, a time of both social mobility and economic mobility for the middle class. Automobiles, electric lighting, radio, and more became common among populations in the developed world. The indulgences of the era subsequently were followed by the Great Depression, an unprecedented worldwide economic downturn that severely damaged many of the world's largest economies. Politically, the era coincided with the rise of communism, starting in Russia with the October Revolution and Russian Civil War, at the end of World War I, and ended with the rise ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jan Łukasiewicz
Jan Łukasiewicz (; 21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic His work centred on philosophical logic, mathematical logic and history of logic. He thought innovatively about traditional propositional logic, the principle of non-contradiction and the law of excluded middle, offering one of the earliest systems of many-valued logic. Contemporary research on Aristotelian logic also builds on innovative works by Łukasiewicz, which applied methods from modern logic to the formalization of Aristotle's syllogistic. The Łukasiewicz approach was reinvigorated in the early 1970s in a series of papers by John Corcoran and Timothy Smiley that inform modern translations of ''Prior Analytics'' by Robin Smith in 1989 and Gisela Striker in 2009. Łukasiewicz is regarded as one of the most important historians of logic. Life He was born in Lemberg in Austria-Hungary (now Lviv, Ukraine; pl, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Serpukhov")
