Scribd Logo
Upload

Welcome to Scribd!

  • PHL 245 H1S 2014 Schedule

    Uploaded by

    alicenuoli
    29 views1 page
    This document outlines the schedule and topics for the PHL245H1 S course on symbolic logic. It includes the dates for classes covering introductions, symbolization, sentential calculus, truth-value analysis, predicate logic, and derivations. There are two tests scheduled for February 6th and March 20th from 1-2pm in room 200 at 255 McCaul St to assess understanding of the covered units.

    Original Description:

    symbolic logic

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document outlines the schedule and topics for the PHL245H1 S course on symbolic logic. It includes the dates for classes covering introductions, symbolization, sentential calculus, truth-value analysis, predicate logic, and derivations. There are two tests scheduled for February 6th and March 20th from 1-2pm in room 200 at 255 McCaul St to assess understanding of the covered units.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    29 views1 page

    PHL 245 H1S 2014 Schedule

    Uploaded by

    alicenuoli
    This document outlines the schedule and topics for the PHL245H1 S course on symbolic logic. It includes the dates for classes covering introductions, symbolization, sentential calculus, truth-value analysis, predicate logic, and derivations. There are two tests scheduled for February 6th and March 20th from 1-2pm in room 200 at 255 McCaul St to assess understanding of the covered units.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    PHL 245 H1S 2014:

    PHL245H1 S Mod Symbolic Logic



    Jan. 7, 9 Introduction to Symbolic Logic Unit 1: Introduction
    and beginning Unit 2: symbolization
    Jan. 14, 16 Symbolizing Sentences Unit 2: Symbolization in Sentential Logic
    Jan. 21, 23 Sentential Calculus (Derivations) Unit 3: Sentential Calculus
    Jan. 28, 30 More Derivations
    Feb. 4 Unit 4: Truth-value Analysis
    Feb. 6 Test 1: Units 1-3
    Thursday, Feb. 6
    Examination Centre, 255 McCaul St.
    RM 200 Test begins at 1:00 PM
    Feb 11 More Fun with Truth-Tables Unit 4: Truth-value Analysis
    Feb. 13 Symbolizing in Predicate Logic
    Unit 5: A symbolic language for our
    quantifier calculus.

    Feb. 25, 27
    More Symbolization
    March 4 Still More Symbolization
    March 6 Introduction to Derivations for PL
    Unit 6: The quantifier calculus


    March 11, 13 More Derivations
    March 18 Still More Derivations
    March 20 Test 2: focus on units 4-6
    Thursday, March 20
    Examination Centre, 255 McCaul St.
    RM 200 Test begins at 1:00 PM
    March 25, 27 Models and Interpretations Unit 7: Semantics for our quantifier calculus
    April 1 More Models and Interpretations
    April 3
    Exam Review

    You might also like