Embedding the elementary ontology of stanisław leśniewski into the monadic second-order calculus of predicates
Studia Logica 42 (2-3):197 - 207 (1983)
| Abstract | LetEO be the elementary ontology of Leniewski formalized as in Iwanu [1], and letLS be the monadic second-order calculus of predicates. In this paper we give an example of a recursive function , defined on the formulas of the language ofEO with values in the set of formulas of the language of LS, such that EO A iff LS (A) for each formulaA. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesTomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Evelyn N. Ransom (1977). On the Representation of Modality. Linguistics and Philosophy 1 (3):357 - 379.
Jacek Paśniczek (1996). Meinong's Ontology VS. Leśniewski's Ontology (Toward a Meinongian Calculus of Names). Axiomathes 7 (1-2).
Klaus J. Schmidt (1984). Ein Rechenverfahren für Die Elementare Logik II. Journal for General Philosophy of Science 15 (1):22-33.
Richard Moot & Mario Piazza (2001). Linguistic Applications of First Order Intuitionistic Linear Logic. Journal of Logic, Language and Information 10 (2):211-232.
Mitsunori Kobayashi & Arata Ishimoto (1982). A Propositional Fragment of Leśniewski's Ontology and its Formulation by the Tableau Method. Studia Logica 41 (2-3):181 - 195.
Nino B. Cocchiarella (2001). A Conceptualist Interpretation of Lesniewski's Ontology. History and Philosophy of Logic 22 (1):29-43.
Mitio Takano (1987). Embeddings Between the Elementary Ontology with an Atom and the Monadic Second-Order Predicate Logic. Studia Logica 46 (3):247 - 253.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads4 ( #178,585 of 549,070 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
