|
Studia Logica
''Studia Logica'' (full name: Studia Logica, An International Journal for Symbolic Logic), is a scienific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all scientific disciplines; the key criterion for published papers is not their topic but their method: they are required to contain significant and original results concerning formal systems and their properties. The journal offers papers on topics in general logic and on applications of logic to methodology of science, linguistics, philosophy, and other branches of knowledge. The journal is published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer publications. History The name Studia Logica appeared for the first time in 1934, but only one volume (edited by Jan Łukasiewicz) has been published that time. It had been published continuously since December 1953 in changing frequency by the Polish Acade ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polish Academy Of Sciences
The Polish Academy of Sciences ( pl, Polska Akademia Nauk, PAN) is a Polish state-sponsored institution of higher learning. Headquartered in Warsaw, it is responsible for spearheading the development of science across the country by a society of distinguished scholars and a network of research institutes. It was established in 1951, during the early period of the Polish People's Republic following World War II. History The Polish Academy of Sciences is a Polish state-sponsored institution of higher learning, headquartered in Warsaw, that was established by the merger of earlier science societies, including the Polish Academy of Learning (''Polska Akademia Umiejętności'', abbreviated ''PAU''), with its seat in Kraków, and the Warsaw Society of Friends of Learning (Science), which had been founded in the late 18th century. The Polish Academy of Sciences functions as a learned society acting through an elected assembly of leading scholars and research institutions. The Academy h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Nature
Springer Nature or the Springer Nature Group is a German-British academic publishing company created by the May 2015 merger of Springer Science+Business Media and Holtzbrinck Publishing Group's Nature Publishing Group, Palgrave Macmillan, and Macmillan Education. History The company originates from a number of journals and publishing houses, notably Springer-Verlag, which was founded in 1842 by Julius Springer in Berlin (the grandfather of Bernhard Springer who founded Springer Publishing in 1950 in New York), Nature Publishing Group which has published ''Nature (journal) , Nature'' since 1869, and Macmillan Education, which goes back to Macmillan Publishers founded in 1843. Springer Nature was formed in 2015 by the merger of Nature Publishing Group, Palgrave Macmillan and Macmillan Education (held by Holtzbrinck Publishing Group) with Springer Science+Business Media (held by BC Partners). Plans for the merger were first announced on 15 January 2015. The transaction was concluded ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institute Of Philosophy And Sociology
An institute is an organisational body created for a certain purpose. They are often research organisations (research institutes) created to do research on specific topics, or can also be a professional body. In some countries, institutes can be part of a university or other institutions of higher education, either as a group of departments or an autonomous educational institution without a traditional university status such as a "university institute" (see Institute of Technology). In some countries, such as South Korea and India, private schools are sometimes referred to as institutes, and in Spain, secondary schools are referred to as institutes. Historically, in some countries institutes were educational units imparting vocational training and often incorporating libraries, also known as mechanics' institutes. The word "institute" comes from a Latin word ''institutum'' meaning "facility" or "habit"; from ''instituere'' meaning "build", "create", "raise" or "educate". ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...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] |
Kazimierz Ajdukiewicz
Kazimierz Ajdukiewicz (12 December 1890 – 12 April 1963) was a Polish philosopher and logician, a prominent figure in the Lwów–Warsaw school of logic. He originated many novel ideas in semantics. Among these was categorial grammar, a highly flexible framework for the analysis of natural language syntax and (indirectly) semantics that remains a major influence on work in formal linguistics. Ajdukiewicz's fields of research were model theory and the philosophy of science. Biography Ajdukiewicz was born in 1890 in Tarnopol in Galicia, which at that time, due to Partitions of Poland, was annexed by Austria-Hungary (The Austrian Partition). His father was a senior civil servant. Ajdukiewicz studied at the University of Lwów, and lectured there, as well as in Warsaw and in Poznań. He received his PhD degree with the thesis on Kant's philosophy of space. He was Rector of the University of Poznań from 1948 to 1952. He was one of the founders of the journal ''Studia Logica'' in i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jerzy Słupecki
Jerzy Słupecki (1904–1987) was a Polish mathematician and logician. Life He attended the seminar of, and wrote a 1938 doctorate under, Jan Łukasiewicz. During WWII he was active in Żegota. In 1963, when at Wroclaw University, where he had been since 1945, he became editor of ''Studia Logica''. Works Słupecki showed how the many-valued logics of Łukasiewicz could be included in the theory of Post systems, and gave a functionally complete version of the three-valued logic. In the logic of categorical sentences, he found a rule that made the theory decidable; his work on Aristotle's logic, from 1948, was later reprinted in French. He also continued the work of 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-Sib ..., and wrote on his system ("protothetics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Klemens Szaniawski
Klemens is a masculine given name derived from Clemens. It may refer to the following people: * Klemens of Brzeźnica (died 1241), Polish nobleman, Voivode of Opole and Castellan of Kraków * Klemens Janicki (1516–1543), Polish poet * Klemens von Metternich (1773–1859), Austrian Chancellor of State and diplomat * Klemens Zamoyski (1747–1767), Polish nobleman See also * Klemen Klemen is a Slovene masculine name derived from the Latin Clemens, meaning 'merciful'. Klemen is the 42nd most common men's name in Slovenia (as of 2016). It may refer to: * Klemen Ferjan (born 1979), Slovenian judoka * Klemen Klemen, Slovenian ..., a given name {{given name German masculine given names Polish masculine given names ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ryszard Wójcicki
Ryszard () is the Polish equivalent of "Richard", and may refer to: *Ryszard Andrzejewski (born 1976), Polish rap musician, songwriter and producer *Ryszard Bakst (1926–1999), Polish and British pianist and piano teacher of Jewish/Polish/Russian origin *Ryszard Bartel (1897–1982), Polish engineer, aircraft designer, pioneer and aviator *Ryszard Bender (born 1932), Polish politician and historian, specialist in the history of the January Uprising *Ryszard Wincenty Berwiński (1817–1879), Polish poet, translator, folklorist, and nationalist *Ryszard Białous (1914–1992), Polish scoutmaster (harcmistrz) captain of the AK-Szare Szeregi *Ryszard Bober (born 1956), Polish politician, Vice-Chairperson of Kuyavian-Pomeranian Regional Assembly *Ryszard Bogusz (born 1951), Lutheran theologian, bishop of the diocese Wroclaw of the Evangelical Augsburg Church in Poland *Ryszard Bolesławski (1889–1937), Polish film director, actor and teacher of acting *Ryszard Bosek (born 1950), forme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacek Malinowski
Jacek Malinowski (born May 20, 1959), is a Polish professor and mathematical logician, the editor-in-chief of ''Studia Logica ''Studia Logica'' (full name: Studia Logica, An International Journal for Symbolic Logic), is a scienific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all scient ...'', Head of the Department of Logic and Cognitive Science at the Polish Academy of Science, Warsaw, Poland, and Head of the Section of Logical Semiotics at Nicolaus Copernicus University in Torun, Poland. From 2000 to 2001 Malinowski was a fellow of the Alexander von Humboldt Foundation at the Institute of Philosophy, Humboldt University in Berlin. From 2002 to 2003 he was at the Institute of Computer Science, University of Leipzig with a Marie Curie Fellowship. From 2004 to 2005 he was a fellow of the Netherlands Institute of Advanced Studies - NIAS. References External links Home page Mathematical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gerhard Schurz
Gerhard is a name of Germanic origin and may refer to: Given name * Gerhard (bishop of Passau) (fl. 932–946), German prelate * Gerhard III, Count of Holstein-Rendsburg (1292–1340), German prince, regent of Denmark * Gerhard Barkhorn (1919–1983), German World War II flying ace * Gerhard Berger (born 1959), Austrian racing driver * Gerhard Boldt (1918–1981), German soldier and writer * Gerhard de Beer (born 1994), South African football player * Gerhard Diephuis (1817–1892), Dutch jurist * Gerhard Domagk (1895–1964), German pathologist and bacteriologist and Nobel Laureate * Gerhard Dorn (c.1530–1584), Flemish philosopher, translator, alchemist, physician and bibliophile * Gerhard Ertl (born 1936), German physicist and Nobel Laureate * Gerhard Fieseler (1896–1987), German World War I flying ace * Gerhard Flesch (1909–1948), German Nazi Gestapo and SS officer executed for war crimes * Gerhard Gentzen (1909–1945), German mathematician and logician * Gerhard Armaue ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heinrich Wansing
Heinrich may refer to: People * Heinrich (given name), a given name (including a list of people with the name) * Heinrich (surname), a surname (including a list of people with the name) *Hetty (given name), a given name (including a list of people with the name) Places * Heinrich (crater), a lunar crater * Heinrich-Hertz-Turm, a telecommunication tower and landmark of Hamburg, Germany Other uses * Heinrich event, a climatic event during the last ice age * Heinrich (card game), a north German card game * Heinrich (farmer), participant in the German TV show a ''Farmer Wants a Wife'' * Heinrich Greif Prize, an award of the former East German government * Heinrich Heine Prize, the name of two different awards * Heinrich Mann Prize, a literary award given by the Berlin Academy of Art * Heinrich Tessenow Medal, an architecture prize established in 1963 * Heinrich Wieland Prize, an annual award in the fields of chemistry, biochemistry and physiology * Heinrich, known as Haida in Ja ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
