This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

The most recent studies on the acquisition of evidentiality, be it morphologically or syntactically encoded, have argued that the comprehension lag detected is due to factors having to do with others' authority or mental perspective, where "others" stands for other individuals involved in the experiment in various manners (e.g., the…

Existing work on the acquisition of polarity-sensitive expressions (PSIs) suggests that children show an early sensitivity to the restricted distribution of negative polarity items (NPIs), but may be delayed in the acquisition of positive polarity items (PPIs). However, past studies primarily targeted PSIs that are highly frequent in children's…

Counterfactuals describe imagined alternatives to reality that people know to be false. Successful counterfactual comprehension therefore requires people to keep in mind both an imagined hypothetical world and the presupposed real world. "Counterfactual transparency," that is, the degree to which a context makes it easy to determine…

The purpose of this study was twofold: to create a measure of morphological awareness with college students and to examine effects of morphological awareness on literacy abilities. Three morphological awareness measures, and spelling, word reading, and sentence comprehension tasks were administered to 214 undergraduate college students. Item…