Switch to: References

Citations of:

A critical exposition of the philosophy of Leibniz

Wolfeboro, N.H.: Longwood Press (1937)

Add citations

You must login to add citations.
  1. Leibniz and the Foundations of Physics: The Later Years.Jeffrey K. McDonough - 2016 - Philosophical Review 125 (1):1-34.
    This essay offers an account of the relationship between extended Leibnizian bodies and unextended Leibnizian monads, an account that shows why Leibniz was right to see intimate, explanatory connections between his studies in physics and his mature metaphysics. The first section sets the stage by introducing a case study from Leibniz's technical work on the strength of extended, rigid beams. The second section draws on that case study to introduce a model for understanding Leibniz's views on the relationship between derivative (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Heidegger on the Being of Monads: Lessons in Leibniz and in the Practice of Reading the History of Philosophy.Paul Lodge - 2015 - British Journal for the History of Philosophy 23 (6):1169-1191.
    This paper is a discussion of the treatment of Leibniz's conception of substance in Heidegger's The Metaphysical Foundations of Logic. I explain Heidegger's account, consider its relation to recent interpretations of Leibniz in the Anglophone secondary literature, and reflect on the ways in which Heidegger's methodology may illuminate what it is to read Leibniz and other figures in the history of philosophy.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Leibniz on Infinite Numbers, Infinite Wholes, and Composite Substances.Adam Harmer - 2014 - British Journal for the History of Philosophy 22 (2):236-259.
    Leibniz claims that nature is actually infinite but rejects infinite number. Are his mathematical commitments out of step with his metaphysical ones? It is widely accepted that Leibniz has a viable response to this problem: there can be infinitely many created substances, but no infinite number of them. But there is a second problem that has not been satisfactorily resolved. It has been suggested that Leibniz’s argument against the world soul relies on his rejection of infinite number, and, as such, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Two dogmatists.Charles Pigden - 1987 - Inquiry: An Interdisciplinary Journal of Philosophy 30 (1 & 2):173 – 193.
    Grice and Strawson's 'In Defense of a Dogma is admired even by revisionist Quineans such as Putnam (1962) who should know better. The analytic/synthetic distinction they defend is distinct from that which Putnam successfully rehabilitates. Theirs is the post-positivist distinction bounding a grossly enlarged analytic. It is not, as they claim, the sanctified product of a long philosophic tradition, but the cast-off of a defunct philosophy - logical positivism. The fact that the distinction can be communally drawn does not show (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logical constants.John MacFarlane - 2008 - Mind.
    Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Gottfried Wilhelm Leibniz.Brandon C. Look - 2008 - Stanford Encyclopedia of Philosophy.
    Gottfried Wilhelm Leibniz (1646–1716) was one of the great thinkers of the seventeenth and eighteenth centuries and is known as the last “universal genius”. He made deep and important contributions to the fields of metaphysics, epistemology, logic, philosophy of religion, as well as mathematics, physics, geology, jurisprudence, and history. Even the eighteenth century French atheist and materialist Denis Diderot, whose views could not have stood in greater opposition to those of Leibniz, could not help being awed by his achievement, writing (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • What did Russell learn from Leibniz?Nicholas Griffin - 2013 - Journal for the History of Analytical Philosophy 2 (1).
    Russell’s rejection in 1898 of the doctrine of internal relations — the view that all relations are grounded in the intrinsic properties of the terms related — was a decisive part of his break with Hegelianism and opened the way for his turn to analytic philosophy. Before rejecting it, Russell had given the doctrine little thought, though it played an essential role in the most intractable of the problems facing his attempt to construct a Hegelian dialectic of the sciences. I (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Leibniz and the Ground of Possibility.Samuel Newlands - 2013 - Philosophical Review 122 (2):155-187.
    Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Heidegger on Assertion, Method and Metaphysics.Sacha Golob - 2013 - European Journal of Philosophy 23 (4):878-908.
    In Sein und Zeit Heidegger makes several claims about the nature of ‘assertion’ [Aussage]. These claims are of particular philosophical interest: they illustrate, for example, important points of contact and divergence between Heidegger's work and philosophical movements including Kantianism, the early Analytic tradition and contemporary pragmatism. This article provides a new assessment of one of these claims: that assertion is connected to a ‘present-at-hand’ ontology. I also indicate how my analysis sets the stage for a new reading of Heidegger's further (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Filosofia da Linguagem - uma introdução.Sofia Miguens - 2007 - Porto: Universidade do Porto. Faculdade de Letras.
    O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reviews. [REVIEW]George M. Ross - 1970 - British Journal for the Philosophy of Science 21 (3):298-301.
    Download  
     
    Export citation  
     
    Bookmark  
  • Russell, Frege, and the nature of implication.Judy Pelham - 1999 - Topoi 18 (2):175-184.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Leibniz on Divine Concurrence.John Whipple - 2010 - Philosophy Compass 5 (10):865-879.
    In this paper I examine G. W. Leibniz’s view on the debate between occasionalists, mere conservationists, and concurrentists. Although commentators agree that Leibniz wants to reject occasionalism and mere conservationism, there is considerable disagreement about whether Leibniz is committed to a theory of divine concurrence that differs from occasionalism and mere conservationism in principled ways. I critically assess three interpretations of Leibniz’s theory in this paper. The first two (those of Robert Adams and Sukjae Lee) differ with respect to important (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Epistemic logicism & Russell's regressive method.A. D. Irvine - 1989 - Philosophical Studies 55 (3):303 - 327.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Russell on the nature of logic (1903–1913).Nicholas Griffin - 1980 - Synthese 45 (1):117 - 188.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • The Harmony of Spinoza and Leibniz.Samuel Newlands - 2010 - Philosophy and Phenomenological Research 81 (1):64-104.
    According to a common reading, Spinoza and Leibniz stand on opposite ends of the modal spectrum. At one extreme lies ‘‘Spinoza the necessitarian,’’ for whom the actual world is the only possible world. At the other lies ‘‘Leibniz the anti-necessitarian,’’ for whom the actual world is but one possible world among an infinite array of other possible worlds; the actual world is privileged for existence only in virtue of a free decree of a benevolent God. In this paper, I challenge (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Leibniz's Models of Rational Decision.Markku Roinila - 2008 - In Marcelo Dascal (ed.), Leibniz: What Kind of Rationalist? Springer. pp. 357-370.
    Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Tautology: How not to use a word.Burton Dreben & Juliet Floyd - 1991 - Synthese 87 (1):23 - 49.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • On abstraction and the doctrine of terms in eighteenth-century philosophy of language.Marc Dominicy - 1985 - Topoi 4 (2):201-205.
    The aim of this paper is to understand why empiricist philosophers of language did not try to refute the Leibniz-Beauzée argument, which questioned the genetical priority of proper names. It is shown that, within the semantic theory which underlies the empiricist doctrine, one may assume that all general terms derive from particular names, while conceding that every proper name can be etymologically traced back to the ancestor of a common noun.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Russell and Kant.J. Alberto Coffa - 1981 - Synthese 46 (2):247 - 263.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Spinoza: Metaphysical Themes.Martin Lin - 2004 - Philosophical Review 113 (1):139-143.
    The editors of this volume, in their introduction, take Jonathan Bennett’s A Study of Spinoza’s Ethics as the exemplar for the eleven essays collected here, hailing Bennett’s book as setting “new standards for philosophical research on Spinoza”. Bennett’s work is indeed a worthy model. Aside from its more generic virtues, such as learnedness and conceptual rigor, perhaps what is most distinctive about Bennett’s treatment of Spinoza is his method, which he calls the “collegial approach.” This method proceeds by studying “the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • What was Leibniz's problem about relations?Howard Burdick - 1991 - Synthese 88 (1):1 - 13.
    The main purpose of the article is to get clear what Leibniz's concerns about relations were. His: I do not believe that you will admit an accident that is in two subjects at the same time. My judgement about relations is that paternity in David is one thing, sonship in Solomon another, but that the relation common to both is a merely mental thing whose basis is the modifications of the individuals is best seen as akin to: Father is true (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Modalities in language, thought and reality in Leibniz, Descartes and Crusius.Hans Burkhardt - 1988 - Synthese 75 (2):183 - 215.
    Download  
     
    Export citation  
     
    Bookmark  
  • It Adds Up After All: Kant’s Philosophy of Arithmetic in Light of the Traditional Logic.R. Lanier Anderson - 2004 - Philosophy and Phenomenological Research 69 (3):501–540.
    Officially, for Kant, judgments are analytic iff the predicate is "contained in" the subject. I defend the containment definition against the common charge of obscurity, and argue that arithmetic cannot be analytic, in the resulting sense. My account deploys two traditional logical notions: logical division and concept hierarchies. Division separates a genus concept into exclusive, exhaustive species. Repeated divisions generate a hierarchy, in which lower species are derived from their genus, by adding differentia(e). Hierarchies afford a straightforward sense of containment: (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Leibnizian soft reduction of extrinsic denominations and relations.Ari Maunu - 2004 - Synthese 139 (1):143-164.
    Leibniz, it seems, wishes to reduce statements involving relations or extrinsic denominations to ones solely in terms of individual accidents or, respectively, intrinsic denominations. His reasons for this appear to be that relations are merely mental things (since they cannot be individual accidents) and that extrinsic denominations do not represent substances as they are on their own. Three interpretations of Leibniz''s reductionism may be distinguished: First, he allowed only monadic predicates in reducing statements (hard reductionism); second, he allowed also `implicitly (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the mind dependence of truth.Diego Marconi - 2006 - Erkenntnis 65 (3):301 - 318.
    The claim that truth is mind dependent has some initial plausibility only if truth bearers are taken to be mind dependent entities such as beliefs or statements. Even on that assumption, however, the claim is not uncontroversial. If it is spelled out as the thesis that “in a world devoid of mind nothing would be true”, then everything depends on how the phrase ‘true in world w’ is interpreted. If ‘A is true in w’ is interpreted as ‘A is true (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Leibniz on possible individuals and possible worlds.Genevieve Lloyd - 1978 - Australasian Journal of Philosophy 56 (2):126 – 142.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Philosophy of information and foundation for the future chinese philosophy of science and technology.Gang Liu - 2007 - Frontiers of Philosophy in China 2 (1):95-114.
    The research programme of the philosophy of information (PI) proposed in 2002 made it an independent area or discipline in philosophical research. The scientific concept of ‘information’ is formally accepted in philosophical inquiry. Hence a new and tool-driven philosophical discipline of PI with its interdisciplinary nature has been established. Philosophy of information is an ‘orientative’ rather than ‘cognitive’ philosophy. When PI is under consideration in the history of Western philosophy, it can be regarded as a shift of large tradition. There (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The relational doctrines of space and time.Clifford A. Hooker - 1971 - British Journal for the Philosophy of Science 22 (2):97-130.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Leibniz’s Opinion Of Descartes’s Argument That He Is Not A Body.James Patrick Downey - 2003 - British Journal for the History of Philosophy 11 (3):493 – 498.
    Download  
     
    Export citation  
     
    Bookmark  
  • Leibniz's mathematical argument against a soul of the world.Gregory Brown - 2005 - British Journal for the History of Philosophy 13 (3):449 – 488.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Relational concepts of space and time.Julian B. Barbour - 1982 - British Journal for the Philosophy of Science 33 (3):251-274.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Russell’s Conception of Propositional Attitudes in Relation to Pragmatism.Nikolay Milkov - 2020 - An Anthology of Philosophical Studies 14:117-128.
    The conventional wisdom has it that between 1905 and 1919 Russell was critical to pragmatism. In particular, in two essays written in 1908–9, he sharply attacked the pragmatist theory of truth, emphasizing that truth is not relative to human practice. In fact, however, Russell was much more indebted to the pragmatists, in particular to William James, as usually believed. For example, he borrowed from James two key concepts of his new epistemology: sense-data, and the distinction between knowledge by acquaintance and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • History of Substance in Philosophy.Bassey Samuel Akpan & Charles Clement Odohoedi - 2016 - History of Substance in Philosophy 5:254-270.
    A lot of words investigated by philosophers get their inception for conventional or extra-philosophical dialect. Yet the idea of substance is basically a philosophical term of art. Its employments in normal dialect tend to derive, often in a twisted way, different from its philosophical usage. Despite this, the idea of substance differs from philosophers, reliant upon the school of thought in which it is been expressed. There is an ordinary concept in play when philosophers discuss “substance”, and this is seen (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • La definizione kantiana del concetto di “mondo” nei Pensieri sulla vera valutazione delle forze vive.Emanuele Cafagna - 2018 - Con-Textos Kantianos 8:271-290.
    Nei Pensieri sulla vera valutazione delle forze vive Kant stabilisce il concetto di “mondo” per mezzo di una definizione wolffiana. Nonostante questa recezione, Kant non condivide con Wolff e i wolffiani principi fondanti della cosmologia in quanto sapere metafisico. Il contributo chiarisce come Kant metta in evidenza l'inadeguatezza della definizione wolffiana rispetto a problemi basilari della cosmologia, come la possibilità di dimostrare l'unicità del mondo e l'unità dell'universo. A differenza di precedenti interpretazioni, il contributo sostiene che Kant prova a ovviare (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Leibniz and the Problem of Temporary Truths.Giovanni Merlo - 2017 - The Leibniz Review 27:31-63.
    Not unlike many contemporary philosophers, Leibniz admitted the existence of temporary truths, true propositions that have not always been or will not always be true. In contrast with contemporary philosophers, though, Leibniz conceived of truth in terms of analytic containment: on his view, the truth of a predicative sentence consists in the analytic containment of the concept expressed by the predicate in the concept expressed by the subject. Given that analytic relations among concepts are eternal and unchanging, the problem arises (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Working from Within: The Nature and Development of Quine's Naturalism.Sander Verhaegh - 2018 - New York: Oxford University Press.
    During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Sidgwick’s Legacy? Russell and Moore on Meaning and Philosophical Inquiry.Sébastien Gandon - 2017 - Journal for the History of Analytical Philosophy 6 (1).
    James Levine has recently argued that there is a tension between Russell’s Moorean semantical framework and Russell’s Peano-inspired analytical practice. According to Levine, this discrepancy runs deep in Russell’s thought from 1900 to 1918, and underlies many of the doctrinal changes occurring during this period. In this paper, I suggest that, contrary to what Levine claims, there is no incompatibility between Moore’s theory of meaning and the idea of informative conceptual analysis. I show this by relating Moore’s view of meaning (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The limits and basis of logical tolerance: Carnap’s combination of Russell and Wittgenstein.Adam Tamas Tuboly - 2016 - In Peter Stone (ed.), Bertrand Russell’s Life and Legacy. Wilmington, Delaware, United States: Vernon Press.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Leibniz’s Metaphysics and Adoption of Substantial Forms: Between Continuity and Transformation.Adrian Nita (ed.) - 2015 - Dordrecht: Springer.
    This anthology is about the signal change in Leibniz’s metaphysics with his explicit adoption of substantial forms in 1678-79. This change can either be seen as a moment of discontinuity with his metaphysics of maturity or as a moment of continuity, such as a passage to the metaphysics from his last years. Between the end of his sejour at Paris and the first part of the Hanover period, Leibniz reformed his dynamics and began to use the theory of corporeal substance. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Kant on Foreknowledge of Contingent Truths.Desmond Hogan - 2014 - Res Philosophica 91 (1):47-70.
    The paper examines Kant’s views on divine foreknowledge of contingent truths, in particular truths concerning free actions of creatures. It first considers the shape this traditional philosophical problem takes in the transcendental idealist context. It then situates Kant’s views relative to three competing theories of foreknowledge discussed by Leibniz. These are Molina’s theory of middle knowledge, the Thomist theory of foreknowledge through divine predeterminations, and Leibniz’s own ‘possible worlds’ theory. The paper concludes that no consistent theory of divine foreknowledge emerges (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Presupposition, Aggregation, and Leibniz’s Argument for a Plurality of Substances.Richard T. W. Arthur - 2011 - The Leibniz Review 21:91-115.
    This paper consists in a study of Leibniz’s argument for the infinite plurality of substances, versions of which recur throughout his mature corpus. It goes roughly as follows: since every body is actually divided into further bodies, it is therefore not a unity but an infinite aggregate; the reality of an aggregate, however, reduces to the reality of the unities it presupposes; the reality of body, therefore, entails an actual infinity of constituent unities everywhere in it. I argue that this (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Ficcionalismo matemático y si-entoncismo russelliano¿ dos caras de la misma moneda?Wilfredo Quezada Pulido - 2004 - Revista de Filosofía (Madrid) 29 (2):73-97.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hare and Others on the Proposition.John Corcoran - 2011 - Principia: An International Journal of Epistemology 15 (1):51-76.
    History witnesses alternative approaches to “the proposition”. The proposition has been referred to as the object of belief, disbelief, and doubt: generally as the object of propositional attitudes, that which can be said to be believed, disbelieved, understood, etc. It has also been taken to be the object of grasping, judging, assuming, affirming, denying, and inquiring: generally as the object of propositional actions, that which can be said to be grasped, judged true or false, assumed for reasoning purposes, etc. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Leibniz’s Theory of Space.Richard T. W. Arthur - 2013 - Foundations of Science 18 (3):499-528.
    In this paper I offer a fresh interpretation of Leibniz’s theory of space, in which I explain the connection of his relational theory to both his mathematical theory of analysis situs and his theory of substance. I argue that the elements of his mature theory are not bare bodies (as on a standard relationalist view) nor bare points (as on an absolutist view), but situations. Regarded as an accident of an individual body, a situation is the complex of its angles (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities.Graham Stevens - 2003 - History and Philosophy of Logic 24 (3):221-240.
    It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Leibniz on compossibility.James Messina & Donald Rutherford - 2009 - Philosophy Compass 4 (6):962-977.
    Leibniz's well-known thesis that the actual world is just one among many possible worlds relies on the claim that some possibles are incompossible , meaning that they cannot belong to the same world. Notwithstanding its central role in Leibniz's philosophy, commentators have disagreed about how to understand the compossibility relation. We examine several influential interpretations and demonstrate their shortcomings. We then sketch a new reading, the cosmological interpretation, and argue that it accommodates two key conditions that any successful interpretation must (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Leibniz on the Grounds of the Principle of Sufficient Reason.Owen Pikkert - 2022 - Archiv für Geschichte der Philosophie 104 (3):566-589.
    I examine several alleged grounds of the principle of sufficient reason in Leibniz’s philosophy. These include the nature of a requisite and a sufficient condition, the nature of truth, and the nature of harmony. I argue that Leibniz does not ground the PSR in any of these ways. Instead, he is committed to a value-based grounds of the PSR: God creates the best possible world, and the fact that the PSR obtains in this world contributes to it being the best. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Beyond Concepts.Laura Schroeter - 2019 - Analysis 79 (2):363-377.
    Ruth Garrett Millikan’s new book, Beyond Concepts,1 is a tour de force that integrates and refines the distinctive naturalistic accounts of mental representatio.
    Download  
     
    Export citation  
     
    Bookmark  
  • Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
    In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in PROVER9 (a first-order automated reasoning system which is the successor to OTTER). After reviewing the second-order, axiomatic theory of abstract objects, we show (1) how to represent a fragment of that theory in PROVER9's first-order syntax, and (2) how (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations