Department of logic

Smirnov Readings 2003

The Fourth International Conference Smirnov Readings. Moscow, Institute of Philosophy of Russian Academy of Sciences, 28-30 May 2003.

PROGRAM COMMITTEE

ABOUT THE CONFERENCE

Smirnov Readings is a biennial conference dedicated to the memory of an outstanding Russian logician and philosopher Vladimir Smirnov (1931-1996). Many participants of the conference are his students or his colleagues.

The previous conferences were held in 1997, 1999 and 2001 in the Institute of Philosophy of RAS. The conference activities are divided into two sections and a seminar:

• symbolic logic;
• philosophical logic;
• the seminar on philosophy and methodology of science.

TOPICS OF INTEREST

1. Symbolic ligic:
   • syntactic and semantical construction of formal logical systems;
   • logical calculi: axiomatic, sequential, tabular, natural, etc.;
   • non-classical and substructural logics: intutionistic, modal, paraconsistent, relevant, many-valued, etc.;
   • properties of logics: axiomatizability, decidability, algorithmical complexity, etc.;
   • systematization and classification of formal logical systems.
2. Philosophical logic:
   • interpretation of formal logical systems;
   • philosophical problems of non-classical logics;
   • logical semantics;
   • theory of argumentation;
   • applications of logic to the analysis of natural language;
   • history of the science of logic;

IMPORTANT DATES

• Deadline for abstracts submission: 10 February 2003.
• The conference dates: 28-30 May 2003.

REQUIREMENTS TO ABSTRACTS

An abstract should be two-page long and must not exceed 4000 characters. Format for submission is Word 6.0/95.

REGISTRATION

To registrate as a conference participant please send a filled form to the contact address:

1. Name, Surname;
2. Degree;
3. Affiliation;
4. Address;
5. Email.

ORGANIZING COMMITTEE

PLENARY REPORTS

See the program of the conference.

CONTACT INFORMATION