41 relations: Alfred Tarski, Biuro Szyfrów, Cipher, Denis Miéville, First-order logic, Formal system, Hans Cornelius, Interwar period, Invasion of Poland, Irkutsk, Ivor Grattan-Guinness, Jan Łukasiewicz, Kazimierz Twardowski, Logic, Ludwig Maximilian University of Munich, Lwów–Warsaw school, Mathematical logic, Mathematician, Mathematics, Mereology, Metaphysics, Nachlass, Nominalism, Ontology, Philosopher, Poland, Polish–Soviet War, Reism, Russell's paradox, Russian Empire, Russian Soviet Federative Socialist Republic, Second Polish Republic, Serpukhov, Set theory, Staff (military), Studia Logica, University of Lviv, University of Warsaw, V. Frederick Rickey, Wacław Sierpiński, Warsaw.

## Alfred Tarski

Alfred Tarski (January 14, 1901 – October 26, 1983), born Alfred Teitelbaum,School of Mathematics and Statistics, University of St Andrews,, School of Mathematics and Statistics, University of St Andrews.

New!!: Stanisław Leśniewski and Alfred Tarski · See more »

## Biuro Szyfrów

The Biuro Szyfrów (Polish for "Cipher Bureau") was the interwar Polish General Staff's Second Department's unit charged with SIGINT and both cryptography (the use of ciphers and codes) and cryptanalysis (the study of ciphers and codes, for the purpose of "breaking" them).

New!!: Stanisław Leśniewski and Biuro Szyfrów · See more »

## Cipher

In cryptography, a cipher (or cypher) is an algorithm for performing encryption or decryption—a series of well-defined steps that can be followed as a procedure.

New!!: Stanisław Leśniewski and Cipher · See more »

## Denis Miéville

Denis Miéville is an expert on the logic of Stanislaw Lesniewski and natural logic.

New!!: Stanisław Leśniewski and Denis Miéville · See more »

## First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Stanisław Leśniewski and First-order logic · See more »

## Formal system

A formal system is the name of a logic system usually defined in the mathematical way.

New!!: Stanisław Leśniewski and Formal system · See more »

## Hans Cornelius

Johannes Wilhelm Cornelius (September 27, 1863 – August 23, 1947) was a German neo-Kantian philosopher.

New!!: Stanisław Leśniewski and Hans Cornelius · See more »

## Interwar period

In the context of the history of the 20th century, the interwar period was the period between the end of the First World War in November 1918 and the beginning of the Second World War in September 1939.

New!!: Stanisław Leśniewski and Interwar period · See more »

## Invasion of Poland

The Invasion of Poland, known in Poland as the September Campaign (Kampania wrześniowa) or the 1939 Defensive War (Wojna obronna 1939 roku), and in Germany as the Poland Campaign (Polenfeldzug) or Fall Weiss ("Case White"), was a joint invasion of Poland by Germany, the Soviet Union, the Free City of Danzig, and a small Slovak contingent that marked the beginning of World War II.

New!!: Stanisław Leśniewski and Invasion of Poland · See more »

## Irkutsk

Irkutsk (p) is a city and the administrative center of Irkutsk Oblast, Russia, and one of the largest cities in Siberia.

New!!: Stanisław Leśniewski and Irkutsk · See more »

## Ivor Grattan-Guinness

Ivor Owen Grattan-Guinness (23 June 1941 – 12 December 2014) was a historian of mathematics and logic.

New!!: Stanisław Leśniewski and Ivor Grattan-Guinness · See more »

## Jan Łukasiewicz

Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów, a city in the Galician kingdom of Austria-Hungary.

New!!: Stanisław Leśniewski and Jan Łukasiewicz · See more »

## Kazimierz Twardowski

Kazimierz Jerzy Skrzypna-Twardowski (20 October 1866 – 11 February 1938) was a Polish philosopher, logician, and rector of the Lviv University.

New!!: Stanisław Leśniewski and Kazimierz Twardowski · See more »

## Logic

Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.

New!!: Stanisław Leśniewski and Logic · See more »

## Ludwig Maximilian University of Munich

Ludwig Maximilian University of Munich (also referred to as LMU or the University of Munich, in German: Ludwig-Maximilians-Universität München) is a public research university located in Munich, Germany.

New!!: Stanisław Leśniewski and Ludwig Maximilian University of Munich · See more »

## Lwów–Warsaw school

The Lwów–Warsaw school (Szkoła lwowsko-warszawska) was a Polish school of thought founded by Kazimierz Twardowski in 1895 in Lwów.

New!!: Stanisław Leśniewski and Lwów–Warsaw school · See more »

## Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.

New!!: Stanisław Leśniewski and Mathematical logic · See more »

## Mathematician

A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.

New!!: Stanisław Leśniewski and Mathematician · See more »

## Mathematics

Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.

New!!: Stanisław Leśniewski and Mathematics · See more »

## Mereology

In philosophy and mathematical logic, mereology (from the Greek μέρος meros (root: μερε- mere-, "part") and the suffix -logy "study, discussion, science") is the study of parts and the wholes they form.

New!!: Stanisław Leśniewski and Mereology · See more »

## Metaphysics

Metaphysics is a branch of philosophy that explores the nature of being, existence, and reality.

New!!: Stanisław Leśniewski and Metaphysics · See more »

## Nachlass

Nachlass (older spelling Nachlaß) is a German word, used in academia to describe the collection of manuscripts, notes, correspondence, and so on left behind when a scholar dies.

New!!: Stanisław Leśniewski and Nachlass · See more »

## Nominalism

In metaphysics, nominalism is a philosophical view which denies the existence of universals and abstract objects, but affirms the existence of general or abstract terms and predicates.

New!!: Stanisław Leśniewski and Nominalism · See more »

## Ontology

Ontology (introduced in 1606) is the philosophical study of the nature of being, becoming, existence, or reality, as well as the basic categories of being and their relations.

New!!: Stanisław Leśniewski and Ontology · See more »

## Philosopher

A philosopher is someone who practices philosophy, which involves rational inquiry into areas that are outside either theology or science.

New!!: Stanisław Leśniewski and Philosopher · See more »

## Poland

Poland (Polska), officially the Republic of Poland (Rzeczpospolita Polska), is a country located in Central Europe.

New!!: Stanisław Leśniewski and Poland · See more »

## Polish–Soviet War

The Polish–Soviet War (February 1919 – March 1921) was fought by the Second Polish Republic, Ukrainian People's Republic and the proto-Soviet Union (Soviet Russia and Soviet Ukraine) for control of an area equivalent to today's western Ukraine and parts of modern Belarus.

New!!: Stanisław Leśniewski and Polish–Soviet War · See more »

## Reism

Reism or concretism is a philosophical theory of Tadeusz Kotarbiński, based on the ontology of Stanislaw Lesniewski, specifically, his "calculus of names".

New!!: Stanisław Leśniewski and Reism · See more »

## Russell's paradox

In the foundations of mathematics, Russell's paradox (also known as Russell's antinomy), discovered by Bertrand Russell in 1901, showed that some attempted formalizations of the naïve set theory created by Georg Cantor led to a contradiction.

New!!: Stanisław Leśniewski and Russell's paradox · See more »

## Russian Empire

The Russian Empire (Российская Империя) or Russia was an empire that existed across Eurasia and North America from 1721, following the end of the Great Northern War, until the Republic was proclaimed by the Provisional Government that took power after the February Revolution of 1917.

New!!: Stanisław Leśniewski and Russian Empire · See more »

## Russian Soviet Federative Socialist Republic

The Russian Soviet Federative Socialist Republic (Russian SFSR or RSFSR; Ru-Российская Советская Федеративная Социалистическая Республика.ogg), also unofficially known as the Russian Federation, Soviet Russia,Declaration of Rights of the laboring and exploited people, article I or Russia (rɐˈsʲijə; from the Ρωσία Rōsía — Rus'), was an independent state from 1917 to 1922, and afterwards the largest, most populous, and most economically developed union republic of the Soviet Union from 1922 to 1991 and then a sovereign part of the Soviet Union with priority of Russian laws over Union-level legislation in 1990 and 1991.

New!!: Stanisław Leśniewski and Russian Soviet Federative Socialist Republic · See more »

## Second Polish Republic

The Second Polish Republic, commonly known as interwar Poland, refers to the country of Poland between the First and Second World Wars (1918–1939).

New!!: Stanisław Leśniewski and Second Polish Republic · See more »

## Serpukhov

Serpukhov (p) is a city in Moscow Oblast, Russia, located at the confluence of the Oka and the Nara Rivers, south from Moscow on the Moscow—Simferopol highway.

New!!: Stanisław Leśniewski and Serpukhov · See more »

## Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Stanisław Leśniewski and Set theory · See more »

## Staff (military)

A military staff (often referred to as general staff, army staff, navy staff, or air staff within the individual services) is a group of officers, enlisted and civilian personnel that are responsible for the administrative, operational and logistical needs of its unit.

New!!: Stanisław Leśniewski and Staff (military) · See more »

## Studia Logica

Studia Logica is an international journal of mathematics and logic.

New!!: Stanisław Leśniewski and Studia Logica · See more »

## University of Lviv

The University of Lviv (Львівський університет, Uniwersytet Lwowski, Universität Lemberg, briefly known as the Theresianum in the early 19th-century), presently the Ivan Franko National University of Lviv (Львівський національний університет імені Івана Франка) is the oldest university foundation in Ukraine, dating from 1661 when the Polish King, John II Casimir, granted it its first royal charter.

New!!: Stanisław Leśniewski and University of Lviv · See more »

## University of Warsaw

The University of Warsaw (Uniwersytet Warszawski, Universitas Varsoviensis), established in 1816, is the largest university in Poland.

New!!: Stanisław Leśniewski and University of Warsaw · See more »

## V. Frederick Rickey

Vincent Frederick Rickey (born 17 December 1941) is an American logician and historian of mathematics.

New!!: Stanisław Leśniewski and V. Frederick Rickey · See more »

## Wacław Sierpiński

Wacław Franciszek Sierpiński (14 March 1882 – 21 October 1969) was a Polish mathematician.

New!!: Stanisław Leśniewski and Wacław Sierpiński · See more »

## Warsaw

Warsaw (Warszawa; see also other names) is the capital and largest city of Poland.

New!!: Stanisław Leśniewski and Warsaw · See more »

## Redirects here:

Stanislaw Lesniewski, Stanislaw Leśniewski.