This class was created by Brainscape user Edward Windle. Visit their profile to learn more about the creator.
By:
Edward Windle
- decks
- flashcards
- learners
Decks in this class (38)
1 Sets, Relations, and Arguments: 1.1 Sets
What is a set,
What may the objects of a set be,
What are the objects in the colle...
13
cards
1 Sets, Relations, and Arguments: 1.2 Binary Relations
0
cards
1 Sets, Relations, and Arguments: 1.3 Functions
0
cards
1 Sets, Relations, and Arguments: 1.4 Non-Binary Relations
0
cards
1 Sets, Relations, and Arguments: 1.5 Arguments, Validity and Contradictions
0
cards
1 Sets, Relations, and Arguments: 1.6 Syntax, Semantics, and Pragmatics
0
cards
2 Syntax and Semantics of Propositional Logic: 2.1 Quotation
0
cards
2 Syntax and Semantics of Propositional Logic: 2.2 The Syntax of the Language of Propositional Logic
0
cards
2 Syntax and Semantics of Propositional Logic: 2.3 Rules for Dropping Brackets
0
cards
2 Syntax and Semantics of Propositional Logic: 2.4 The Semantics of Propositional Logic
0
cards
3 Formalisation in Propositional Logic: 3.1 Truth Functionality
0
cards
3 Formalisation in Propositional Logic: 3.2 Logical Form
What are the two steps to transla...,
What is the standardized form called,
What is the first step in the tra...
9
cards
3 Formalisation in Propositional Logic: 3.3 From Logical Form to Formal Language
0
cards
3 Formalisation in Propositional Logic: 3.4 Ambiguity
0
cards
3 Formalisation in Propositional Logic: 3.5 The Standard Connectives
0
cards
3 Formalisation in Propositional Logic: 3.6 Natural Language and Propositional Logic
0
cards
4 The Syntax of Predicate Logic: 4.1 Predicates and Quantification
0
cards
4 The Syntax of Predicate Logic: 4.2 The Sentences of L2
0
cards
4 The Syntax of Predicate Logic: 4.3 Free and Bound Occurrences of Variables
0
cards
4 The Syntax of Predicate Logic: 4.4 Notational Conventions
0
cards
4 The Syntax of Predicate Logic: 4.5 Formalization
0
cards
5 The Semantics of Predicate Logic: 5.1 Structures
0
cards
5 The Semantics of Predicate Logic: 5.2 Truth
0
cards
5 The Semantics of Predicate Logic: 5.3 Validity, Logical Truths, and Contradiction
0
cards
5 The Semantics of Predicate Logic: 5.4 Counterexamples
0
cards
6 Natural Deduction
0
cards
6 Natural Deduction: 6.1 Propositional Logic
0
cards
6 Natural Deduction: 6.2 Predicate Logic
0
cards
7 Formalization: 7.1 Adequacy
0
cards
7 Formalization: 7.2 Ambiguity
0
cards
7 Formalization: 7.3 Extensionality
0
cards
7 Formalization: 7.4 Predicate Logic and Arguments in English
0
cards
8 Identity and Definite Descriptions: 8.1 Qualitative and Numerical Identity
0
cards
8 Identity and Definite Descriptions: 8.2 The Syntax of L=
0
cards
8 Identity and Definite Descriptions: 8.3 The Semantics of L=
0
cards
8 Identity and Definite Descriptions: 8.4 Proof Rules for Identity
0
cards
8 Identity and Definite Descriptions: 8.5 Uses of Identity
0
cards
8 Identity and Definite Descriptions: 8.6 Identity as a Logical Constant
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....
