IcardEtAl2017: experimental results (generated)

Auto-generated from Linglib/Data/Experiments/IcardEtAl2017.json by scripts/gen_experiments.py. Do not edit by hand: edit the JSON and re-run the generator.

Two 2 (causal structure) x 2 (norm violation) x 4 (vignette) between-subjects experiments in which participants rated, on a 1 to 7 scale, their agreement that the varied agent caused the outcome. Experiment 1 varies a prescriptive norm, Experiment 2 a statistical one. The tables record the participant counts and the condition means and standard deviations printed for each causal structure, collapsed over the four vignettes; the by-vignette means are only plotted (Figures A1 and B1). Section numbers are those of the accepted preprint (PsyArXiv g7cqk).

Raw data

• https://osf.io/j23gr: the raw data of both experiments, as the paper states; not downloaded

References

• [IKK17]

inductive IcardEtAl2017.Experiment : Type

The two experiments, by the kind of norm the varied agent violates.

• prescriptive : Experiment

  1: Experiment 1, prescriptive norms

• statistical : Experiment

  2: Experiment 2, statistical norms

@[instance_reducible]

instance IcardEtAl2017.instDecidableEqExperiment : DecidableEq Experiment

Equations

• IcardEtAl2017.instDecidableEqExperiment x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def IcardEtAl2017.instReprExperiment.repr : Experiment → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance IcardEtAl2017.instReprExperiment : Repr Experiment

Equations

• IcardEtAl2017.instReprExperiment = { reprPrec := IcardEtAl2017.instReprExperiment.repr }

@[instance_reducible]

instance IcardEtAl2017.instFintypeExperiment : Fintype Experiment

Equations

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

inductive IcardEtAl2017.CausalStructure : Type

The causal structure of the vignette, how the outcome depends on the two agents.

• conjunctive : CausalStructure

  conjunctive: the outcome needs both agents

• disjunctive : CausalStructure

  disjunctive: the outcome needs either agent

@[instance_reducible]

instance IcardEtAl2017.instDecidableEqCausalStructure : DecidableEq CausalStructure

Equations

• IcardEtAl2017.instDecidableEqCausalStructure x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance IcardEtAl2017.instReprCausalStructure : Repr CausalStructure

Equations

• IcardEtAl2017.instReprCausalStructure = { reprPrec := IcardEtAl2017.instReprCausalStructure.repr }

def IcardEtAl2017.instReprCausalStructure.repr : CausalStructure → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance IcardEtAl2017.instFintypeCausalStructure : Fintype CausalStructure

Equations

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

inductive IcardEtAl2017.Normality : Type

Whether the varied agent's action violates the norm.

• normative : Normality

  normative: the varied agent follows the norm

• violation : Normality

  norm violation: the varied agent violates the norm

@[instance_reducible]

instance IcardEtAl2017.instDecidableEqNormality : DecidableEq Normality

Equations

• IcardEtAl2017.instDecidableEqNormality x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def IcardEtAl2017.instReprNormality.repr : Normality → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance IcardEtAl2017.instReprNormality : Repr Normality

Equations

• IcardEtAl2017.instReprNormality = { reprPrec := IcardEtAl2017.instReprNormality.repr }

@[instance_reducible]

instance IcardEtAl2017.instFintypeNormality : Fintype Normality

Equations

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

def IcardEtAl2017.recruited : ℕ

Workers recruited for each experiment. (sections 5.1.1 and 5.2.1; checked against the page images.)

Equations

• IcardEtAl2017.recruited = 480

structure IcardEtAl2017.Participants : Type

A row of sections 5.1.2 and 5.2.2: the participants excluded for failing a manipulation check and those analyzed.

• excluded : ℕ

  Participants excluded.

• analyzed : ℕ

  Participants analyzed.

def IcardEtAl2017.instDecidableEqParticipants.decEq (x✝ x✝¹ : Participants) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance IcardEtAl2017.instDecidableEqParticipants : DecidableEq Participants

Equations

• IcardEtAl2017.instDecidableEqParticipants = IcardEtAl2017.instDecidableEqParticipants.decEq

def IcardEtAl2017.instReprParticipants.repr : Participants → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance IcardEtAl2017.instReprParticipants : Repr Participants

Equations

• IcardEtAl2017.instReprParticipants = { reprPrec := IcardEtAl2017.instReprParticipants.repr }

def IcardEtAl2017.participants : Experiment → Participants

The cells of sections 5.1.2 and 5.2.2, by experiment; checked against the page images.

Equations

• IcardEtAl2017.participants IcardEtAl2017.Experiment.prescriptive = { excluded := 54, analyzed := 426 }
• IcardEtAl2017.participants IcardEtAl2017.Experiment.statistical = { excluded := 110, analyzed := 370 }

structure IcardEtAl2017.Rating : Type

A row of sections 5.1.2 and 5.2.2: the mean agreement rating and its standard deviation in each cell, collapsed over vignettes.

• mean : Data.Experiments.Decimal

  The mean agreement rating, 1 to 7.

• sd : Data.Experiments.Decimal

  The standard deviation.

def IcardEtAl2017.instDecidableEqRating.decEq (x✝ x✝¹ : Rating) : Decidable (x✝ = x✝¹)

Equations

• IcardEtAl2017.instDecidableEqRating.decEq { mean := a, sd := a_1 } { mean := b, sd := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

@[instance_reducible]

instance IcardEtAl2017.instDecidableEqRating : DecidableEq Rating

Equations

• IcardEtAl2017.instDecidableEqRating = IcardEtAl2017.instDecidableEqRating.decEq

def IcardEtAl2017.instReprRating.repr : Rating → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance IcardEtAl2017.instReprRating : Repr Rating

Equations

• IcardEtAl2017.instReprRating = { reprPrec := IcardEtAl2017.instReprRating.repr }

def IcardEtAl2017.ratings : Experiment → CausalStructure → Normality → Rating

The cells of sections 5.1.2 and 5.2.2, by experiment and structure and normality; checked against the page images.

Equations

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