Urszula Wybraniec-Skardowska (born 1940) is a Polish logician whose research topics have included rough sets and inference rules for rejecting certain propositions as invalid.
Wybraniec-Skardowska was born in Jastrzębie-Zdrój, [1] in 1940. [2] She graduated from the University of Wrocław in 1963, with a master's degree in mathematics, earned a Ph.D. in mathematics there in 1967, and completed her habilitation in humanistic sciences (D.Sc.) in 1985. [1] [3]
She was given the title of professor in 1992. She worked at the University of Opole for many years, including as full professor from 1995 to 2005. After retiring from Opole she worked at WSB University in Chorzów as head of the department of logic and methodology of sciences from 2005 to 2010, [1] and also at Cardinal Stefan Wyszyński University in Warsaw. [3]
Wybraniec-Skardowska is the author of Theory of Language Syntax: Categorial Approach (Kluwer, 1991), [4] and the editor of The Lvov–Warsaw School: Past and Present (with Ángel Garrido, Springer/Birkhauser, 2018). [5] She is also an author of several books in Polish. [1]
Kazimierz Kuratowski was a Polish mathematician and logician. He was one of the leading representatives of the Warsaw School of Mathematics. He worked as a Professor at the University of Warsaw and at the Mathematical Institute of the Polish Academy of Sciences. Between 1946–1953, he served as President of the Polish Mathematical Society.
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
Jan Łukasiewicz 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.
Adolf Lindenbaum was a Polish-Jewish logician and mathematician best known for Lindenbaum's lemma and Lindenbaum–Tarski algebras.
The Lwów–Warsaw School was an interdisciplinary school founded by Kazimierz Twardowski in 1895 in Lemberg, Austro-Hungary.
Tadeusz Czeżowski was a Polish philosopher and logician. He is considered one of the most prominent members of the Lviv-Warsaw School.
Barbara Hall Partee is a Distinguished University Professor Emerita of Linguistics and Philosophy at the University of Massachusetts Amherst (UMass).
Helena Rasiowa was a Polish mathematician. She worked in the foundations of mathematics and algebraic logic.
Andrzej Wojciech Trybulec was a Polish mathematician and computer scientist noted for work on the Mizar system.
Reism, reificationism, concretism or concretionism is a view that only concrete material things exist. It is a philosophical theory associated with Tadeusz Kotarbiński who proposed that it involves both the proper view about the kinds of objects that exist and the literal way of speaking about things. It is based on the ontology of Stanislaw Lesniewski, specifically, his "calculus of names". This theory, which is also referred to as somatism and pansomatism, has been interpreted as an analogue of defended classic physicalism.
Jan Hertrich-Woleński is a Polish philosopher specializing in the history of the Lwów–Warsaw school of logic and in analytic philosophy.
Leopoldo Nachbin was a Jewish-Brazilian mathematician who dealt with topology, and harmonic analysis.
Andrzej Grzegorczyk was a Polish logician, mathematician, philosopher, and ethicist noted for his work in computability, mathematical logic, and the foundations of mathematics.
Anna Magdalena Brożek is a Polish philosopher and musician.
Andrzej Stanisław Bogusławski is a Polish philologist, semanticist, semioticist and philosopher of language of international repute. Originally a specialist in Russian language, his interests broadened into the epistemology of language and linguistics.
Janina Hosiasson-Lindenbaum was a Polish logician and philosopher. She published some twenty research papers along with translations into Polish of three books by Bertrand Russell. The main focus of her writings was on foundational problems related to probability, induction and confirmation. She is noted especially for authoring the first printed discussion of the Raven Paradox which she credits to Carl Hempel and the probabilistic solution she outlined to it. Shot by the Gestapo in 1942, she, like her husband Adolf Lindenbaum, and many other eminent representatives of Polish logic, shared the fate of millions of Jews murdered on Polish soil by the Nazis.
Maria Kokoszyńska-Lutmanowa was "a significant logician, philosopher of language and epistemologist", and "one of the most outstanding female representatives" of the third generation of the Lwów–Warsaw school. She is "mostly known as the author of the important argumentation against neopositivism of the Vienna Circle as well as one of the main critics of relativistic theories of truth". She was also noted for popularising Tarski's works on semantics.
Eugénie Ginsberg or Eugénie Ginsberg-Blaustein (1905-1944) was a Polish philosopher and psychologist noted for her works on descriptive psychology and her analysis of existential dependence, independence, and related concepts as applied in the area of psychology.
Stella Ewa Orłowska is a Polish logician whose research centers on the concept that everything in logic and set theory can be expressed in terms of relations, and who has used this idea to publish works on topics including deduction systems and model theory for non-classical logic, and logics of non-deterministic and incomplete information. She is a professor at the National Institute of Telecommunications in Warsaw, and the former president of the Polish Association for Logic and Philosophy of Science.
Krzysztof R. Apt is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland in 1974. His research interests include program correctness and semantics, use of logic as a programming language, distributed computing, and game theory. Besides his own research, he has been heavily involved in service to the computing community, notably by promoting the use of logic in computer science and by advocating open access to scientific literature.