نتایج جستجو برای: rough mereology
تعداد نتایج: 26074 فیلتر نتایج به سال:
A sophisticated version of the zombie argument due to David Chalmers runs roughly as follows: a world is ideally primarily conceivable, and whatever conceivable possible. Thus, possible, which implies, in turn, that either physicalism false or Russellian monism true. Appealing some plausible mereological considerations, Daniel Giberman presents novel effect zombies are not conceivable. I shall ...
This study is in two parts. In the first part, various important principles of classical extensional mereology are derived on the basis of a nice axiomatization involving ‘part of’ and fusion. All results are proved here with full Fregean (and Gentzenian) rigor. They are chosen because they are needed for the second part. In the second part, this natural-deduction framework is used in order to ...
Graham Priest has recently proposed a solution to the problem of One and Many which involves inconsistent objects non-transitive identity relation. We show that his entails either object everything is identical with nothing or they are mutual parts; depending on whether goes for an extensional non-extensional mereology.
The aim of this paper is to introduce and study set- valued homomorphism on lattices and T-rough lattice with respect to a sublattice. This paper deals with T-rough set approach on the lattice theory. The result of this study contributes to, T-rough fuzzy set and approximation theory and proved in several papers. Keywords: approximation space; lattice; prime ideal; rough ideal; T-rough set; set...
Starting from the formal characterization of fourdimensionalism (perdurantism) provided by Theodore Sider, I study the interconnections between the theories of parthood simpliciter (classical mereologies) and the theories of temporary parthood (parthood at a time). On the basis of this formal analysis, I propose a definition of temporary parthood in terms of parthood simpliciter that does not c...
We present a theory of granular parthood based on qualitative cardinality and size measures. Using standard mereological relations and qualitative, contextdependent relations such as roughly the same size, we define a granular parthood relation and distinguish different ways in which a collection of smaller objects may sum to a larger object. At one extreme, an object x may be a mereological su...
مدلِ بسیاری از سیستم های پیچیده ی صنعتی، بصورت کامل شناخته نشده است و به همین دلیل طراحی کنترل کننده برای آنها با مشکل مواجه است. این سیستم ها سال های زیادی تحت نظارت اپراتورها، بصورت راضی کننده ای کار کرده اند ولی در مواردی لازم است آنها بطور کامل اتوماتیک شوند. از طرفی، هزینه ی مدلسازی و شناسایی این سیستم ها و طراحی سیستم های کنترلی کامپیوتری توسط روش های معمول، بسیار بالا خواهد بود. از آنجایی...
We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated.The equivalence of our axiom systemwith other, more familiar systems is established by purely deductivemethods, along with additional results on the relative strengths of the composition and decomposition axioms of each theor...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید