?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=First+Order+Theories+of+Individual+Concepts+and+Propositions&rft.creator=McCarthy%2C+John&rft.subject=Artificial+Intelligence&rft.subject=Logic&rft.description=We+discuss+first+order+theories+in+which+individual+concepts+are+admitted+as+mathematical+objects+along+with+the+things+that+reify+them.+This+allows+very+straightforward+formalizations+of+knowledge%2C+belief%2C+wanting%2C+and+necessity+in+ordinary+first+order+logic+without+modal+operators.+Applications+are+given+in+philosophy+and+in+artificial+intelligence.+We+do+not+treat+general+concepts%2C+and+we+do+not+present+any+full+axiomatizations+but+rather+show+how+various+facts+can+be+expressed.&rft.date=1979&rft.type=Preprint&rft.type=NonPeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F417%2F2%2Fconcepts.ps&rft.identifier=++McCarthy%2C+John++(1979)+First+Order+Theories+of+Individual+Concepts+and+Propositions.++%5BPreprint%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F417%2F