CollegeTransfer.Net

Course Criteria

Add courses to your favorites to save, share, and find your best transfer school.

  • 80 405: Game Theory

    9.00 Credits
    Carnegie Mellon University

    Game theory is the branch of decision theory in which decision problems interact. This course will cover those parts of game theory of special interest to social scientists and philosophers. We will discuss specific elements of the formal theory, including: the distinction between cooperative and non-cooperative games, games in the strategic and the extensive form, solution concepts, epistemic conditions needed to predict outcomes of games, equilibrium refinements, dynamical models of equilibrium selection, and folk theorems of indefinitely repeated games. We will discuss results in experimental economics that test some of the assumptions of classical game theory. Throughout the course we will examine applications of the formal concepts of game theory to problems in moral and political philosophy and the social sciences. Prerequisites: background either in decision theory, rational choice, probability, or statistics.
    Share80 405 - Game Theory
    Favorite

  • 80 411: Proof Theory

    9.00 Credits
    Carnegie Mellon University

    This course is an introduction to Hilbert-style proof theory, where the goal is to represent mathematical arguments using formal deductive systems, and study those systems in syntactic, constructive, computational, or otherwise explicit terms. In the first part of the course, we will study various types of deductive systems (axiomatic systems, natural deduction, and sequent calculi) for classical, intuitionistic, and minimal logic. We will prove Gentzen's cut-elimination theorem, and use it to prove various theorems about first-order logic, including Herbrand's theorem, the interpolation theorem, the conservativity of Skolem axioms, and the existence and disjunction properties for intuitionistic logic. In the second part of the course, we will use these tools to study formal systems of arithmetic, including primitive recursive arithmetic, Peano arithmetic, and subsystems of second-order arithmetic. In particular, we will try to understand how mathematics can be formalized in these theories, and what types of information can be extracted using metamathematical techniques.
    Share80 411 - Proof Theory
    Favorite

  • 80 449: EHPP Project Course

    12.00 Credits
    Carnegie Mellon University

    This course will be co-taught by one member of History and one of Philosophy, and be taken in the fall of the senior year by every EHPP major. The purpose of the course is to give students a serious opportunity to apply the concepts and knowledge they acquired in the major to single topic, in depth. For EHPP majors only.
    Share80 449 - EHPP Project Course
    Favorite

  • 80 495: Independent Study

    3.00 Credits
    Carnegie Mellon University

    No course description available.
    Share80 495 - Independent Study
    Favorite

  • 80 501: Philosophy Senior Honors Thesis I

    9.00 Credits
    Carnegie Mellon University

    Philosophy and Logic and Computation majors with outstanding academic records and intellectual promise will be given the opportunity to engage in original research under the direction of an individual faculty member. Research topics are selected by studen
    Share80 501 - Philosophy Senior Honors Thesis I
    Favorite

  • 80 502: Philosophy Senior Honors Thesis II

    9.00 Credits
    Carnegie Mellon University

    Philosophy and Logic and Computation majors with outstanding academic records and intellectual promise will be given the opportunity to engage in original research under the direction of an individual faculty member. Research topics are selected by studen
    Share80 502 - Philosophy Senior Honors Thesis II
    Favorite

  • 80 511: Thesis Seminar

    9.00 Credits
    Carnegie Mellon University

    This course provides a forum for the presentation and detailed discussion of research done by students, be they undergraduates working on their Senior Thesis or graduate students engaged with their M.S. thesis.
    Share80 511 - Thesis Seminar
    Favorite

  • 80 514: Categorical Logic Seminar

    9.00 Credits
    Carnegie Mellon University

    This course focuses on applications of category theory in logic and computer science. A leading idea is functorial semantics, according to which a model of a logical theory is a set-valued functor on a category determined by the theory. This gives rise to a syntax-invariant notion of a theory and introduces many algebraic methods into logic, leading naturally to the universal and other general models that distinguish functorial from classical semantics. Such categorical models occur, for example, in denotational semantics. e.g. treating the lambda-calculus via the theory of Cartesian closed categories. Similarly, higher-order logic is treated categorically by the theory of topoi. Note: this course will begin with a 3 week refresher of basic category theory - CS students can start after immigration by reviewing on their own.
    Share80 514 - Categorical Logic Seminar
    Favorite

  • 80 515: Seminar on the Foundations of Statistics

    9.00 Credits
    Carnegie Mellon University

    This coming Spring's Foundations of Statistics seminar (36-835 / 80-815) will focus on a recent translation/publication of de Finetti's lectures from 1979, "Philosophical Lectures on Probability." In these last lectures, de Finetti offers his reasons for, and statement of the subjective interpretation of probability, for which he is so well known.
    Share80 515 - Seminar on the Foundations of Statistics
    Favorite

  • 80 521: Seminar on Formal Epistemology

    9.00 Credits
    Carnegie Mellon University

    Formal epistemology applies systematic mathematical models from logic, statistics, and computability theory to provide fresh perspectives on traditional epistemological questions regarding the nature of epistemic justification, vagueness, paradoxes of knowing, paradoxes of rationality, the nature of bounded rationality, and the connection between coherence, epistemic justification and truth. The course will critically examine published papers, many of which were presented at the Formal Epistemology Workshop in recent years.
    Share80 521 - Seminar on Formal Epistemology
    Favorite
To find college, community college and university courses by keyword, enter some or all of the following, then select the Search button.
(Type the name of a College, University, Exam, or Corporation)
(For example: Accounting, Psychology)
(For example: ACCT 101, where Course Prefix is ACCT, and Course Number is 101)
(For example: Introduction To Accounting)
(For example: Sine waves, Hemingway, or Impressionism)
Distance:
of
(For example: Find all institutions within 5 miles of the selected Zip Code)