structure Phenomena.Questions.PragmaticAnswerhood.PragmaticRigidityDatum : Type

G&S p. 359: Terms can be pragmatically rigid without being semantically rigid. "Your father" is not semantically rigid, but pragmatically rigid for anyone who knows who their father is.

• question : String

  The question

• answer : String

  The answer

• semanticallyRigid : Bool

  Is the term semantically rigid?

• pragmaticallyRigid : Bool

  Is the term pragmatically rigid (in typical contexts)?

• requiredInformation : String

  What information makes it pragmatically rigid?

• explanation : String

  Explanation

• source : String

  Source

instance Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticRigidityDatum : Repr PragmaticRigidityDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticRigidityDatum = { reprPrec := Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticRigidityDatum.repr }

def Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticRigidityDatum.repr : PragmaticRigidityDatum → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.yourFather : PragmaticRigidityDatum

G&S p. 359: "Your father" example

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.tourDeFrance1980 : PragmaticRigidityDatum

G&S p. 359: Tour de France example

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.pragmaticRigidityExamples : List PragmaticRigidityDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.pragmaticRigidityExamples = [Phenomena.Questions.PragmaticAnswerhood.yourFather, Phenomena.Questions.PragmaticAnswerhood.tourDeFrance1980]

structure Phenomena.Questions.PragmaticAnswerhood.FalseTrueDatum : Type

G&S p. 360: A FALSE proposition can give a TRUE pragmatic answer. This happens when the questioner has false beliefs that nevertheless lead them to the correct conclusion.

• question : String

  The question

• answer : String

  The answer given

• falseBelief : String

  The false belief of the questioner

• propositionExpressed : String

  The proposition expressed by the answer

• propositionTrue : Bool

  Is the proposition true?

• conveysTrue : Bool

  Does it convey true information to the questioner?

• informationReceived : String

  What true information does the questioner receive?

• source : String

  Source

instance Phenomena.Questions.PragmaticAnswerhood.instReprFalseTrueDatum : Repr FalseTrueDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.instReprFalseTrueDatum = { reprPrec := Phenomena.Questions.PragmaticAnswerhood.instReprFalseTrueDatum.repr }

def Phenomena.Questions.PragmaticAnswerhood.instReprFalseTrueDatum.repr : FalseTrueDatum → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.zoetemelkWinner : FalseTrueDatum

G&S p. 360: False proposition giving true pragmatic answer

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.falseTrueExamples : List FalseTrueDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.falseTrueExamples = [Phenomena.Questions.PragmaticAnswerhood.zoetemelkWinner]

structure Phenomena.Questions.PragmaticAnswerhood.PragmaticDefinitenesssDatum : Type

G&S p. 360-361: Indefinite terms can be pragmatically definite when the questioner's information uniquely identifies the referent.

• question : String

  The question

• answer : String

  The answer

• semanticallyDefinite : Bool

  Is the term semantically definite?

• pragmaticallyDefinite : Bool

  Is the term pragmatically definite (in context)?

• contextInfo : String

  What context makes it pragmatically definite?

• explanation : String

  Explanation

• source : String

  Source

instance Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticDefinitenesssDatum : Repr PragmaticDefinitenesssDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticDefinitenesssDatum = { reprPrec := Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticDefinitenesssDatum.repr }

def Phenomena.Questions.PragmaticAnswerhood.instReprPragmaticDefinitenesssDatum.repr : PragmaticDefinitenesssDatum → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.elderlyLady : PragmaticDefinitenesssDatum

G&S p. 360: "An elderly lady wearing glasses" example

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.pragmaticDefinitenessExamples : List PragmaticDefinitenesssDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.pragmaticDefinitenessExamples = [Phenomena.Questions.PragmaticAnswerhood.elderlyLady]

structure Phenomena.Questions.PragmaticAnswerhood.NonExhaustiveImplicationDatum : Type

G&S p. 361-362: Non-exhaustive answers can pragmatically imply exhaustive information through background knowledge.

• question : String

  The question

• answer : String

  The explicitly non-exhaustive answer

• backgroundKnowledge : String

  Background knowledge that enables inference

• exhaustiveConclusion : String

  The exhaustive conclusion drawn

• explanation : String

  Why this works

• source : String

  Source

instance Phenomena.Questions.PragmaticAnswerhood.instReprNonExhaustiveImplicationDatum : Repr NonExhaustiveImplicationDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.instReprNonExhaustiveImplicationDatum = { reprPrec := Phenomena.Questions.PragmaticAnswerhood.instReprNonExhaustiveImplicationDatum.repr }

def Phenomena.Questions.PragmaticAnswerhood.instReprNonExhaustiveImplicationDatum.repr : NonExhaustiveImplicationDatum → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.profAContribution : NonExhaustiveImplicationDatum

G&S p. 362: Prof. A. example

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.profAAcceptance : NonExhaustiveImplicationDatum

G&S p. 362: Same answer, different question, different result

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.nonExhaustiveExamples : List NonExhaustiveImplicationDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.nonExhaustiveExamples = [Phenomena.Questions.PragmaticAnswerhood.profAContribution, Phenomena.Questions.PragmaticAnswerhood.profAAcceptance]

structure Phenomena.Questions.PragmaticAnswerhood.AnswerhoodComparisonDatum : Type

G&S p. 355: Semantic answerhood is a limit case of pragmatic answerhood. When J = I (no factual information), pragmatic = semantic.

• question : String

  The question

• answer : String

  The answer

• semanticAnswer : Bool

  Is it a semantic answer?

• pragmaticAnswer : Bool

  Is it a pragmatic answer in typical J?

• explanation : String

  Why the difference?

• source : String

  Source

instance Phenomena.Questions.PragmaticAnswerhood.instReprAnswerhoodComparisonDatum : Repr AnswerhoodComparisonDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.instReprAnswerhoodComparisonDatum = { reprPrec := Phenomena.Questions.PragmaticAnswerhood.instReprAnswerhoodComparisonDatum.repr }

def Phenomena.Questions.PragmaticAnswerhood.instReprAnswerhoodComparisonDatum.repr : AnswerhoodComparisonDatum → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.definitePragmatic : AnswerhoodComparisonDatum

Definite description: pragmatically rigid but not semantically

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.answerhoodComparisonExamples : List AnswerhoodComparisonDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.answerhoodComparisonExamples = [Phenomena.Questions.PragmaticAnswerhood.definitePragmatic]

structure Phenomena.Questions.PragmaticAnswerhood.DisharmoniousInfoDatum : Type

G&S p. 361: Indefinite terms are appropriate when speech participants have disharmonious information but must achieve information exchange.

• situation : String

  Description of the situation

• question : String

  The question

• answer : String

  The answer

• questionerInfo : String

  Questioner's information

• answererInfo : String

  Answerer's information

• explanation : String

  Why the exchange works

• source : String

  Source

def Phenomena.Questions.PragmaticAnswerhood.instReprDisharmoniousInfoDatum.repr : DisharmoniousInfoDatum → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

instance Phenomena.Questions.PragmaticAnswerhood.instReprDisharmoniousInfoDatum : Repr DisharmoniousInfoDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.instReprDisharmoniousInfoDatum = { reprPrec := Phenomena.Questions.PragmaticAnswerhood.instReprDisharmoniousInfoDatum.repr }

def Phenomena.Questions.PragmaticAnswerhood.bootShop : DisharmoniousInfoDatum

G&S p. 361: Boot shop example of disharmonious information

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.disharmoniousExamples : List DisharmoniousInfoDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.disharmoniousExamples = [Phenomena.Questions.PragmaticAnswerhood.bootShop]

structure Phenomena.Questions.PragmaticAnswerhood.InstitutionalAnswerDatum : Type

G&S p. 363, 390: In highly institutionalized settings (courts, etc.), semantic answers are required because information sets vary widely.

• setting : String

  The setting

• requirement : String

  Why semantic answers are required

• acceptableAnswer : String

  Example of acceptable answer

• unacceptableAnswer : String

  Example of unacceptable answer

• explanation : String

  Explanation

• source : String

  Source

instance Phenomena.Questions.PragmaticAnswerhood.instReprInstitutionalAnswerDatum : Repr InstitutionalAnswerDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.instReprInstitutionalAnswerDatum = { reprPrec := Phenomena.Questions.PragmaticAnswerhood.instReprInstitutionalAnswerDatum.repr }

def Phenomena.Questions.PragmaticAnswerhood.instReprInstitutionalAnswerDatum.repr : InstitutionalAnswerDatum → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.courtTestimony : InstitutionalAnswerDatum

G&S p. 363, 390: Court testimony example

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.institutionalExamples : List InstitutionalAnswerDatum

Equations

• Phenomena.Questions.PragmaticAnswerhood.institutionalExamples = [Phenomena.Questions.PragmaticAnswerhood.courtTestimony]

def Phenomena.Questions.PragmaticAnswerhood.semanticAsLimit : String

G&S p. 355: Semantic answerhood as limit of pragmatic answerhood

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.pragmaticEase : String

G&S p. 358: Why pragmatic properties make answering easier

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.Questions.PragmaticAnswerhood.indefiniteAnswers : String

G&S p. 361: When indefinite terms constitute good answers

Equations

• One or more equations did not get rendered due to their size.