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 (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.
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).
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.
Denis Miéville is an expert on the logic of Stanislaw Lesniewski and natural 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.
A formal system is the name of a logic system usually defined in the mathematical way.
Johannes Wilhelm Cornelius (September 27, 1863 – August 23, 1947) was a German neo-Kantian philosopher.
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.
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.
Irkutsk (p) is a city and the administrative center of Irkutsk Oblast, Russia, and one of the largest cities in Siberia.
Ivor Owen Grattan-Guinness (23 June 1941 – 12 December 2014) was a historian of mathematics and logic.
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.
Kazimierz Jerzy Skrzypna-Twardowski (20 October 1866 – 11 February 1938) was a Polish philosopher, logician, and rector of the Lviv University.
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.
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.
The Lwów–Warsaw school (Szkoła lwowsko-warszawska) was a Polish school of thought founded by Kazimierz Twardowski in 1895 in Lwów.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.
A mathematician is someone who uses an extensive knowledge of mathematics in his or her work, typically to solve mathematical problems.
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
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.
Metaphysics is a branch of philosophy that explores the nature of being, existence, and reality.
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.
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.
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.
A philosopher is someone who practices philosophy, which involves rational inquiry into areas that are outside either theology or science.
Poland (Polska), officially the Republic of Poland (Rzeczpospolita Polska), is a country located in Central Europe.
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.
Reism or concretism is a philosophical theory of Tadeusz Kotarbiński, based on the ontology of Stanislaw Lesniewski, specifically, his "calculus of names".
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.
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.
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.
The Second Polish Republic, commonly known as interwar Poland, refers to the country of Poland between the First and Second World Wars (1918–1939).
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.
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.
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.
Studia Logica is an international journal of mathematics and logic.
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.
The University of Warsaw (Uniwersytet Warszawski, Universitas Varsoviensis), established in 1816, is the largest university in Poland.
Vincent Frederick Rickey (born 17 December 1941) is an American logician and historian of mathematics.
Wacław Franciszek Sierpiński (14 March 1882 – 21 October 1969) was a Polish mathematician.
Warsaw (Warszawa; see also other names) is the capital and largest city of Poland.