When replacing the non-negative real numbers with their addition by a commutative quantale V, under a metric lens one may then view small V-categories as sets that come with a V-valued distance function. The ensuing category V-Cat is well known to be a concrete topological category that is symmetric monoidal closed. In this paper we show which concrete symmetric monoidalclosed topological categ...

This paper investigates the acquisition of evidentiality (the linguistic encoding of information source) and its relation to evidential reasoning in Turkish children. Previous studies suggest that evidential morphology is acquired relatively late, perhaps in accordance with developing cognitive abilities (Aksu-Koc, 1988 on Turkish). We focus on two evidential verbal morphemes in Turkish: -DI, u...

We propose a new model in STAG syntax and semantics for subordinate conjunctions (SubConjs) and attributing phrases – attitude/reporting verbs (AVs; believe, say) and attributing prepositional phrase (APPs; according to). This model is discourse-oriented, and is based on the observation that SubConjs and AVs are not homogeneous categories. Indeed, previous work has shown that SubConjs can be di...

Standard equilibrium concepts in game theory find it diffi cult to explain the empirical evidence from a large number of static games including the prisoners’dilemma game, the hawk-dove game, voting games, public goods games and oligopoly games. Under uncertainty about what others will do in one-shot games, evidence suggests that people often use evidential reasoning (ER), i.e., they assign dia...

What is the relation between language and thought? Specifically, how do linguistic and conceptual representations make contact during language learning? This paper addresses these questions by investigating the acquisition of evidentiality (the linguistic encoding of information source) and its relation to children’s evidential reasoning. Previous studies have hypothesized that the acquisition ...

This is a different question. Call this the Evidence Question. The EvidenceFor Question has received significant attention. Debates in the Bayesian literature about the correct confirmation function, for instance, are aimed at the answering the Evidence-For Question.1 The Evidence Question is somewhat less investigated.2 Nevertheless, it is important. According to prominent epistemological view...

The pairing of linguistic form to discourse function has been much discussed in the literature over the last several years. Prince (1996) phrases the question thusly: what is it exactly that discourse functions are associated with? Particular form-function pairings do not appear to be cross-linguistically universal; a given linguistic – that is, syntactic – form may be associated in different l...

This paper presents the evidential paradigm of computer-supported mathematical assistance in “doing” mathematics and in reasoning activity. At present, the evidential paradigm is implemented in the form of System for Automated Deduction (SAD). The system is based on the methods of automated theorem proving and is intended for intelligent mathematical text processing. It proves mathematical theo...

Standard equilibrium concepts in game theory find it difficult to explain the empirical evidence from a large number of static games, including the prisoners’ dilemma game, the hawk-dove game, voting games, public goods games and oligopoly games. Under uncertainty about what others will do in one-shot games, evidence suggests that people often use evidential reasoning (ER), i.e., they assign di...