Docs / Semantics / Attitudes / Basic

Attitude predicates: the classification

import Linglib.Semantics.Attitudes.Basic

This file is the root of the attitude API: the semantic classification a clause-embedding predicate's lexical entry records, from which its combinatorial properties are derived. A doxastic predicate quantifies over epistemic or doxastic alternatives, Hintikka's knowledge and belief (Doxastic.Alternatives); Karttunen's split of the factives into full and semi-factives is Factivity, on the presupposition facet. The classical cut between know and believe is derived from the two: a doxastic predicate is veridical when it is factive or its alternatives are epistemic (Attitude.IsVeridical), exactly when every denotation of that kind is (Doxastic.isVeridical_forall_iff). A preferential predicate has the evaluative valence of a gradable predicate, positive for hope and negative for fear, and is clausally distributive or not. Villalta's degree comparison relates its subject to a question exactly when it relates her to some answer, while worry, Mandarin qidai and care relate her to the question itself and can hold of no particular answer. Attitude composes the two dimensions, and verb entries record one.

Implementation notes

For a factive the factivity alone decides IsVeridical, so the alternatives of a factive entry do not bear on its veridicality. Entries classify them by Hintikka's knowledge: a factive whose meaning entails that the holder knows its complement, as know, realize, discover, notice, remember, forget and see do, quantifies over epistemic alternatives.

The binary cut between veridical and non-veridical is the classical default; Giannakidou's three-way veridical, nonveridical, and antiveridical taxonomy and finer attitude typologies such as Anand and Hacquard's cut the space differently. Clausal distributivity is recorded, as in Qing and Uegaki's classification, rather than derived, since the non-distributive predicates share no denotation. Speech-act predicates are outside the classification.

References

Declarations

An attitude predicate is doxastic, with an accessibility semantics over its alternatives (Hintikka 1962), or preferential, with an evaluative valence and a record of whether it is clausally distributive in the sense of Distributivity.IsDistributive, as the degree comparisons are (Preferential.isDistributive_degreeComparison) and worry is not.

inductive AttitudeL57–64

Derives DecidableEq, Repr.

Built from

Used by Attitude.IsVeridical, Attitude.IsPreferential, Attitude.valence

Used in Fragments/Adyghe/Clause, Fragments/Dutch/Verbs, Fragments/English/Verbs/Basic, Fragments/Finnish/Verbs, Fragments/German/Verbs and 16 more

The attitude is doxastic and veridical, entailing its complement: a predicate of factivity class fac is, when it is factive or quantifies over epistemic alternatives, as know and discover do and believe and think do not.

def Attitude.IsVeridicalL68–73

Built from

Used by Attitude.instDecidablePredIsVeridical

Used in Semantics/Attitudes/Doxastic, Bondarenko2022, Noonan2007