🚀 go-pugleaf

                         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.