In this Issue
Scope of this Journal   /   QED   /   Lvov-Warsaw School Centenary

To Title Page (Main Entry)

• 1. The Scope of this Journal
  • 1-0. Editorial Considerations
    Updated in October 1997.
  • 1-1. Science-Oriented Philosophy
  • 1-2. Logic and Intelligence
  • 1-3. Mechanization of Deduction
  • 1-4. Leibnizian Perspective

• 2. The QED Initiative
  • 2-1. QED Manifesto
    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

• 3. Mechanization of Reasoning
  • 3-1. A Schematic Historical Survey
    -- by Witold Marciszewski and Roman Murawski.

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.

• 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.