[BOOK][B] The theory and practice of social machines

N Shadbolt, K O'Hara, D De Roure, W Hall - 2019 - Springer
In 2007 and into 2008, a disputed presidential election in Kenya ended in a tragic and
complex pattern of violent protests, heavy-handed responses from the police and ethnically …

Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events

S Almpani, P Stefaneas - Foundations of Science, 2023 - Springer
This paper explores the relationship between informal reasoning, creativity in mathematics,
and problem solving. It underscores the importance of environments that promote …

Formalization of mathematical proof practice through an argumentation-based model

S Almpani, P Stefaneas, I Vandoulakis - Global Philosophy, 2023 - Springer
Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or
reveal implicit assumptions in a purported proof. Hence, argumentation is an integral …

Evidence, proofs, and derivations

A Aberdein - ZDM, 2019 - Springer
The traditional view of evidence in mathematics is that evidence is just proof and proof is just
derivation. There are good reasons for thinking that this view should be rejected: it …

Using crowdsourced mathematics to understand mathematical practice

A Pease, U Martin, FS Tanswell, A Aberdein - ZDM, 2020 - Springer
Records of online collaborative mathematical activity provide us with a novel, rich,
searchable, accessible and sizeable source of data for empirical investigations into …

EthicAmanuensis: supporting machine learning practitioners making and recording ethical decisions

D Murray-Rust, K Tsiakas - 2022 IEEE 34th International …, 2022 - ieeexplore.ieee.org
Ethics should be a practice, not a checkbox. Data scientists want to answer questions about
individuals and society using the vast torrent of data that flows around us. Machine learning …

Argumentation in Mathematical Practice

A Aberdein, Z Ashton - Handbook of the History and Philosophy of …, 2023 - Springer
Formal logic has often been seen as uniquely placed to analyze mathematical
argumentation. While formal logic is certainly necessary for a complete understanding of …

[CITATION][C] Guided Inquiry Learning: How to Improve Students' Argumentation Abilities in Science Learning?

J Ikhsan, A Wiyarsi - Journal of Education Technology, 2023

DESKRIPSI STRUKTUR ARGUMENTASI SISWA SEKOLAH MENENGAH ATAS KELAS XII PADA PEMBUKTIAN MATERI BANGUN RUANG

R Alysia, N Aisyah, WD Pratiwi… - …, 2023 - edutainment.unmuhbabel.ac.id
Penelitian ini bertujuan untuk menganalisis kemampuan berargumen peserta didik SMA
kelas XII dalam pembuktian pada materi bangun ruang dimensi tiga dengan bantuan two …

[PDF][PDF] Λογική της Επιχειρηματολογίας και των Κανόνων με Eφαρμογές σε Μαθηματικές Αποδείξεις και Νομικά Συστήματα Τεχνητής Νοημοσύνης

Σ Αλμπάνη - 2022 - dspace.lib.ntua.gr
Proving is the validation of conclusions by application of logical arguments and rules to
assumptions. In mathematics, an assertion is not accepted as true or valid unless it is …