printer friendly pagePHIL 150E: Logic in Action: A New Introduction to Logic
A new introduction to logic, covering propositional, modal, and first-order logic, with special attention to major applications in describing information and information-driven action. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields. Based on the open source course 'Logic in Action,' available online at
http://www.logicinaction.org/.nFulfills the undergraduate philosophy logic requirement.
Last offered: Spring 2014
| UG Reqs: GER:DB-Math, WAY-FR
PHIL 151: Metalogic (PHIL 251)
(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.
Terms: Win
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR
PHIL 151A: Recursion Theory (PHIL 251A)
Computable functions, Turing degrees, generalized computability and definability. "What does it mean for a function from the natural numbers to themselves to be computable?" and "How can noncomputable functions be classified into a hierarchy based on their level of noncomputability?". Theory of relative computability, reducibility notions and degree structures. Prerequisite is
PHIL 150, or
PHIL 151 or
CS 103.
Last offered: Winter 2013
| UG Reqs: GER:DB-Math, WAY-FR
PHIL 152: Computability and Logic (PHIL 252)
Approaches to effective computation: recursive functions, register machines, and Turing machines. Proof of their equivalence, discussion of Church's thesis. Elementary recursion theory. These techniques used to prove Gödel's incompleteness theorem for arithmetic, whose technical and philosophical repercussions are surveyed. Prerequisite: 151.
Terms: Spr
| Units: 4
| UG Reqs: GER:DB-Math
Instructors:
Steinert-Threlkeld, S. (PI)
PHIL 154: Modal Logic (PHIL 254)
(Graduate students register for 254.) Syntax and semantics of modal logic and its basic theory: including expressive power, axiomatic completeness, correspondence, and complexity. Applications to topics in philosophy, computer science, mathematics, linguistics, and game theory. Prerequisite: 150 or preferably 151.
Terms: Spr
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR
Instructors:
van Benthem, J. (PI)
PHIL 162: Philosophy of Mathematics (MATH 162, PHIL 262)
(Graduate students register for
PHIL 262.) General survey of the philosophy of mathematics, focusing on epistemological issues. Includes survey of some basic concepts (proof, axiom, definition, number, set); mind-bending theorems about the limits of our current mathematical knowledge, such as Gödel's Incompleteness Theorems, and the independence of the continuum hypothesis from the current axioms of set theory; major philosophical accounts of mathematics: Logicism, Intuitionism, Hilbert's program, Quine's empiricism, Field's program, Structuralism; concluding with a discussion of Eugene Wigner's `The Unreasonable Effectiveness of Mathematics in the Natural Sciences'. Students won't be expected to prove theorems or complete mathematical exercises. However, includes some material of a technical nature. Prerequisite: PHIL150 or consent of instructor.
Terms: Aut
| Units: 4
| UG Reqs: GER:DB-Math
Instructors:
Donaldson, T. (PI)
PHIL 166: Probability: Ten Great Ideas About Chance (PHIL 266, STATS 167, STATS 267)
Foundational approaches to thinking about chance in matters such as gambling, the law, and everyday affairs. Topics include: chance and decisions; the mathematics of chance; frequencies, symmetry, and chance; Bayes great idea; chance and psychology; misuses of chance; and harnessing chance. Emphasis is on the philosophical underpinnings and problems. Prerequisite: exposure to probability or a first course in statistics at the level of
STATS 60 or 116.
Terms: Spr
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR, WAY-AQR
PSYCH 10: Introduction to Statistical Methods: Precalculus (STATS 60, STATS 160)
Techniques for organizing data, computing, and interpreting measures of central tendency, variability, and association. Estimation, confidence intervals, tests of hypotheses, t-tests, correlation, and regression. Possible topics: analysis of variance and chi-square tests, computer statistical packages.
Terms: Aut, Win, Spr, Sum
| Units: 5
| UG Reqs: GER:DB-Math, WAY-AQR, WAY-FR
Instructors:
Chestnut, E. (PI)
;
DiCiccio, C. (PI)
;
Duan, Y. (PI)
...
more instructors for PSYCH 10 »
Instructors:
Chestnut, E. (PI)
;
DiCiccio, C. (PI)
;
Duan, Y. (PI)
;
Hook, C. (PI)
;
Mickey, K. (PI)
;
Sorenson, S. (PI)
;
Sparkman, G. (PI)
;
Taylor, J. (PI)
;
Thomas, E. (PI)
;
Walther, G. (PI)
;
Xia, L. (PI)
;
Yoon, E. (PI)
;
Bencharit, Y. (TA)
;
Chestnut, E. (TA)
;
DiCiccio, C. (TA)
;
Donnat, C. (TA)
;
Duan, Y. (TA)
;
Hook, C. (TA)
;
Miao, J. (TA)
;
Mickey, K. (TA)
;
Orenstein, P. (TA)
;
Park, B. (TA)
;
SUR, P. (TA)
;
Sparkman, G. (TA)
;
YAN, J. (TA)
;
YANG, J. (TA)
;
Yoon, E. (TA)
STATS 50: Mathematics of Sports (MCS 100)
The use of mathematics, statistics, and probability in the analysis of sports performance, sports records, and strategy. Topics include mathematical analysis of the physics of sports and the determinations of optimal strategies. New diagnostic statistics and strategies for each sport. Corequisite:
STATS 60, 110 or 116.
Terms: Spr
| Units: 3
| UG Reqs: GER:DB-Math
Instructors:
Powers, S. (PI)
;
Chin, A. (TA)
STATS 60: Introduction to Statistical Methods: Precalculus (PSYCH 10, STATS 160)
Techniques for organizing data, computing, and interpreting measures of central tendency, variability, and association. Estimation, confidence intervals, tests of hypotheses, t-tests, correlation, and regression. Possible topics: analysis of variance and chi-square tests, computer statistical packages.
Terms: Aut, Win, Spr, Sum
| Units: 5
| UG Reqs: GER:DB-Math, WAY-AQR, WAY-FR
Filter Results: