Dr Adam Trybus

dr Adam Trybus My research interests are related to broadly-conceived logic and its applications. In my doctoral dissertation, I dealt with the so-called spatial logics, that is formalisations of fragments of geometry in the language of logic. The most popular spatial logics were related to Euclidean geometry and topology but in my own research I focused on affine geometry. I am also interested in the notion of rejection in contemporary logic (including the resolution method) and its implementation in various programming languages. I also deal with the relations between logic and AI, including logic programming (Prolog, LISP).

History of logic is another topic of interest. I focus on early ideas of Russell and Whitehead on geometry as well as their Principia Mathematica, especially in the view of its critique by Leon Chwistek. Occasionally, I foray into the philosophy of biology and keep a lookout on contemporary anarchist thinkers. I try to broaden my horizons by reading on the statistical approach to AI, machine learning, non-logic programming and machine translation.

Programming skills: Prolog, LISP, Python, shell scripting, C, Java, Matlab.

Zajmuję się również tłumaczeniem tekstów akademickich z wielu dziedzin: filozofii, informatyki, matematyki, ekonomii i in. Szczegóły w zakładce Translation.

Contact info

For students/Dla studentów: contact.

University of Zielona Góra, Institute of Philosophy, Room 223, e-mail: adam DOT trybus AT gmail DOT com

Materiały dla studentów: tutaj.

Journal articles

Trybus A., Rational Region-Based Affine Logic of the Real Plane, ACM Transactions on Computational Logic (TOCL),Volume 17 Issue 3, April 2016, Issue-in-progress. DOI:10.1145/2897190.

Selected conference talks

Trybus A., The Development of Affine Spatial logic, 21st Conference Applications of Logic in Philosophy and in the Foundations of Mathematics 2016, Institute of Philosophy, Institute of Mathematics, The University of Opole, Poland.

Trybus A., An Axiom System for a Spatial Logic with Convexity, Proceedings of ECAI 2010, p. 701--706.

Trybus A., Spatial Logics. An Introduction, Entia et Nomina 2010, Institute of Philosophy, The Gdansk University, Poland.

Trybus A., Affine Spatial Logics, Logical Workshop 2010, Institute of Philosophy, Institute of Mathematics, The University of Warsaw, Poland.

Trybus A., Expressiveness, Computational Complexity and Model Theory of a Spatial Logic with Convexity, Poster Session, MAGIC conference 2009, School of Mathematics, The University of Manchester.

Trybus A., On Some Open Problems in Mereotopology, Fourth MATHLOGAPS Training Workshop 2008, School of Mathematics, The University of Manchester.

Trybus A., Mereotopological Theories of Space, 13th Conference Applications of Logic in Philosophy and in the Foundations of Mathematics 2008, Institute of Philosophy, Institute of Mathematics, The University of Wroclaw, Poland.

Trybus A., Ad Nauseam or the Troubles with Science. An Introdution to the Theory of Intelligent Design, Philosophers’ Rally 2007, Institute of Philosophy, The University of Groningen, The Netherlands.

Trybus A., Historical and Philosophical Background of Paraconsistency, Italian-Polish Workshop 2006, Institute of Philosophy, The University of Zielona Gora, Poland.

Trybus A., Refutation Calculus in Paraconsistent Logic, Philosophers’ Rally 2006, Institute of Philosophy, The University of Opole, Poland.

Trybus A., Adaptive Logics, Philosophers’ Rally 2004, Institute of Philosophy, Marie Curie-Sklodowska University, Lublin, Poland.

Selected translations

Chwistek L., Tragedia werbalnej metafizyki (Z powodu książki Dra Ingardena: Das literarische Kunstwerk, Kwartalnik Filozoficzny, Vol. X, 1932, 46-76. Translated as: Chwistek L., The Tragedy of Verbal Metaphysics, to appear in the Journal for the History of Analytical Philosophy, [PDF].

Chwistek L., Zasada sprzeczności w świetle nowszych badań Bertranda Russella, Rozprawy Akademii Umiejętności Wydział Historyczno-Filozoficzny, Serya II. Tom XXX, Kraków 1912, 270–334. Translated as: Chwistek L., The Law of Contradiction in the Light of Recent Investigations of Bertrand Russell translated by Rose Rand (partially corrected and translated by Adam Trybus, edited by Bernard Linsky), to appear in A. Brożek, J. Woleński (eds), The Significance of the Lvov-Warsaw School in European Culture.

Chwistek L., Zasady czystej teorii typów [in:] Pasenkiewicz K. (ed.), Pisma filozoficzne i logiczne, vol. 2, Warsaw, PWN 1963, p. 256–286. Translated as: Leon Chwistek, The Principles of the Pure Type Theory (1922) translated by Adam Trybus with an Introductory note by Bernard Linsky, History and Philosophy of Logic, Volume 33, Issue 4, 2012, p. 329–352.

Noble D., Genes and Causation, Philosophical Transactions of the Royal Society A 2008, vol. 366, p. 3001–3015. Translated as: Geny a przyczynowość, Filozoficzne Aspekty Genezy 2011, p. 191–217.

Fitelson B. et al., How Not to Detect Design — A Critical Notice: William A. Dembski, The Design Inference, Philosphy of Science, vol. 66, Sept. 1999, p. 472–488. Translated as: Jak nie należy wykrywać projektu, Filozoficzne Aspekty Genezy 2007/2008, p. 53–80.

Draft translations

Russell B., The Teaching of Euclid, The Mathematical Gazette 2 (May 1902), 165-167. Translated as: Nauczanie Elementów Euklidesa.

Work in progress

I am only putting the programs here for my amusement. Whoever wishes to use these does so at their own risk. Also, this is all work in progress so expect frequent changes. In time, I will make it more user-friendly, commet the source, delete junk etc.

1. A python script that reads the names of known valid sylogisms and proves them on the basis of the clues in their names. This version is designed to be used in a linux terminal. The final outcome can be pretty printed using LaTeX as in here.

2. A python script that outputs the Venn diagrams showing - in a classical way - the validity/invalidity of all 256 two-premise sylogisms. This version is designed to be used in a linux terminal. The final outcome is to be pretty printed using LaTeX as in here.

2. A python script that outputs the Venn diagrams showing - using proof by contradiction - the validity/invalidity of all 256 two-premise sylogisms. This version is designed to be used in a linux terminal. The final outcome is to be pretty printed using LaTeX as in here.

4. Sylogism-related Java applet: here.

I am also a professional translator and proof-reader in the language pairs [EN->PL] and [PL->EN], focusing mainly on high-end academic publications. In my free time, I also publish translations under my own name. Please see Publications tab.

Zajmuję się również tłumaczeniem i korektą w parach językowych [EN->PL] i [PL->EN]. Moją specjalizacją są teksty akademickie z wielu dziedzin. Proszę o kontakt e-mailowy. W wolnym czasie tłumaczę też pod własnym nazwiskiem: lista ważniejszych tłumaczeń znajduje się w sekcji Publications.

In the autumn 2015 semester I am teaching three courses: Introduction to Logic (PL), Introduction to Philosophy and British Philosophy.

Professional affiliations: British Logic Colloquium since 2007.

PhD Thesis: An Axiom System for an Affine Spatial Logic. Awarded 2012. Supervisor: Ian Pratt-Hartmann. School of Computer Science, The University of Manchester.

Master's Thesis: The Method of Syntactic Rejection in Certain Systems of Paraconsistent Logic. Awarded 2006. Supervisor: Tomasz Skura. Institute of Philosophy, The University of Zielona Góra.