Filters








640,315 Hits in 8.0 sec

Coming to terms with quantified reasoning

Laura Kovács, Simon Robillard, Andrei Voronkov
2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017  
However, as the theory of finite term algebras is not finitely axiomatizable, reasoning about quantified properties over term algebras is challenging.  ...  The ability to efficiently reason about term algebras is essential to automate program analysis and verification for functional or imperative programs over algebraic data types such as lists and trees.  ...  Starting Grant 2014 SYM-CAR 639270, the Wallenberg Academy Fellowship 2014 TheP-roSE, the Swedish VR grant GenPro D0497701, the Austrian FWF research project RiSE S11409-N23, and the EPSRC grant ReVeS: Reasoning  ... 
doi:10.1145/3009837.3009887 fatcat:26soclwzs5gkbkc5ao2t42vg7m

Coming to Terms with Quantified Reasoning [article]

Laura Kovacs, Simon Robillard, Andrei Voronkov
2016 arXiv   pre-print
However, as the theory of finite term algebras is not finitely axiomatizable, reasoning about quantified properties over term algebras is challenging.  ...  The ability to efficiently reason about term algebras is essential to automate program analysis and verification for functional or imperative programs over algebraic data types such as lists and trees.  ...  Starting Grant 2014 SYM-CAR 639270, the Wallenberg Academy Fellowship 2014 TheP-roSE, the Swedish VR grant GenPro D0497701, the Austrian FWF research project RiSE S11409-N23, and the EPSRC grant ReVeS: Reasoning  ... 
arXiv:1611.02908v1 fatcat:gfxm4sj7prgcrdpl3ymffnhp4m

How to Precisify Quantifiers

Arvid Båve
2010 Journal of Philosophical Logic  
Since this will be so even as we have eliminated all vagueness in "composed of" and in terms referring to the putative parts, we have a prima facie reason for claiming that the unrestricted existential  ...  As we move along the succession of mereological sums from the very connected toward the very scattered, we are decreasingly prone to agree with the claim that there is a thing composed of the objects in  ...  For the case of quantifiers, this requirement comes down to the following.  ... 
doi:10.1007/s10992-010-9152-4 fatcat:jo5lmncerbcmlhzglwvohedkxe

Conjoined Nominal Expressions in Japanese [chapter]

J. -R. Hayashishita, Daisuke Bekki
2012 Lecture Notes in Computer Science  
Nominal expressions can be recursively combined with conjunctions of any categories; thus, the assumption that categorically (i.e, in terms of type), A ya B is the same as A to B and A ka B is reasonable  ...  Problems of treating A ya B as a universal quantifier In the pursuit of analyzing the conjoined nominal expressions under discussion as quantifiers, it is reasonable to treat A to B as a universal quantifier  ... 
doi:10.1007/978-3-642-32090-3_6 fatcat:a27uveoy2rbwtp4dhyun5f3vgi

Reviews

Klaus Wuttich
2003 Logic and Logical Philosophy  
Is it possible to explain "branching" when it comes to the generalized quantifiers lacking Skolem functions?  ...  But when it comes to relational quantifiers one does not seem to have very strong intuitions about the content of the Mostowskian invariance criterion for logical quantifiers.  ...  The emphasis on the theoretical grounds for the generalization of quantifiers leads to genuine logical results belonging to the main themes of modern logic.  ... 
doi:10.12775/llp.1994.010 fatcat:g2updyzdt5htpey4t7tridfjqe

Variance Theses in Ontology and Metaethics [chapter]

Matti Eklund
2020 Conceptual Engineering and Conceptual Ethics  
On the one hand, ontological realists say yes, and, on the other hand, friends of quantifier variance say no.  ...  One aim is to arrive at conclusions regarding possible limits to the project of conceptual engineering.  ...  Special thanks to Tim Button, Andy Egan (who was my commentator in Zermatt), and David Plunkett for helpful comments.  ... 
doi:10.1093/oso/9780198801856.003.0010 fatcat:haitc2fkujd25ol7dyva55lcoa

Number Determiners, Numbers, and Arithmetic

T. Hofweber
2005 Philosophical Review  
since they come down to first-order quantifiers is rarely explicitly discussed at any length, though widely assumed.  ...  The association of number quantifiers or determiners with number words as singular terms through type shifting is central to both proposals.  ...  der Does holds this comes with, and other issues. 25 The following larger picture focuses on the philosophy of arithmetic.  ... 
doi:10.1215/00318108-114-2-179 fatcat:dct5whply5fjjn2xafog3uev5u

Response bias in relational reasoning

Stephen E. Newstead, Paul Pollard, Richard A. Griggs
1986 Bulletin of the Psychonomic Society  
Although the majority of the quantified relationships were responded to as if they were symmetrical, most were also regarded as transitive.  ...  In this study, we investigated the possibility that a response bias might be responsible for the typical pattern of responding observed when people reason about artificial relationships, especially set  ...  It was also high with respect to logic, since only one of the quantifiers (all) possesses this property.  ... 
doi:10.3758/bf03330514 fatcat:xgfpedpg6vbazcgps72enp76zi

Reply to Bacon, Hawthorne and Uzquiano

Timothy Williamson
2016 Canadian Journal of Philosophy  
Thus Prior's theorem looks to make false predictions about easily observable events. On the face of it, the problem has nothing special to do with higher-order modal logic.  ...  For instance, we can read Q as 'TW visibly wrote at 8.45 that', with reference to the morning on which I wrote this paragraph.  ...  3 appeal to modality, we may reasonably hope for a non-modal explanation of what went wrong.  ... 
doi:10.1080/00455091.2016.1205852 fatcat:343vmulrcrhrtlabube35kxhpu

The vagueness argument against abstract artifacts

Daniel Z. Korman
2013 Philosophical Studies  
Musical works would seem to lack any spatial location and yet are evidently created by their composers.  ...  A minor variant of an influential and widely discussed argument for universalism-the vagueness argument-threatens to undermine creationism. I will show that these arguments stand or fall together.  ...  This paper was inspired in part by Elizabeth Barnes's (2007) observation that sparse property ontologies give rise to vague existence.  ... 
doi:10.1007/s11098-013-0232-5 fatcat:66gbvjgah5d3jonmjne6kbnzye

Left periphery and how-why alternations

Wei-Tien Dylan Tsai
2008 Journal of East Asian linguistics  
These wh-expressions differ dramatically with respect to their behavior towards locality principles.  ...  Causal wh and reason wh are analyzed as sentential operators in the left periphery, which scope over the entire IP and take the corresponding event/state as their complements.  ...  Reason why interacts with the subject quantifier everyone, as in (59a), but causal how does not, as in (59b), and how come can only take wide scope: (59) a. Why does everyone hate John?  ... 
doi:10.1007/s10831-008-9021-0 fatcat:x5rzq5artzcozocrs5rewlld2u

A multi-dimensional treatment of quantification in extraordinary English

Paul Dekker
2008 Linguistics and Philosophy  
Armed with insights from dynamic semantics (Heim, Krifka) the two turn out to stand up against age-old criticisms in an orthodox fashion.  ...  The plan is mainly methodological, as I only want to illustrate the technical feasibility of the revived proposals.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided  ... 
doi:10.1007/s10988-008-9034-1 fatcat:5lbw43d3rncerbtkdjaxmris6e

STEPS TOWARDS A FIRST-ORDER LOGIC OF EXPLICIT AND IMPLICIT BELIEF [chapter]

Gerhard Lakemeyer
1986 Theoretical Aspects of Reasoning About Knowledge  
While most of the work has concentrated on propositional logics of belief, this paper primarily addresses issues raised by adding quantifiers to such logics.  ...  ~(S), the set of all possible worlds compatible with S, is then the union of all ~(s) for 8 e S.  ...  I would also like to thank Alan Frisch, Jim des Rivi~res, Murray Mazer, Greg McArthur, and Martin Stanley. Their comments have led to numerous improvements of the paper.  ... 
doi:10.1016/b978-0-934613-04-0.50027-2 fatcat:ilveyq5npveyrnh7cd44abhnfa

Number agreement in Basque [chapter]

Urtzi Etxeberria, Ricardo Etxepare
2012 Linguistics Today  
We also show that non-agreeing quantifiers are sensitive to the nature of the predicates they associate with.  ...  This paper argues that Basque non-agreeing quantifiers are conceptually measures and that measures head their own functional projection in the expanded structure of the Noun Phrase.  ...  This is the reason why non-agreeing quantifiers will only be able to combine with predicates that denote a non-trivial part-whole structure.  ... 
doi:10.1075/la.187.07etx fatcat:da4zhccrsfc6pon4ujcseuezr4

From Remnants to Things, and Back Again [chapter]

Thomas Hofweber
2016 Meanings and Other Things  
The trouble with Things If a no-reference theory is a coherent option for the semantics of that-clauses then the question becomes what reason we might have to think it is wrong, and thus what reason we  ...  Although Schiffer's reasons for rejecting the view in Remnants are unconvincing to me, there are plenty of problems with his view in that book, and there are also plenty of problems with his view in Things  ... 
doi:10.1093/acprof:oso/9780199684939.003.0003 fatcat:dqxid3umu5fabo5y6asemlmniu
« Previous Showing results 1 — 15 out of 640,315 results