排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
Paul Hovda 《Journal of Philosophical Logic》2009,38(1):55-82
Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion,
or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology.
Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent,
and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of
fusion and correct some technical errors in prominent discussions of the axiomatization of mereology. We show the equivalence
of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection
between classical mereology and complete Boolean algebra by giving two “neutral” axiom sets which can be supplemented by one
or the other of two simple axioms to yield the full theories; one of these uses a notion of “strong complement” that helps
explicate the connections between the theories. 相似文献
2.
Topoi - EBM, and the hierarchy of evidence it prescribes, is a controversial model when it comes to research into the effectiveness of psychotherapeutic treatments. This is due in part to the... 相似文献
3.
4.
Paul Hovda 《Journal of Philosophical Logic》2013,42(2):241-283
Classical mereology (CM) is usually taken to be formulated in a tenseless language, and is therefore associated with a four-dimensionalist metaphysics. This paper presents three ways one might integrate the core idea of flat plenitude, i.e., that every suitable condition or property has exactly one mereological fusion, with a tensed logical setting. All require a revised notion of mereological fusion. The candidates differ over how they conceive parthood to interact with existence in time, which connects to the distinction between endurance and perdurance. Similar issues arise for the integration of mereology with modality, and much of our discussion applies to this project as well. 相似文献
1