Access the full text.
Sign up today, get DeepDyve free for 14 days.
E. Zalta (1988)
Logical and Analytic Truths that are not NecessaryThe Journal of Philosophy, 85
A inesse in L seu L continere A idem est ac pro pluribus inter quae est A simul sumtis coincidens poni L. Axiom 1
E. Zalta (1999)
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege"s Grundgesetze in Object TheoryJournal of Philosophical Logic, 28
For any object x: a proposition p is true at world w if and only if at w, x exemplifies being such that p. ∀x(|= w p ≡ |= w [λy p]x) The proof of Theorems 1 – 6 may be found elsewhere
(1991)
The Metaphysics of Concepts’,Mind
E. Zalta (1993)
Twenty-five basic theorems in situation and world theoryJournal of Philosophical Logic, 22
(1980)
Nonexistent Objects
Scholium: Haec propositio converti non potest, multoque minus duae sequentes, et infra in probl
Prop. 18. Si A est in L et B est in L, etiam A⊕B erit in L
B. Linsky, E. Zalta (1994)
IN DEFENSE OF THE SIMPLEST QUANTIFIED MODAL LOGICPhilosophical Perspectives, 8
(1979)
Possible Gods
There is a unique actual world
V. Cooke (1987)
The Philosophy of Leibniz: Metaphysics and LanguageInternational Philosophical Quarterly, 27
R. Montague (1974)
Formal philosophy; selected papers of Richard Montague
A proposition is necessarily true iff true at all worlds
C. Peacocke (1991)
The metaphysics of conceptsMind
N. Rescher (1954)
Leibniz's interpretation of his logical calculiJournal of Symbolic Logic, 19
G. Fitch (1979)
Analyticity and Necessity in LeibnizJournal of the History of Philosophy, 17
(1972)
Individuals and Modality in the Philosophy of Leibniz
Christopher Menzel (1986)
A complete, type-free "second-order" logic and its philosophical foundations
David Lewis (1968)
Counterpart Theory and Quantified Modal LogicThe Journal of Philosophy, 65
(1975)
Leibniz and the Doctrine of Inter-World Identity’, Studia Leibnitiana, 7/1: 21-57; page reference is to the reprint in Gottfried Wilhelm Leibniz
B. Rootselaar, F. Staal (1968)
Logic, Methodology and Philosophy of Science Iii
Gennaro Chierchia, R. Turner (1988)
Semantics and property theoryLinguistics and Philosophy, 11
G. Lloyd (1978)
Leibniz on possible individuals and possible worldsAustralasian Journal of Philosophy, 56
(1979)
Analyticity and Necessity in Leibniz’, Journal of the History of Philosophy, 17/1: 29-42; page reference is to the reprint in Gottfried Wilhelm Leibniz
M. Byrd, E. Zalta (1988)
Abstract Objects. An Introduction to Axiomatic Metaphysics.Journal of Symbolic Logic, 53
C. Swoyer (1994)
Leibniz's calculus of real additionStudia Leibnitiana, 26
(1980)
Nonexistent Objects, New Haven: Yale
F. Mondadori, Hide Ishiguro (1972)
Leibniz's Philosophy of Logic and Language
A proposition is possible iff there is a world where p is true. 3p ≡ ∃w(|= w p)
H. Castañeda (1990)
Leibniz's complete propositional logicTopoi, 9
G. Bealer (1982)
Quality and concept
G.vii 239: Prop. 12. Si B est in L, erit A⊕B in A⊕L. Prop. 13. Si L⊕B ∞ L, erit B in L. Prop. 14. Si B est in L, erit L⊕B ∞ L
(1982)
Quality and ConceptA Theory of Concepts and Concept Possession
T. Parsons (1978)
Nuclear and Extranuclear Properties, Meinong, and LeibnizNoûs, 12
(1979)
Analyticity and Necessity in Leibniz page reference is to the reprint in Gottfried Wilhelm Leibniz: Critical Assessments
Timothy Williamson (1998)
Bare PossibiliaErkenntnis, 48
C. Swoyer (1995)
Leibniz on intension and extensionNoûs, 29
I. Hacking (1986)
The Philosophy of Leibniz: Metaphysics and LanguageReview of Metaphysics, 40
(1986)
Leibniz on Necessary and Contingent Predication
(1998)
Complex Predicates and Theories of Properties
(1980)
Nonexistent ObjectsThe Metaphysics of Concepts
(1968)
Leibniz on Possible Worlds Amsterdam: North Holland; page references are to the reprint in Leibniz: A Collection of Critical Essays
(1975)
Leibniz and the Doctrine of Inter - World Identity ’
(1994)
Defense of the Simplest Quantified Modal Logic', Philosophical Perspectives
S. Read, R. Montague, R. Thomason (1979)
Formal Philosophy; Selected Papers
N. Cocchiarella (1978)
On the logic of nominalized predicates and its philosophical interpretationsErkenntnis, 13
(1998)
Bare Possibilia’, Erkenntnis
(1973)
Reference, Essentialism, and Modality in Leibniz’s Metaphysics’, Studia Leibnitiana, 5/1: 74-101; page reference is to the reprint in Gottfried Wilhelm Leibniz
Prop. 15. Si A est in B et B est in C, etiam A est in C. Corollary to Prop. 15: Si A⊕N est in B, etiam N est in B
Every world is maximal. ∀p(|= w p ∨ |= w ¬p) 3. Every world is possible. ¬∃p, q
C. Swoyer (1996)
THEORIES OF PROPERTIES: FROM PLENITUDE TO PAUCITYPhilosophical Perspectives, 10
Raili Kauppi (1960)
Über die Leibnizsche Logik
Every world is modally closed
H. Castañeda (1976)
Leibniz's syllogistico-propositional calculusNotre Dame J. Formal Log., 17
(1976)
Leibniz on Compossibility and Relational Predicates' , The Philosophical Quarterly
(1900)
A Critical Exposition of the Philosophy of Leibniz , Edward N. Zalta 58 CambridgeComplex Predicates and Theories of Properties
A (Leibnizian) Theory of Concepts
(1975)
Leibniz and the Doctrine of Inter-World Identity', Studia Leibnitiana, 7/1: 21-57; page reference is to the reprint in Gottfried Wilhelm Leibniz: Critical Assessments
Edward N. Zalta Center for the Study of Language and Information Stanford University* If we had it [a characteristica universalis ], we should be able to reason in metaphysics and morals in much the same way as in geometry and analysis. … If controversies were to arise, there would be no more need of disputation between two philosophers than between two accountants. For it would suffice to take their pencils in their hands, to sit down to their slates, and to say to each other …: Let us calculate. G. W. Leibniz I have therefore, in what follows, … endeavored as far as possible to exhibit the theory of monads as a rigid deduction from a small number of premisses. B. Russell In the eyes of many philosophers, Leibniz established his credentials as a clear and logically precise thinker by having invented the differential and integral calculus. However, his philosophical and metaphysical views were never expressed as precisely as the mathematics he developed. His ideas about concept summation, concept inclusion, complete individual concepts, possible worlds, and the containment theory of truth were never developed within a single, overarching system as precise as the mathematical calculus. In this paper, we
History of Philosophy and Logical Analysis – Brill
Published: Apr 5, 2000
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.