A First Order Theory of Functional Parthood

Journal of Philosophical Logic 36 (3):309-337 (2007)
  Copy   BIBTEX

Abstract

This paper contains a formal theory of functional parthood. Since the relation of functional parthood is defined here by means of the notion of design, the theory of functional parthood turns out to be a theory of design. The formal theory of design I defend here is a result of introducing a number of constraints that are to express the rational aspects of designing practice. The ontological background for the theory is provided by a conception of states of affairs. The theory is accompanied with a formal model. I prove that the theory is sound and complete with respect to this model

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A General Concept of Being a Part of a Whole.Andrzej Pietruszczak - 2014 - Notre Dame Journal of Formal Logic 55 (3):359-381.
Can a thing be part of itself?Stephen Kearns - 2011 - American Philosophical Quarterly (1):87.
On the transitivity of functional parthood.Laure Vieu - 2006 - Applied Ontology 1 (2):147-155.
Propositions and Parthood: The Universe and Anti-Symmetry.Chris Tillman & Gregory Fowler - 2012 - Australasian Journal of Philosophy 90 (3):525 - 539.
Folk, functional and neurochemical aspects of mood.Paul E. Griffiths - 1989 - Philosophical Psychology 2 (1):17-32.
Multilocation and mereology.Shieva Kleinschmidt - 2011 - Philosophical Perspectives 25 (1):253-276.
Parts and wholes.Kris McDaniel - 2010 - Philosophy Compass 5 (5):412-425.
Having a Part Twice Over.Karen Bennett - 2013 - Australasian Journal of Philosophy 91 (1):83 - 103.
Nothing over and above.Theodore Sider - 2015 - Grazer Philosophische Studien 91 (1):191-216.
Compositional Pluralism and Composition as Identity.Kris McDaniel - 2014 - In Donald Baxter & Aaron Cotnoir (eds.), Composition as Identity. Oxford University Press.
Against the Compositional View of Facts.William Bynoe - 2011 - Australasian Journal of Philosophy 89 (1):91-100.
From finitary to infinitary second‐order logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.

Analytics

Added to PP
2009-01-28

Downloads
58 (#246,851)

6 months
11 (#127,802)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paweł Garbacz
John Paul II Catholic University of Lublin

Citations of this work

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Mereological Essentialism and Mereological Inessentialism.Dwayne Moore - 2015 - Croatian Journal of Philosophy 15 (1):67-85.

Add more citations