Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

A Modal Sortal Logic

Max A. Freund
Journal of Philosophical Logic
Vol. 33, No. 3 (Jun., 2004), pp. 237-260
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226807
Page Count: 24
  • Get Access
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
A Modal Sortal Logic
Preview not available

Abstract

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system.

Page Thumbnails

  • Thumbnail: Page 
[237]
    [237]
  • Thumbnail: Page 
238
    238
  • Thumbnail: Page 
239
    239
  • Thumbnail: Page 
240
    240
  • Thumbnail: Page 
241
    241
  • Thumbnail: Page 
242
    242
  • Thumbnail: Page 
243
    243
  • Thumbnail: Page 
244
    244
  • Thumbnail: Page 
245
    245
  • Thumbnail: Page 
246
    246
  • Thumbnail: Page 
247
    247
  • Thumbnail: Page 
248
    248
  • Thumbnail: Page 
249
    249
  • Thumbnail: Page 
250
    250
  • Thumbnail: Page 
251
    251
  • Thumbnail: Page 
252
    252
  • Thumbnail: Page 
253
    253
  • Thumbnail: Page 
254
    254
  • Thumbnail: Page 
255
    255
  • Thumbnail: Page 
256
    256
  • Thumbnail: Page 
257
    257
  • Thumbnail: Page 
258
    258
  • Thumbnail: Page 
259
    259
  • Thumbnail: Page 
260
    260