Loading presentation...
Prezi is an interactive zooming presentation

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Introduction to Symbolic Logic

Compiled from lectures by Mark Thorsby
by

Roberto Ruiz

on 6 July 2016

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Introduction to Symbolic Logic

add logo here
Categorical Propositions
Chapter 4
Introduction to
Symbolic Logic

1.2 Recognizing Arguments
1.3 Deduction & Induction
1.1 Arguments, Premises, & Conclusions
1.5 Argument Forms: Proving Invalidity
1.6 Diagramming Arguments
1.4 Truth, Validity, Soundness, Strength, Cogency
4.2 Quantity, Quality, & Distribution
4.3 Venn Diagrams & The Modern Square of Opposition
4.1 The Components of Categorical Propositions
4.5 The Traditional Square of Opposition
4.6 Venn Diagrams and the Traditional Standpoint
4.4 Conversion, Obversion, and Contraposition
5.2 Venn Diagrams
5.3 Rules and Fallacies
5.1 Standard Form, Mood, and Figure
5.7 Sorites
5.6 Enthymemes
6.2 Truth Functions
6.3 Truth Tables for Propositions
6.1 Symbols & Translation
6.5 Indirect Truth Tables
6.4 Truth Tables for Arguments
7.2 Rules of Implication II
7.3 Rules of Replacement I
7.1 Rules of Implication I
7.5 Conditional Proof
7.6 Indirect Proof
7.4 Rules of Replacement II
8.2 Using the Rules of Inference
8.3 Change of Quantifier Rule
8.1 Symbols & Translation
8.5 Proving Invalidity: Finite Universe Method
8.4 Conditional & Indirect Proof
Predicate Logic
Chapter 8
Natural Deduction
Chapter
7
Propositional Logic
Chapter 6
Categorical Syllogisms
Chapter 5
Basic Concepts
Chapter
1
On the History of Philosophical Logic
Full transcript