Arthur Paul Pedersen

ARTHUR PAUL PEDERSEN

GRADUATE STUDENT

Department of Philosophy	Phone: +1 412.268.9669
Carnegie Mellon University	E-Mail: apaulpedersen@cmu.edu
Baker Hall 138
Pittsburgh, PA 15213	CURRICULUM VITÆ

RESEARCH INTERESTS	Epistemology, Belief Revision, Rational Choice, Philosophical Logic, Philosophy of Logic, Metaphysics, Philosophy of Science, Philosophy of Mathematics, Philosophy of Language
HONORS AND AWARDS:	Chancellor's Fellowship for Graduate Study, awarded by the Graduate Dean of the University of California, Berkeley, to pursue a doctoral degree in the Group in Logic and the Methodology of Science, 2008 - 2011 (award declined) Nuffic HSP Huygens Scholarship, awarded by the Dutch Ministry of Education, Culture and Science, to study at the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, 2006 - 2008 (award declined) NSF VIGRE grant to conduct research on continuous first-order logic, 2005 - 2006 Notre Dame Department of Mathematics Scholarship to participate in proof theory course at the University of Notre Dame, Summer 2005 Elected member of the Phi Beta Kappa academic honor society Dean's Honor List
PUBLICATIONS:	"A Proof of Completeness for Continuous First-Order Logic." A.P. Pedersen & I. Ben Yaacov. Forthcoming in Journal of Symbolic Logic. "Bounded Rationality: Models for Some Fast and Frugal Heuristics." A.P. Pedersen & H. Arló-Costa. (Revised: 27 May 2008). Forthcoming in A. Gupta and J. F. A. K. van Benthem, editors, Proceedings of the Second Indian Conference on Logic and its Relationship with Other Disciplines. A tribute to Rohit Parikh on the occasion of his 70th birthday.
PRESENTATIONS:	"Completeness for Continuous First-Order Logic." (10 April 2007). Math Logic Seminar, Carnegie Mellon University. "Completeness for Continuous First-Order Logic." (2 March 2006). Tom Kent Logic Seminar, University of Wisconsin-Madison.

TEACHING
	Spring 2008:	80-253 Continental Philosophy (9 Units)

		Instructor: Robert Cavalier
		Section A: TR 1:30 - 2:50 PM Room PH A22

	Fall 2007:	80-100 What Philosophy Is (9 Units)

		Instructor: John Mumma
		Lecture 2: MW 1:30 - 2:20 PM Room WEH 5403
		Sections: G 1:30 - 2:20 PM Room HBH 237
		H 2:30 - 3:20 PM Room SH 212

	Summer 2007:	80-212 Arguments and Logical Analysis (9 Units)

		Instructor: Arthur Paul Pedersen
		Section E: MTWRF 3:00 - 4:20 PM Room SH 220
		Section U: MTWRF 3:00 - 4:20 PM Room SH 220
		Note: Sections E and U have same instructor.

	Spring 2007:	80-341 Computers, Society and Ethics (9-12 units)

		Instructor: Peter Madsen
		Section A: TR 1:30 - 2:50 PM Room HBH 1003

		21-229 Set Theory (9 Units)

		Instructor: Ernest Schimmerling
		Section A: MWF 2:30-3:20 PM Room PH A20

	Fall 2006:	80-100 What Philosophy Is (9 units)

		Instructor: Mara Harrell
		Lecture 2: MW 1:30 - 2:20 PM Room BH 136A
		Sections: F 11:30 - 12:20 PM Room BH 231A
		F 12:30 - 1:20 PM Room BH A54

Department of Mathematical Sciences
Department of Statistics
School of Computer Science

My CMU

Schedule of Classes
The HUB - Enrollment Services