rapaport@cs.Buffalo.EDU (William J. Rapaport) (04/04/89)
UNIVERSITY AT BUFFALO
STATE UNIVERSITY OF NEW YORK
BUFFALO LOGIC COLLOQUIUM
GRADUATE GROUP IN COGNITIVE SCIENCE
and
GRADUATE RESEARCH INITIATIVE IN COGNITIVE AND LINGUISTIC SCIENCES
PRESENT
JACEK PASNICZEK
Institute of Philosophy and Sociology
Department of Logic
Marie Curie-Sklodowska University
Lublin, Poland
FIRST- AND HIGHER-ORDER MEINONGIAN LOGIC
Meinongian logic is a logic based on Alexius Meinong's ontological
views. Meinong was an Austrian philosopher who lived and worked around
the turn of the century. He is known as a creator of a very rich objec-
tual ontology including non-existent objects, and even incomplete and
impossible ones, e.g., "the round square". Such objects are formally
treated by Meinongian logic. The Meinongian logic presented here (M-
logic) is not the only Meinongian one: there are some other theories
that are formalizations of Meinong's ontology and that may be considered
as Meinongian logics (e.g., Parsons's, Zalta's, Rapaport's, and
Jacquette's theories). But the distinctive feature of M-logic is that
it is a very natural and straightforward extension of classical first-
order logic--the only primitive symbols of the language of M-logic are
those occurring in the first-order classical language. Individual con-
stants and quantifiers are treated as expressions of the same category.
This makes the syntax of M-logic close to natural-language syntax. M-
logic is presented as an axiomatic system and as a semantical theory.
Not only is first-order logic developed, but the higher-order M-logic as
well.
Wednesday, April 26, 1989
4:00 P.M.
684 Baldy Hall, Amherst Campus
For further information, contact John Corcoran, Dept. of Philosophy,
716-636-2444, or Bill Rapaport, Dept. of Computer Science, 716-636-3193.