Metafizyka w logice
Filozofia Nauki 1 (1999)
| Authors |
|
| Abstract |
The paper contains a survey of existence problems in the folowing calculi of formal logic: calculi of classes, syllogistics, classic predicate calculus, Lesniewski's ontology, quantificational modal calculi, quantificational tense logics, sentential calculi. The particular attention is given to metaphysical (ontological) presuppositions and commitments of logical calculi especially to the problems of empty set, existential axiom (axiom of the non-emptiness of universe of discourse), existential operators (quantifiers and functors), possible worlds, temporal predicates and operators, objects of sentences
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Complexity of Interpolation and Related Problems in Positive Calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
Subject-Predicate Calculus Free From Existential Import.V. A. Bocharov - 1983 - Studia Logica 42 (2-3):209 - 221.
Degrees of Maximality of Łukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Adjoint Interpretations of Sentential Calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Generalizability of the Propositional and Predicate Calculi to Infinite-Valued Calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
Display Calculi for Logics with Relative Accessibility Relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.
Cut-Free Tableau Calculi for Some Propositional Normal Modal Logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
Analyzing the Core of Categorial Grammar.Carlos Areces & Raffaella Bernardi - 2004 - Journal of Logic, Language and Information 13 (2):121-137.
Analytics
Added to PP index
2013-03-14
Total views
0
Recent downloads (6 months)
0
2013-03-14
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
