This class was created by Brainscape user Edward Windle. Visit their profile to learn more about the creator.

Decks in this class (38)

1 Sets, Relations, and Arguments: 1.1 Sets
No deck description has yet been added by the author.
13  cards
1 Sets, Relations, and Arguments: 1.2 Binary Relations
No deck description has yet been added by the author.
0  cards
1 Sets, Relations, and Arguments: 1.3 Functions
No deck description has yet been added by the author.
0  cards
1 Sets, Relations, and Arguments: 1.4 Non-Binary Relations
No deck description has yet been added by the author.
0  cards
1 Sets, Relations, and Arguments: 1.5 Arguments, Validity and Contradictions
No deck description has yet been added by the author.
0  cards
1 Sets, Relations, and Arguments: 1.6 Syntax, Semantics, and Pragmatics
No deck description has yet been added by the author.
0  cards
2 Syntax and Semantics of Propositional Logic: 2.1 Quotation
No deck description has yet been added by the author.
0  cards
2 Syntax and Semantics of Propositional Logic: 2.2 The Syntax of the Language of Propositional Logic
No deck description has yet been added by the author.
0  cards
2 Syntax and Semantics of Propositional Logic: 2.3 Rules for Dropping Brackets
No deck description has yet been added by the author.
0  cards
2 Syntax and Semantics of Propositional Logic: 2.4 The Semantics of Propositional Logic
No deck description has yet been added by the author.
0  cards
3 Formalisation in Propositional Logic: 3.1 Truth Functionality
No deck description has yet been added by the author.
0  cards
3 Formalisation in Propositional Logic: 3.2 Logical Form
No deck description has yet been added by the author.
9  cards
3 Formalisation in Propositional Logic: 3.3 From Logical Form to Formal Language
No deck description has yet been added by the author.
0  cards
3 Formalisation in Propositional Logic: 3.4 Ambiguity
No deck description has yet been added by the author.
0  cards
3 Formalisation in Propositional Logic: 3.5 The Standard Connectives
No deck description has yet been added by the author.
0  cards
3 Formalisation in Propositional Logic: 3.6 Natural Language and Propositional Logic
No deck description has yet been added by the author.
0  cards
4 The Syntax of Predicate Logic: 4.1 Predicates and Quantification
No deck description has yet been added by the author.
0  cards
4 The Syntax of Predicate Logic: 4.2 The Sentences of L2
No deck description has yet been added by the author.
0  cards
4 The Syntax of Predicate Logic: 4.3 Free and Bound Occurrences of Variables
No deck description has yet been added by the author.
0  cards
4 The Syntax of Predicate Logic: 4.4 Notational Conventions
No deck description has yet been added by the author.
0  cards
4 The Syntax of Predicate Logic: 4.5 Formalization
No deck description has yet been added by the author.
0  cards
5 The Semantics of Predicate Logic: 5.1 Structures
No deck description has yet been added by the author.
0  cards
5 The Semantics of Predicate Logic: 5.2 Truth
No deck description has yet been added by the author.
0  cards
5 The Semantics of Predicate Logic: 5.3 Validity, Logical Truths, and Contradiction
No deck description has yet been added by the author.
0  cards
5 The Semantics of Predicate Logic: 5.4 Counterexamples
No deck description has yet been added by the author.
0  cards
6 Natural Deduction
No deck description has yet been added by the author.
0  cards
6 Natural Deduction: 6.1 Propositional Logic
No deck description has yet been added by the author.
0  cards
6 Natural Deduction: 6.2 Predicate Logic
No deck description has yet been added by the author.
0  cards
7 Formalization: 7.1 Adequacy
No deck description has yet been added by the author.
0  cards
7 Formalization: 7.2 Ambiguity
No deck description has yet been added by the author.
0  cards
7 Formalization: 7.3 Extensionality
No deck description has yet been added by the author.
0  cards
7 Formalization: 7.4 Predicate Logic and Arguments in English
No deck description has yet been added by the author.
0  cards
8 Identity and Definite Descriptions: 8.1 Qualitative and Numerical Identity
No deck description has yet been added by the author.
0  cards
8 Identity and Definite Descriptions: 8.2 The Syntax of L=
No deck description has yet been added by the author.
0  cards
8 Identity and Definite Descriptions: 8.3 The Semantics of L=
No deck description has yet been added by the author.
0  cards
8 Identity and Definite Descriptions: 8.4 Proof Rules for Identity
No deck description has yet been added by the author.
0  cards
8 Identity and Definite Descriptions: 8.5 Uses of Identity
No deck description has yet been added by the author.
0  cards
8 Identity and Definite Descriptions: 8.6 Identity as a Logical Constant
No deck description has yet been added by the author.
0  cards

More about
logic

  • Class purpose General learning

Learn faster with Brainscape on your web, iPhone, or Android device. Study Edward Windle's Logic flashcards now!

How studying works.

Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.

Add your own flashcards.

Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!

What's Brainscape anyway?

Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.

We use an adaptive study algorithm that is proven to help you learn faster and remember longer....

Looking for something else?

Logic
  • 8 decks
  • 134 flashcards
  • 2 learners
Decks: Unit 1, Unit 2, Unit 25, And more!
LOGIC
  • 4 decks
  • 117 flashcards
  • 12 learners
Decks: Prelims Intro To Philosophy, Prelims Ppt 1, Prelims Ppt 2, And more!
Make Flashcards