Thomas Icard
Assistant Professor of Philosophy and, by courtesy, of Computer Science
Web page: http://web.stanford.edu/people/icard
Academic Appointments
-
Assistant Professor, Philosophy
-
Assistant Professor (By courtesy), Computer Science
2017-18 Courses
- Logic and Artificial Intelligence
CS 257, PHIL 356C (Win) - Mathematical Logic
PHIL 150, PHIL 250 (Aut) - Metalogic
PHIL 151, PHIL 251 (Win) - Research Seminar on Logic and Cognition
PHIL 357 (Aut) -
Independent Studies (12)
- Advanced Reading and Research
CS 499 (Aut) - Advanced Reading and Research
CS 499P (Aut) - Curricular Practical Training
PHIL 197C (Sum) - Curricular Practical Training
PHIL 297C (Sum) - Independent Study
SYMSYS 196 (Aut) - Independent Study
SYMSYS 296 (Aut) - Individual Work for Graduate Students
PHIL 240 (Aut, Win, Spr) - Individual Work, Undergraduate
PHIL 197 (Win, Spr) - Master's Degree Project
SYMSYS 290 (Aut, Win, Spr) - Senior Honors Tutorial
SYMSYS 190 (Aut) - Teaching in Symbolic Systems
SYMSYS 297 (Aut) - Tutorial, Senior Year
PHIL 196 (Win, Spr)
- Advanced Reading and Research
-
Prior Year Courses
2016-17 Courses
- Computability and Logic
PHIL 152, PHIL 252 (Spr) - Logic and Artificial Intelligence
CS 257, PHIL 356C (Win) - Mathematical Logic
PHIL 150, PHIL 250 (Aut) - Research Seminar in Logic
MATH 391, PHIL 391 (Aut, Win) - Topics in Logic, Information and Agency
PHIL 359 (Spr)
2015-16 Courses
- Information, Computation, and Intelligence
PHIL 357 (Win) - Mathematical Logic
PHIL 150, PHIL 250 (Aut) - Metalogic
PHIL 151, PHIL 251 (Win) - Minds and Machines
LINGUIST 144, PHIL 99, PSYCH 35, SYMSYS 100 (Aut)
2014-15 Courses
- Mathematical Logic
PHIL 150, PHIL 250 (Aut) - Metalogic
PHIL 151, PHIL 251 (Win) - Minds and Machines
LINGUIST 144, PHIL 99, PSYCH 35, SYMSYS 100 (Aut) - Workshop in Philosophical logic
PHIL 392 (Aut, Win, Spr)
- Computability and Logic
All Publications
-
Normality and actual causal strength.
Cognition
2017; 161: 80-93
Abstract
Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in existing studies. More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation.
View details for DOI 10.1016/j.cognition.2017.01.010
View details for PubMedID 28157584
-
Pragmatic Considerations on Comparative Probability
PHILOSOPHY OF SCIENCE
2016; 83 (3): 348-370
View details for Web of Science ID 000378293100003
-
A note on cancellation axioms for comparative probability
THEORY AND DECISION
2016; 80 (1): 159-166
View details for DOI 10.1007/s11238-015-9491-2
View details for Web of Science ID 000369017600007
-
Higher-Order Syllogistics
19th International Conference on Formal Grammar (FG)
SPRINGER-VERLAG BERLIN. 2014: 1–14
View details for Web of Science ID 000348363900001
-
Information dynamics and uniform substitution
SYNTHESE
2013; 190: 31-55
View details for DOI 10.1007/s11229-013-0278-0
View details for Web of Science ID 000330623500003
-
Iterating semantic automata
LINGUISTICS AND PHILOSOPHY
2013; 36 (2): 151-173
View details for DOI 10.1007/s10988-013-9132-6
View details for Web of Science ID 000323661000002
-
Inclusion and Exclusion in Natural Language
STUDIA LOGICA
2012; 100 (4): 705-725
View details for DOI 10.1007/s11225-012-9425-8
View details for Web of Science ID 000309056000004
-
Provability and Interpretability Logics with Restricted Realizations
NOTRE DAME JOURNAL OF FORMAL LOGIC
2012; 53 (2): 133-154
View details for DOI 10.1215/00294527-1715653
View details for Web of Science ID 000305371100001
-
A Topological Study of the Closed Fragment of GLP
JOURNAL OF LOGIC AND COMPUTATION
2011; 21 (4): 683-696
View details for DOI 10.1093/logcom/exp043
View details for Web of Science ID 000293303900008
-
Schematic Validity in Dynamic Epistemic Logic: Decidability
3rd International Workshop on Logic, Rationality and Interaction
SPRINGER-VERLAG BERLIN. 2011: 87–96
View details for Web of Science ID 000308839700006