標(biāo)題: Titlebook: Substance in Aristotle‘s Metaphysics Zeta; Norman O. Dahl Book 2019 The Editor(s) (if applicable) and The Author(s), under exclusive licen [打印本頁] 作者: POL 時(shí)間: 2025-3-21 19:35
書目名稱Substance in Aristotle‘s Metaphysics Zeta影響因子(影響力)
書目名稱Substance in Aristotle‘s Metaphysics Zeta影響因子(影響力)學(xué)科排名
書目名稱Substance in Aristotle‘s Metaphysics Zeta網(wǎng)絡(luò)公開度
書目名稱Substance in Aristotle‘s Metaphysics Zeta網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Substance in Aristotle‘s Metaphysics Zeta被引頻次
書目名稱Substance in Aristotle‘s Metaphysics Zeta被引頻次學(xué)科排名
書目名稱Substance in Aristotle‘s Metaphysics Zeta年度引用
書目名稱Substance in Aristotle‘s Metaphysics Zeta年度引用學(xué)科排名
書目名稱Substance in Aristotle‘s Metaphysics Zeta讀者反饋
書目名稱Substance in Aristotle‘s Metaphysics Zeta讀者反饋學(xué)科排名
作者: Antarctic 時(shí)間: 2025-3-21 21:28
hat arise in trying to understand Z and what can be done to .This book argues that according to .Metaphysics .Zeta, substantial forms constitute substantial being in the sensible world, and individual composites make up the basic constituents that possess this kind of being. The study explains why A作者: 壓迫 時(shí)間: 2025-3-22 04:26
,The Universal as Substance: 1038b8–1039a3—Solutions to the Problems,idual composites basic constituents. Aristotle’s interlocutor thinks his view satisfies Z.13’s . assumption because its universals are essences only of objects immediately below them. Aristotle argues that this is mistaken, and adds two arguments that parallel 1038b8–15 and 1038b15–16.作者: BALE 時(shí)間: 2025-3-22 04:52 作者: Inculcate 時(shí)間: 2025-3-22 11:11 作者: 必死 時(shí)間: 2025-3-22 13:18
Z.1, Substantial Forms or Individual Composites as Basic Constituents,cept the interpretation that best fits the rest of Z. But until the rest of Z has been investigated, individual composites and substantial forms should each be regarded as candidates for basic constituents.作者: PATHY 時(shí)間: 2025-3-22 17:04
Z.3, The Rejection of Matter,orm being what is puzzling and needs investigations. Two passages in Z.3 that have been thought to reject individual composites as basic constituents can be seen not to do so. Z.3 leaves substantial forms and individual composites as candidates for basic constituents.作者: pulmonary 時(shí)間: 2025-3-22 21:33 作者: Conflict 時(shí)間: 2025-3-23 01:24
Z.6 and the Pale Man Argument,e recognizes are fallacious. An investigation of the details of what he says supports taking sameness in the pale man argument to be sameness in formula, and so to leave individual composites as candidates for basic constituents.作者: 征兵 時(shí)間: 2025-3-23 07:40 作者: 除草劑 時(shí)間: 2025-3-23 10:14 作者: Calibrate 時(shí)間: 2025-3-23 16:08 作者: overreach 時(shí)間: 2025-3-23 21:50 作者: Cumbersome 時(shí)間: 2025-3-23 23:37 作者: CHASE 時(shí)間: 2025-3-24 05:38 作者: 增強(qiáng) 時(shí)間: 2025-3-24 07:04 作者: 斜谷 時(shí)間: 2025-3-24 14:23 作者: prodrome 時(shí)間: 2025-3-24 15:25 作者: 谷物 時(shí)間: 2025-3-24 21:04 作者: Triglyceride 時(shí)間: 2025-3-25 01:27 作者: FLAGR 時(shí)間: 2025-3-25 03:32 作者: 火花 時(shí)間: 2025-3-25 09:21 作者: Musculoskeletal 時(shí)間: 2025-3-25 14:33
Z.6 and the Pale Man Argument,e is committed to substantial forms as basic constituents. If it is the weaker sameness in formula, individual composites are also candidates for basic constituents. Using a pale man as his example of a ., Aristotle offers two arguments that a pale man is not the same as its essence, both of which h作者: 上腭 時(shí)間: 2025-3-25 18:26
Z.6 and the Argument About Platonic Forms, to be generalizable to any plausible candidate for basic constituents. His argument contains two . arguments. The first is generalizable whether sameness in it is identity or sameness in formula. If sameness in the second is identity, it is generalizable only if individual composites are excluded f作者: ineptitude 時(shí)間: 2025-3-25 23:14 作者: 無效 時(shí)間: 2025-3-26 03:59
,Z.7–9, The Reintroduction of Matter and Form,better than one might first think; it provides a needed reintroduction of matter and form; and it contributes to Z.10–11’s topic of whether form has matter as part of it. It should be taken seriously when trying to understand Z, including passages that might be thought to commit Aristotle to a parti作者: 婚姻生活 時(shí)間: 2025-3-26 08:12 作者: Euthyroid 時(shí)間: 2025-3-26 08:39
,The Universal as Substance: Z.13 1038b8–1039a3—Problems of Interpretation,troduces the view of an interlocutor who thinks he can rescue universals in spite of 1038b8–16 and offers Aristotle’s response to that view. All of this gives rise to a host of problems, including the following: How is ‘substance’ being used here? What conclusion(s) does 1038b8–16 support? How do th作者: Hypomania 時(shí)間: 2025-3-26 13:06
,The Universal as Substance: 1038b8–1039a3—Solutions to the Problems,rsals at the level of genera are the essences of substantial forms and make them basic constituents and similarly for higher level universals. This implies that higher level universals are essences of lower objects in virtue of being the essences of intermediate objects. 1038b8–15 argues that this v作者: 滴注 時(shí)間: 2025-3-26 20:22
,The Universal as Substance: Z.13–16—An , and What Follows,ins an additional series of arguments against 1038b8–1039a3’s Platonic target. Z.14 raises a dilemma that can be seen to commit this target to the bases of Z.13’s ., making that . ta problem for it. Z.15 argues that Platonic Forms are indefinable, the conclusion that generated Z.13’s ., again making作者: NOT 時(shí)間: 2025-3-26 21:16 作者: EVADE 時(shí)間: 2025-3-27 02:02
Conclusion, Z.13’s arguments make individual composites basic constituents, and Z.17 is compatible with this. One can then go back and take Z.1 to endorse individual composites as basic constituents, and one can understand why Aristotle argues extensively against Z.13’s Platonic target. If the argument for tha作者: chassis 時(shí)間: 2025-3-27 08:25
The , View of Basic Constituents,e basic constituents because everything else depends on them. The chapter then offers two kinds of dialectical support for this view, as well as some residual problems that could lead one to revise or reject it.作者: Fermentation 時(shí)間: 2025-3-27 12:33 作者: 藐視 時(shí)間: 2025-3-27 14:08 作者: 草率男 時(shí)間: 2025-3-27 19:46
Norman O. Dahl. to .-congruence classes, where . is an equational theory consisting of associativity and commutativity axioms. The associative path ordering is similar to another termination ordering for proving AC termination, described in Dershowitz, et al. (83), which is also based on the idea of .. Our orderi作者: 調(diào)情 時(shí)間: 2025-3-28 00:15
Norman O. Dahletween these fields and demonstrate how equational theorem proving can provide useful and tools for a variety of database tasks..Our first application is a novel way of formulating functional and inclusion dependencies (the most common database constraints) using equations. The central computational作者: 朝圣者 時(shí)間: 2025-3-28 03:34 作者: 壓倒 時(shí)間: 2025-3-28 07:41
Norman O. Dahlulas of the predicate calculus. In this representation bound variables of the object language are represented by bound variables of the metalanguage. This choice has various advantages but makes the notion of “recursive definition” on higher order term algebras more subtle than the corresponding not作者: cluster 時(shí)間: 2025-3-28 11:00
Norman O. Dahl rewrite rule .→. leads to an infinite sequence of “simplifications”. The rule .→. can be tested in the same way. Rules leading to infinite simplifications should not be included in a rewrite system. In general, the problem of deciding whether a set of rewrite rules leads to infinite simplifications作者: 警告 時(shí)間: 2025-3-28 17:19
Norman O. Dahl rewrite rule .→. leads to an infinite sequence of “simplifications”. The rule .→. can be tested in the same way. Rules leading to infinite simplifications should not be included in a rewrite system. In general, the problem of deciding whether a set of rewrite rules leads to infinite simplifications作者: Adj異類的 時(shí)間: 2025-3-28 21:01
Norman O. Dahl rewrite rule .→. leads to an infinite sequence of “simplifications”. The rule .→. can be tested in the same way. Rules leading to infinite simplifications should not be included in a rewrite system. In general, the problem of deciding whether a set of rewrite rules leads to infinite simplifications作者: 甜瓜 時(shí)間: 2025-3-28 23:25 作者: CODA 時(shí)間: 2025-3-29 05:26
Norman O. Dahl rewrite rule .→. leads to an infinite sequence of “simplifications”. The rule .→. can be tested in the same way. Rules leading to infinite simplifications should not be included in a rewrite system. In general, the problem of deciding whether a set of rewrite rules leads to infinite simplifications作者: 知識 時(shí)間: 2025-3-29 08:09 作者: commensurate 時(shí)間: 2025-3-29 15:06 作者: 賞錢 時(shí)間: 2025-3-29 15:52 作者: Offbeat 時(shí)間: 2025-3-29 23:43
Norman O. Dahlability of monadic second-order unification. Word unification. can be easily decided by transformation rules (similar to the ones applied in higher-order unification procedures) when variables are restricted to occur at most twice. Hence a well-known open question was the decidability of second-orde作者: 慟哭 時(shí)間: 2025-3-30 00:45
Norman O. Dahlability of monadic second-order unification. Word unification. can be easily decided by transformation rules (similar to the ones applied in higher-order unification procedures) when variables are restricted to occur at most twice. Hence a well-known open question was the decidability of second-orde作者: 偏狂癥 時(shí)間: 2025-3-30 07:40 作者: Occipital-Lobe 時(shí)間: 2025-3-30 09:41 作者: Expertise 時(shí)間: 2025-3-30 12:34 作者: Anthropoid 時(shí)間: 2025-3-30 18:12
https://doi.org/10.1007/978-3-030-22161-4aristotle; platonic; ancient thought; Book Zeta; Greek philosophy; metaphysics作者: 朦朧 時(shí)間: 2025-3-31 00:09
Introduction,After setting out some of the difficulties that face anyone trying to understand . Zeta, this chapter indicates the approach the book will take in dealing with these difficulties.作者: fructose 時(shí)間: 2025-3-31 03:23
Background Considerations,Chapter . sets out notions that will be useful in trying to understand Zeta—including Aristotle’s uses of ‘substance’ (.), his notion of essence, ways in which something can be primary, . and . predication, and what is . (universal). It also briefly describes Aristotelian dialectic and the employment it might have in Zeta.作者: 辯論 時(shí)間: 2025-3-31 06:44
Norman O. DahlArgues for an interpretation of Z that runs against the current of most contemporary scholarship.Offers a brief indication of the problems that arise in trying to understand Z and what can be done to 作者: Ostrich 時(shí)間: 2025-3-31 11:47 作者: Vertical 時(shí)間: 2025-3-31 15:29
o be maximal. Unfortunately, the complete "correctness" of KBL is not yet established. That is, it is not known at this point whether the normal form of a term is equal to the fixed-point solution. However, as steps in this direction, two technical lemmas were conjectured to which a proof of the cor作者: 壓倒 時(shí)間: 2025-3-31 19:25 作者: 截?cái)?nbsp; 時(shí)間: 2025-3-31 21:43 作者: mechanism 時(shí)間: 2025-4-1 05:39
Norman O. Dahlhat our way of dealing with first order theories with full equality can be extended to the splitting and the Kapur-Narendran methods as well..Due to the lack of space, we only give a sketch of the proofs of the completeness of the two theorem proving methods. They will be provided in detail in a lon作者: 瑣碎 時(shí)間: 2025-4-1 08:41
Norman O. Dahlerms of the untyped lambda calculus, encoded as elements of a second order term algebra. First order encodings based on de Bruijn indexes are also considered. The examples also show that a version of the intersection type disciplines can be helpful in some cases to prove the existence of a canonical
