A first order theory of functional parthood

DOI10.1007/S10992-006-9037-8MaRDI QIDQ878233zbMATH OpenOpenAlexFDO

Authors Pawel Garbacz

Publication date 26 April 2007

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-006-9037-8

zbMATH Keywords

mereologyartifactstates of affairsfunctional parthoodtheory of design

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• A first order logic for partial functions
• First order theories for partial models
• A notion of functional completeness for first-order structure
• A first order logic for partial functions (extended abstract)
• A formal theory for reasoning about parthood, connection, and location
• scientific article; zbMATH DE number 4210120
• scientific article; zbMATH DE number 3902002
• An axiomatic theory for partial functions
• Appendix: Formal theories of parthood

Cites work

• scientific article; zbMATH DE number 612169 (Why is no real title available?)
• EFDEX: A knowledge-based expert system for functional design of engineering systems
• Function in device representation
• Significant parts and identity of artifacts
• Worlds of homogeneous artifacts

Cited in

(4)

• Abstract Design Theory
• Models for hylomorphism
• Two arguments for the etiological theory over the modal theory of biological function
• First order theories for partial models

This page was built for publication: A first order theory of functional parthood

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878233)