-
Suppose you're on a peaceful raft floating down a quiet river, and all
of a sudden your friend tells you that there might be crocodiles in
the water. Neither of you knows for sure what's swimming around down
there, and you glance over the side of your boat into the water. You
don't see anything, ...
-
The scope of the research field of semantics seems to shrink in the
recent debate between the viewpoints of contextualism and (semantic)
minimalism. Minimalists hold that semantics is the formal endeavour
that derives a minimal proposition from the syntactically structured
input string. This sema...
-
- Tea or Coffee?
- Yes
- Huh? No, I mean, would you like tea or coffee?
- Yes
- Christ! Do you want tea?
- Yes
- So...no coffee?
- I’d prefer coffee.
- But...alright, so coffee it is. Milk or sugar?
- Yes
- ..., milk?
- no
- One lump or two?
- Yes
- No, I mean..., how many do you want?
- Three
- ...
-
The thesis discusses two properties of reasoning with quantifiers in
natural language: scalar implicatures and existential import. The
notion of scalar implicature refers in this case to inferring "not
all" from both "some" and "most", or "not most" from "some";
existential import – to the questi...
-
This thesis has been concerned with the development of inquisitive
semantics for both a propositional and a first-order language, and
with the investigation of the logical systems they give rise to.
In the first place, we discussed the features of the system arising
from the semantics proposed ...
-
The Advent of Recursion & Logic in Computer Science
Karel Van Oudheusden
–alias Edgar G. Daylight
Abstract:
The history of computer science can be viewed from a number of
disciplinary perspectives, ranging from electrical engineering to
linguistics. As stressed by the historian Michael Mahoney, ...
-
A Momentary Lapse Of Reason
Comparing Davidson's account of rationality and reasoning to that of
van Lambalgen & Stenning
Olga Grigoriadou
Abstract:
I examine and compare two accounts of rationality and logical
reasoning: that of Donald Davidson on the one hand and that of Michiel
van Lambalgen ...
-
This thesis is an analytical study of canonicity for logics with a
language consisting of constants and implications. More specifically,
logics associated with certain distinguished sub-quasivarieties of
(bi-)implicative algebras, the best known of which are the varieties
of (bi-)Hilbert algebras...
-
We present a case study of two black-box testing techniques. We
compare constraint logic programming with symbolic transition
systems. Both techniques generate automatically test cases out of the
specification of an algorithm. After our case study we decided to
design an algorithm to improve the ...
-
In the first part of this thesis, we focus on the canonical extension
of partially ordered sets, which was defined by algebraic means by
Dunn, Gehrke and Palmigiano. We show that it can be obtained
alternatively via a generalization of Urquhart and Hartung’s maximal
filter-ideal pair construction...
-
A number of properties of the data-oriented parsing model have also
been identified as being important in grammaticalization theories of
language change. The exemplar-based nature, the use of probabilities
and the incorporation of constructions are shared by both
approaches. Building on data-orie...