نتائج البحث

Temporal datalog with existential quantification

• Authors : Lanzinger, M; Nissl, M; Sallinger, E

تفاصيل العنوان

Relative Tense without Existential Quantification and Before

• Authors : Ogihara, Toshiyuki

• Source: Journal of Semantics ; volume 39, issue 4, page 657-691 ; ISSN 0167-5133 1477-4593

تفاصيل العنوان

Existential quantification in Tiwa: disjunction and indefinites

• Authors : Dawson, Virginia E

تفاصيل العنوان

Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization

• Authors : Diller, Martin; Wyner, Adam; Strass, Hannes

• Source: Proceedings of the 13th International Conference on Computational Semantics - Short Papers

تفاصيل العنوان

Existential sentences without existential quantification

• Authors : McNally, Louise, 1965-

Subjects: Existential quantification; Existential sentence

تفاصيل العنوان

∃-STRIPS: existential quantification in planning and constraint satisfaction

• Authors : Francès, Guillem; Geffner, Héctor

Subjects: Intel·ligència artificial

تفاصيل العنوان

A note on Mcgee’s counterexample to Modus Ponens

• Authors : Rubin, Mariela

Subjects: Modus Ponens; Counterexample; Indicative Conditionals

• Source: Principia: an international journal of epistemology; Vol. 28 No. 1 (2024): Special Issue: What can we do in Philosophy using Logic?; 147-150 ; Principia: an international journal of epistemology; Vol.

تفاصيل العنوان

A note on Mcgee’s counterexample to Modus Ponens

• Authors : Mariela Rubin

Subjects: Modus Ponens; Counterexample; Indicative Conditionals

• Source: Principia: An International Journal of Epistemology, Vol 28, Iss 1 (2024)

تفاصيل العنوان

none both, while a defender of endurance will say that the plasticine first constitutes a pot, then a bust. Since constitution is not identity, we may therefore say that the plasticine, pot and bust are pairwise non-identical.5 We cannot argue that since pot and bust have exactly the same parts, they must be the same thing by the mereological principle that if the parts of x are the same as the parts of y, then x = y. First, if the plasticine constitutes the pot, any part of the pot will be constitutedby some part of the plasticine, but will not be identical to that part. Later, the plasticine part in question will constitute a part of the bust. Since constitution is not identity, we may therefore say that no part of the pot is identical to any part of the plasticine, so we cannot identify a part of the pot with a part of the bust via identity with a part of the plasticine. Still, this leaves it open that a pot-part is ‘straight-ofF identical to the bust-part made of the same plasticine, and hence by mereology, that pot and bust are identical. But Wiggins-style strategies again apply. Objects are not mere things, they are things of specific sorts; we can think of the unsubscripted identity symbol in ‘x = y’ as being introduced by existential quantification: ‘x = y’ means that for some sort F, x is the same F as y [Wiggins 1980, pp. 15, 38]. So pot and bust are the same what? If we say they are the same sum of parts, we relativize identity, since they are evidently not the same artifact. What we must do is distinguish sums of parts and artifacts. In the example, there are two sums of parts x and y (the pot parts and the bust parts) and if x and y have the same parts, as was left open by the previous paragraph, x and y are the same sum of parts. But we can deny that x is a pot and y is a bust. In other words, the proper conclusion to draw is that no pot is the same thing as any mereological sum of pot-parts and no bust the same thing as any sum of bust-parts. Some other relation, such as constitution, holds between ordinary things and the mereological sums of their parts. Hence we again avoid the conclusion that the pot and the bust are the same thing. If this discussion is right, the two examples are ineffective as

• Source: Particulars, Actuality, and Identity over Time, vol 4 ; page 228-231 ; ISBN 9781315052731

تفاصيل العنوان

Existential Quantification as Incremental SAT

• Authors : Brauer, Jörg; King, Andy; Kriener, Jael

• Source: Computer Aided Verification ; Lecture Notes in Computer Science ; page 191-207 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642221095 9783642221101

تفاصيل العنوان