Machine translation has wide applications in daily life. In mission-critical applications such
as translating official documents, incorrect translation can have unpleasant or sometimes …

This article examines how Quine and Sellars develop informatively contrasting responses to
a fundamental tension in Carnap's semantics ca. 1950. Quine's philosophy could well be …

To be a proposition is to possess propositional properties and to stand in inferential
relations. This is the organic intuition,[OI], concerning propositional recognition.[OI] is not a …

One of the most frequently used notions in linguistics, logical analysis of language, and in
logic itself is the notion of scope. The scopes of quantifiers and of other logically active …

Монография посвящена онтологии стандартной и девиантной квантификации. В
работе сопоставляются эвристические возможности и онтологические обязательства …

This chapter is about a question and a book—the question that gives me my title, and the
Minute Logic (ML), a book Peirce began to write in the summer of 1901, but abandoned four …

What is now known as classical first-order logic has become one of the most important tools
in the philosopher's toolbox. It particularly influenced philosophy of language and through …

I propose a novel way of viewing the connection between mathematical discourse and the
mathematical logician's formalizations of it. We should abandon the idea that formalizations …

The author asserts that Aristotelian categorical propositions (ACPs), formalized as the
structure" QX apply to/not to Y" where Q is either universal or particular, and X, Y are terms …

This chapter proposes to marry generalised quantifiers with game-theoretic semantics
(GTS). It is argued that generalised quantifiers are no impediment to a game-theoretic …