Article View: sci.philosophy.tech
Article #745Re: No Reification Here
From: Chris Menzel
Date: Thu, 31 Dec 1992 00:28
Date: Thu, 31 Dec 1992 00:28
13 lines
1043 bytes
1043 bytes
holmes@opal.idbsu.edu (Randall Holmes) writes: : First-order logic does not commit one to abstract objects at all. Seems hasty, Randall. Don't you think the semantics for first-order logic (or better perhaps, a first-order language) commits you to (among other things) the semantic entities that interpret the constants and predicates of the language? If so, then you're at least committed to sets or classes or, for friends of the forms, properties and relations as the meanings of predicates. --Chris Menzel Philosophy Department Texas A&M University
Technical Details
Message-ID:
<1hteqjINN85h@tamsun.tamu.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!usc!cs.utexas.edu!tamsun.tamu.edu!kbssun1.tamu.edu!cmenzelReferences:
<1992Dec30.183153.2819@guinness.idbsu.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!usc!cs.utexas.edu!tamsun.tamu.edu!kbssun1.tamu.edu!cmenzel From: cmenzel@kbssun1.tamu.edu (Chris Menzel) Newsgroups: sci.philosophy.tech,sci.logic Subject: Re: No Reification Here Date: 31 Dec 1992 00:28:03 GMT Organization: Texas A&M University, College Station, TX Lines: 13 Message-ID: <1hteqjINN85h@tamsun.tamu.edu> References: <1992Dec30.183153.2819@guinness.idbsu.edu> NNTP-Posting-Host: kbssun1.tamu.edu X-Newsreader: Tin 1.1 PL4