Stanford University Explore Courses

PHIL 354: Topics in Logic

Complexity of propositional calculi. P=NP problem. Exponential lower bounds for resolution and for intuitionistic derivations. Problem of saving proofs. Complexity of derivations in arithmetic. Inventor's paradox. Synthesis of inductive invariants. Prerequisites: Phil 151,152 or equivalents.

Last offered: Winter 2014 | Repeatable for credit

PHIL 355: Logic and Social Choice

Topics in the intersection of social choice theory and formal logic. Voting paradoxes, impossibility theorems and strategic manipulation, logical modeling of voting procedures, preference versus judgment aggregation, role of language in social choice, and metatheory of social choice. May be repeated for credit. Prerequisite: 151 or consent of instructor.

| Repeatable for credit

PHIL 356: Applications of Modal Logic

Applications of modal logic to knowledge and belief, and actions and norms. Models of belief revision to develop a dynamic doxastic logic. A workable modeling of events and actions to build a dynamic deontic logic on that foundation. (Staff)

Last offered: Winter 2005

PHIL 356C: Logic and Artificial Intelligence (CS 257)

This is a course at the intersection of philosophical logic and artificial intelligence. The goal of the course is to understand the role that expressive logical frameworks might play in AI, and to gain a deeper understanding of how different logical systems relate, and what features of a logical system could make it useful for representation and/or reasoning. Specific themes may include: 1. Tradeoff between complexity and expressivity 2. Capturing subtle reasoning about agent mental states 3. Defeasibility, causality, and the relation between logic and probability 4. Logical formalizations of legal and normative reasoning 5. Combining statistical learning and inference with rich logical structure 6. Logical systems close to the structure of natural language ("natural logics"). Prerequisites: It is expected that students already have a solid background in logic. Phil 151 is ideal, but Phil 150 or CS 157 would be acceptable, with the understanding that there may be some catching up to do. 2 unit option for PhD students only.

Terms: Win | Units: 4

Instructors: Icard, T. (PI)

PHIL 357: Information, Computation, and Intelligence

graduate seminar.

Last offered: Winter 2016

PHIL 359: Topics in Logic, Information and Agency

Logical analysis of information, interaction and games, with topics connecting philosophy, computer science, game theory, and other fields. The focus is on current research at these interfaces. Prerequisite: 151, 154/254, or equivalent background. May be repeated for credit.

Terms: Spr | Units: 2-4 | Repeatable 3 times (up to 12 units total)

Instructors: Icard, T. (PI) ; van Benthem, J. (PI)

PHIL 360: Grad Seminar: Philosophy of Neuroscience

Assumptions underlying the scientific study of how our brains work have implications for the kinds of results that neuroscience can - and cannot - deliver. We will look at the interplay between two approaches within neuroscience - mechanistic explanation and computational explanation, with a focus on neural coding and representation. Pre-reqs TBD. Repeatable for credit. 2 unit option for PhD students only.

Terms: Win | Units: 2-4 | Repeatable 3 times (up to 12 units total)

Instructors: Cao, R. (PI)

PHIL 361: Social Dimensions of Scientific Knowledge

Study of philosophical issues raised by the social character of scientific research and the relation of scientific inquiry to its broader social, economic, and cultural context: values in/of science, science and policy, distribution of cognitive labor, trust in science, models of knowledge.

Terms: Aut | Units: 4

Instructors: Longino, H. (PI)

PHIL 362: Grad Seminar on Philosophy of Science

Last offered: Spring 2016 | Repeatable 3 times (up to 12 units total)

431 - 440 of 499 results for: PHIL