http://www.pip.com.pl/MathUniversalis/1/index.html -- ISSN 1426-3513
- 1. The Scope of this Journal
- 2. The QED Initiative
1. What Is the QED Project and Why Is It Important?
2. Some Objections to the Idea of the QED Project and Some Responses.
3. Some Background, Being a Critique of Current Related Efforts.
4. The Relationship of QED to Artificial Intelligence (AI) and to Automated Reasoning (AR).
5. The Root Logic -- Some Technical Details.
6. What Is To Be Done?
7. Non-Copyright, Authorship, Discussion List
2-2. Raport on QED Workshop I, 1994 -- by Gail W. Pieper 2-3. Raport on QED Workshop II, 1995 -- by Roman Matuszewski 2-4. Participants of QED Workshop II. Picture with comments
Introduction to 4. Analytic philosophy is a brand of science-oriented philosophy as concerned with philosophy of logic, and applying logical tools in philosophy. In 1995 there was a unique opportunity to sum up 100 years of this stream whose beginning coincides with the rise of Polish analytic philosophy, 1895, the year in which Kazimierz Twardowski assumed his post at Lvov University. The Centenary was celebrated at the international conference held in Lvov and Warsaw. This journal's contribution consists in two comments on Peter Simons' Philosophy and Logic in Central Europe from Bolzano to Tarski; the book appeared under the auspices of the Warsaw Scientific Society.
- 3. Mechanization of Reasoning
- 3-1. A Schematic Historical Survey
-- by Witold Marciszewski and Roman Murawski.
- 4. Logic-Oriented Philosophy in Central Europe
- 4-1. Hundred Years of Analytic Philosophy
-- by Gabriel Falkenberg
- 4-2. Around and Beyond Modern Polish Analytic Philosophy
-- by Jacek Juliusz Jadacki
- 5. Notes and News
In October 1997, this item has been abandoned as being out of date.