|
Stanisław Leśniewski
Stanisław Leśniewski (; 30 March 1886 – 13 May 1939) was a Polish mathematician, philosopher and logician. A professor of mathematics at the University of Warsaw, he was a leading representative of the Lwów–Warsaw School of Logic and is known for coining and introducing the concept of mereology as part of a comprehensive framework for logic and mathematics. Life Leśniewski 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 th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serpukhov
Serpukhov ( rus, Серпухов, p=ˈsʲerpʊxəf) is a types of inhabited localities in Russia, city in Moscow Oblast, Russia, located at the confluence of the Oka River, Oka and the Nara (Oka), Nara Rivers, 99 kilometers (62 miles) south from Moscow and 72 kilometers (45 miles) from Moscow Ring Road on the Moscow—Simferopol highway. The Moscow—Tula, Russia, Tula railway passes through Serpukhov. Serpukhov is at the centre of the Serpukhov Urban District which in turn lies at the heart 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 municipality of the city district of Serpukhov. In the modern era, Serpukhov became a local industrial center with textile, m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trans-Siberian Railway
The Trans-Siberian Railway, historically known as the Great Siberian Route and often shortened to Transsib, is a large railway system that connects European Russia to the Russian Far East. Spanning a length of over , it is the longest railway line in the world. It runs from the city of Moscow in the west to the city of Vladivostok in the east. During the period of the Russian Empire, government ministers—personally appointed by Alexander III and his son Nicholas II—supervised the building of the railway network between 1891 and 1916. Even before its completion, the line attracted travelers who documented their experiences. Since 1916, the Trans-Siberian Railway has directly connected Moscow with Vladivostok. , expansion projects remain underway, with connections being built to Russia's neighbors Mongolia, China, and North Korea. Additionally, there have been proposals and talks to expand the network to Tokyo, Japan, with new bridges or tunnels that would connect the main ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nominalist
In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are two main versions of nominalism. One denies the existence of universals—that which can be instantiated or exemplified by many particular things (e.g., strength, humanity). The other version specifically denies the existence of abstract objects ''as such''—objects that do not exist in space and time. Most nominalists have held that only physical particulars in space and time are real, and that universals exist only ''post res'', that is, subsequent to particular things. However, some versions of nominalism hold that some particulars are abstract entities (e.g., numbers), whilst others are concrete entities – entities that do exist in space and time (e.g., pillars, snakes, and bananas). Nominalism is primarily a position on the problem of universals. It is opposed to realist philosophies, such as Platonic realism, which asser ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First-order Logic
First-order logic, also called predicate logic, predicate calculus, or quantificational logic, 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. Rather than propositions such as "all humans are mortal", in first-order logic one can have expressions in the form "for all ''x'', if ''x'' is a human, then ''x'' is mortal", where "for all ''x"'' is a quantifier, ''x'' is a variable, and "... ''is a human''" and "... ''is mortal''" are predicates. 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, such as set theory, a theory for groups,A. Tarski, ''Undecidable Theories'' (1953), p. 77. Studies in Logic and the Foundation of Mathematics, North-Holland or a formal theory o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Simons (academic)
Peter Murray Simons, (born 23 March 1950) is a British retired philosopher and academic. From 2009 to 2016, he was Professor of Moral Philosophy at Trinity College Dublin; he is now professor emeritus. 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 ap ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of human understanding. Some philosophers, including Aristotle, designate metaphysics as first philosophy to suggest that it is more fundamental than other forms of philosophical inquiry. Metaphysics encompasses a wide range of general and abstract topics. It investigates the nature of existence, the features all entities have in common, and their division into categories of being. An influential division is between particulars and universals. Particulars are individual unique entities, like a specific apple. Universals are general features that different particulars have in common, like the color . Modal metaphysics examines what it means for something to be possible or necessary. Metaphysicians also explore the concepts of space, time, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology
Ontology is the philosophical study of existence, being. It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality. As one of the most fundamental concepts, being encompasses all of reality and every entity within it. To articulate the basic structure of being, ontology examines the commonalities among all things and investigates their classification into basic types, such as the Theory of categories, categories of particulars and Universal (metaphysics), universals. Particulars are unique, non-repeatable entities, such as the person Socrates, whereas universals are general, repeatable entities, like the color ''green''. Another distinction exists between Abstract and concrete, concrete objects existing in space and time, such as a tree, and abstract objects existing outside space and time, like the number 7. Systems of categories aim to provide a comprehensive inventory of reality by employing categories such as Substance t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal System
A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms. In 1921, David Hilbert proposed to use formal systems as the foundation of knowledge in mathematics. 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. Concepts A formal system has the following: * Formal language, which is a set of well-formed formulas, which are strings of symbols from an alphabet, formed by a formal grammar (consisting of production rules or formation rules). * Deductive system, deductive apparatus, or proof system, which has rules of inference that take axioms and infers theorems, both of which are part of the formal language. A formal system is said to be recursive (i.e. effective) or recursively enumerable if the set of axioms and the set of inference rules are decidable ... [...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 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] |
Interbellum
In the history of the 20th century, the interwar period, also known as the interbellum (), lasted from 11 November 1918 to 1 September 1939 (20 years, 9 months, 21 days) – from the end of World War I (WWI) to the beginning of World War II (WWII). It was relatively short, yet featured many social, political, military, and economic changes throughout the world. Petroleum-based energy production and associated mechanisation led to the prosperous Roaring Twenties, a time of social and economic mobility for the middle class. Automobiles, electric lighting, radio, and more became common among populations in the first world. The era's indulgences 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 WWI, and ended with the rise of fascism, particularly ... [...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 Lwów in Austria-Hungary (now Lviv, Ukr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wacław Sierpiński
Wacław Franciszek Sierpiński (; 14 March 1882 – 21 October 1969) was a Polish mathematician. He was known for contributions to set theory (research on the axiom of choice and the continuum hypothesis), number theory, theory of functions, and topology. He published over 700 papers and 50 books. Three well-known fractals are named after him (the Sierpiński triangle, the Sierpiński carpet, and the Sierpiński curve), as are Sierpiński numbers and the associated Sierpiński problem. Early life and education Sierpiński was born in 1882 in Warsaw, Congress Poland, to a doctor father Konstanty and mother Ludwika (''née'' Łapińska). His abilities in mathematics were evident from childhood. He enrolled in the Department of Mathematics and Physics at the University of Warsaw in 1899 and graduated five years later. In 1903, while still at the University of Warsaw, the Department of Mathematics and Physics offered a prize for the best essay from a student on Vorono ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
