A Semantics for Ontology

Authors


Summary

Leśniewski presented his logical systems in a way which conformed to his nominalism, so the question arises whether Leśniewski's logic can be given a natural formal semantics which, unlike current versions, avoids commitment to abstract entities. Building on hints in Wittgenstein's Tractatus, I develop the idea of a way of meaning which is the basis for what I call combinatorial semantics. I then consider whether this commits us to abstract objects or an intensional metalogic.

Résumé

Leśniewski a présenté son systéme logique ? une manière conforme à son nominalisme, de telle sorte qu'on peut se demander s'il est possible de développer une smantique formelle naturelle qui, contrairement aux versions courantes, évite de postuler des entités abstraites. M'inspirant ? indications tirées du Tractatus de Wittgenstein, je développe ľ idée ? une manière de signifier qui est à la base de ce que j'appelle une sémantique combinatoire. J'examine ensuite si cela nous oblige a postuler des objets abstraits ou une métalogique intensionnelle.

Zusammenfassung

Leśniewski präsentierte seine logischen Systeme auf eine Weise, die seinem Nominalismus entspricht. Es stellt sich daher die Frage, ob man für Leśniewskis Logik eine natürliche formale Semantik entwickeln kann, die anders als die gängigen Versionen nicht die Existenz abstrakter Gegenstände voraussetzt. Von Andeutungen in Wittgenstein's Tractatus ausgehend entwickle ich die Idee einer Weise des Bedeutens, die als Grundlage einer kombinatorischen Semantik fungiert, und erörtere dann die Frage, ob uns eine solche Semantik zur Annahme abstrakter Gegenstände oder zu einer intensionalen Metalogik verpflichtet.

Ancillary