# Index of All Documents

## Publicly Shared

Title
Practice Exercises-06-26.md
Creator
Steven Swartzer
Created on
2018-06-24 15:16 UTC
Tags
Title
Practice Exercises-06-27.md
Creator
Steven Swartzer
Created on
2018-06-26 05:04 UTC
Tags
Title
Practice Exercises 06-28.md
Creator
Steven Swartzer
Created on
2018-06-27 03:38 UTC
Tags
Title
Practice Exercises 07-02.md
Creator
Steven Swartzer
Created on
2018-06-28 04:34 UTC
Tags
Title
Practice Exercises 07-10.md
Creator
Steven Swartzer
Created on
2018-07-09 17:13 UTC
Tags
Title
Practice Exercises - 07-16.md
Creator
Steven Swartzer
Created on
2018-07-13 16:15 UTC
Tags
Title
Practice Exercises - 07-19.md
Creator
Steven Swartzer
Created on
2018-07-18 03:43 UTC
Tags
Title
Practice Exercises - 07-25.md
Creator
Steven Swartzer
Created on
2018-07-24 03:15 UTC
Tags
Title
Practice Exercises - 7-26.md
Creator
Steven Swartzer
Created on
2018-07-25 04:14 UTC
Tags
Title
Practice Derivations for Final Exam Review.md
Creator
Steven Swartzer
Created on
2018-07-26 19:36 UTC
Tags
Title
More Practice Derivations.md
Creator
Steven Swartzer
Created on
2018-07-27 04:04 UTC
Tags
Title
chapter3practice.pandoc
Description
Practice Direct Derivations (Chapter 3)
Creator
Lindsay Brainard
Created on
2018-09-20 15:54 UTC
Tags
Title
chapter4practice.pandoc
Creator
Lindsay Brainard
Created on
2018-09-24 20:28 UTC
Tags
Title
chapter4mixedpractice.pandoc
Creator
Lindsay Brainard
Created on
2018-09-27 16:42 UTC
Tags
Title
chapter5practice.pandoc
Creator
Lindsay Brainard
Created on
2018-10-02 19:43 UTC
Tags
Title
chapter5mixedpractice.pandoc
Creator
Lindsay Brainard
Created on
2018-10-04 20:22 UTC
Tags
Title
chapter6practice.pandoc
Creator
Lindsay Brainard
Created on
2018-10-15 03:06 UTC
Tags
Title
chapter6practice2.pandoc
Creator
Lindsay Brainard
Created on
2018-10-17 03:55 UTC
Tags
Title
chapter8practiceEdited.pandoc
Creator
Lindsay Brainard
Created on
2018-10-28 22:49 UTC
Tags
Title
universalderivationpractice.pandoc
Creator
Lindsay Brainard
Created on
2018-11-28 04:51 UTC
Tags
Title
ExistentialDerivations.pandoc.txt
Creator
Lindsay Brainard
Created on
2018-11-30 06:06 UTC
Tags
Title
chapter12practice.pandoc
Creator
Lindsay Brainard
Created on
2018-12-16 22:09 UTC
Tags
Title
test.md
Creator
Nick Huggett
Created on
2019-02-20 15:21 UTC
Tags
Title
exampleTTs.md
Creator
Nick Huggett
Created on
2019-02-20 15:31 UTC
Tags
Title
MCpractice.md
Creator
Nick Huggett
Created on
2019-02-28 23:23 UTC
Tags
Title
De Morgan's laws.md
Creator
Christopher Chilas
Created on
2019-03-07 02:09 UTC
Tags
Title
DMLaws.md
Description
Deriving De Morgan's Laws
Creator
Christopher Chilas
Created on
2019-03-07 02:51 UTC
Tags
Title
proofs.md
Creator
Nick Huggett
Created on
2019-03-13 12:53 UTC
Tags
Title
subproofs.md
Creator
Nick Huggett
Created on
2019-03-17 22:47 UTC
Tags
Title
Sample Proofs2.tex
Creator
Created on
2019-04-02 15:39 UTC
Tags
Title
Playground.tex
Creator
Created on
2019-04-05 00:05 UTC
Tags
Title
PS5.tex
Creator
Created on
2019-04-08 20:54 UTC
Tags
Title
notintro.md
Creator
Nick Huggett
Created on
2019-04-10 13:26 UTC
Tags
Title
PS5(WED).tex
Creator
Created on
2019-04-11 14:09 UTC
Tags
Title
PS6.tex
Creator
Created on
2019-04-19 15:33 UTC
Tags
Title
PS6(WED).tex
Creator
Created on
2019-04-30 20:55 UTC
Tags
Title
Proofs_SL_Basic.txt
Description
All 34 proofs from the handout "Practice Proofs No. 1". You don't have to do them on Carnap. It's up to you. If you find it useful to have instant feedback, Carnap may be helpful for you.
Creator
Gary Bartlett
Created on
2019-05-01 17:07 UTC
Tags
Title
PS7.tex
Creator
Created on
2019-05-02 14:23 UTC
Tags
Title
PS7(WED).tex
Creator
Created on
2019-05-03 19:06 UTC
Tags
Title
Final Practice Problems.tex
Creator
Created on
2019-05-03 19:11 UTC
Tags
Title
Final Practice Problems(Solutions).tex
Creator
Created on
2019-05-07 03:45 UTC
Tags
Title
untitled (27).md
Creator
TYLER VIALE
Created on
2019-09-12 13:10 UTC
Tags
Title
untitled (28).md
Creator
TYLER VIALE
Created on
2019-09-12 13:10 UTC
Tags
Title
untitled (29).md
Creator
TYLER VIALE
Created on
2019-09-12 13:11 UTC
Tags
Title
Practice Problems III.md
Description
Practice problems for Part III of forall x, Calgary edition.
Creator
Richard Zach
Created on
2019-09-15 21:03 UTC
Tags
calgary forall x
Title
Practice Problems II.md
Description
Some practice problems for Part II of forall x: Calgary
Creator
Richard Zach
Created on
2019-09-17 18:10 UTC
Tags
calgary forall x
Title
Practice Problems IV.md
Description
Practice problems for proofs in TFL, Part IV of forall x: Calgary.
Creator
Richard Zach
Created on
2019-09-18 00:14 UTC
Tags
calgary forall x
Title
Bonus_Week_02.pandoc
Description
Bonus Questions for Week 2
Creator
Brian Weatherson
Created on
2019-09-18 01:24 UTC
Tags
Title
Playground.pandoc
Creator
Calum McNamara
Created on
2019-09-19 16:58 UTC
Tags
Title
Week Three Assignment
Creator
Brian Weatherson
Created on
2019-09-20 14:20 UTC
Tags
Title
Class Seven Examples
Creator
Brian Weatherson
Created on
2019-09-24 19:43 UTC
Tags
Title
Practice Problems VI.md
Description
Practice problems for interpretations in FOL, Part VI of forall x: Calgary.
Creator
Richard Zach
Created on
2019-10-21 16:03 UTC
Tags
calgary forall x
Title
Practice Problems VII.md
Description
Practice problems for Part VII of forall x: Calgary: proofs in FOL
Creator
Richard Zach
Created on
2019-10-23 15:40 UTC
Tags
calgary forall x
Title
Practice Problems V.md
Description
Practice problems for Part V of forall x:Calgary
Creator
Richard Zach
Created on
2019-11-02 16:55 UTC
Tags
calgary forall x
Title
PL Proofs Practice Exam.tex
Creator
Landon D. C. Elkind
Created on
2020-02-25 17:07 UTC
Tags
Title
Practice Problems ND.md
Description
Practice problems for natural deduction, in the original Prawitz style as used in the Open Logic Project.
Creator
Richard Zach
Created on
2020-02-29 00:46 UTC
Tags
NK OpenLogic
Title
PL Proofs Exam Spring 2020.tex
Creator
Landon D. C. Elkind
Created on
2020-03-08 14:31 UTC
Tags
Title
279 Tutorial 9.md
Description
UCalgary Logic I: Practice exercises for tutorial week 9: proofs with multiple quantifiers
Creator
Richard Zach
Created on
2020-03-18 03:24 UTC
Tags
calgary forall x
Title
TomassiPage53Exercise2.3Number2.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:34 UTC
Tags
Tomassi
Title
TomassiPage55Exercise2.4Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:34 UTC
Tags
Tomassi
Title
TomassiPage63Exercise2.5Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:35 UTC
Tags
Tomassi
Title
TomassiPage66Exercise2.6Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:39 UTC
Tags
Tomassi
Title
TomassiPage69Exercise2.7Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:40 UTC
Tags
Tomassi
Title
TomassiPage77Exercise3.1Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:40 UTC
Tags
Tomassi
Title
TomassiPage82Exercise3.2Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:40 UTC
Tags
Tomassi
Title
TomassiPage90Exercise3.4Number2.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:42 UTC
Tags
Tomassi
Title
TomassiPage91Exercise3.5Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:42 UTC
Tags
Tomassi
Title
TomassiPage93Exercise3.6Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:42 UTC
Tags
Tomassi
Title
TomassiPage100Exercise3.7Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:42 UTC
Tags
Tomassi
Title
TomassiPage101Exercise3.8Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:43 UTC
Tags
Tomassi
Title
TomassiPage106Exercise3.9Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:43 UTC
Tags
Tomassi
Title
TomassiPage108RevisionExerciseI.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:58 UTC
Tags
Tomassi
Title
TomassiPage109RevisionExerciseII.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:58 UTC
Tags
Tomassi
Title
TomassiPage109RevisionExerciseIII.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:58 UTC
Tags
Tomassi
Title
TomassiPage110RevisionExerciseIV.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:58 UTC
Tags
Tomassi
Title
TomassiPage141Exercise4.1Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:58 UTC
Tags
Tomassi
Title
TomassiPage150Exercise4.3Number1.tex
Creator
Landon D. C. Elkind
Created on
2020-03-20 18:58 UTC
Tags
Tomassi
Title
PL Proofs Exam Spring 2020 Makeup.tex
Description
SDS accommodating
Creator
Landon D. C. Elkind
Created on
2020-04-03 15:49 UTC
Tags
Tomassi
Title
Assignment QL Proofs with Hints.tex
Creator
Landon D. C. Elkind
Created on
2020-04-19 20:52 UTC
Tags
Title
Practice Problems II.md
Creator
Carolin Antos
Created on
2020-04-20 14:13 UTC
Tags
Title
FL Problem Set 1.md
Creator
Carolin Antos
Created on
2020-04-22 10:47 UTC
Tags
Title
Practice Problems III.md
Creator
Carolin Antos
Created on
2020-04-29 09:19 UTC
Tags
Title
FL Problem Set 2.md
Creator
Carolin Antos
Created on
2020-04-29 09:25 UTC
Tags
Title
FL Problem Set 3.md
Creator
Carolin Antos
Created on
2020-05-07 09:20 UTC
Tags
Title
Practice Problems IV.md
Creator
Carolin Antos
Created on
2020-05-16 10:41 UTC
Tags
Title
FL Problem Set 4.md
Creator
Carolin Antos
Created on
2020-05-16 10:41 UTC
Tags
Title
Tomassi test.txt
Creator
James Pearson
Created on
2020-05-18 14:24 UTC
Tags
Title
Tomassi only test.txt
Creator
James Pearson
Created on
2020-05-18 14:27 UTC
Tags
Title
Week Two Assignment
Description
Questions for July 17 (there are also textbook questions to be answered)
Creator
Brian Weatherson
Created on
2020-05-19 00:01 UTC
Tags
Title
FL Problem set 5.md
Creator
Carolin Antos
Created on
2020-05-22 13:20 UTC
Tags
Title
Practice 5.md
Creator
Chris Nagel
Created on
2020-06-10 21:10 UTC
Tags
Title
Zach's Problem Set 1.md
Creator
Rob Loftis
Created on
2020-06-15 18:29 UTC
Tags
Title
FL Problem Set 6.md
Creator
Carolin Antos
Created on
2020-06-16 10:51 UTC
Tags
Title
Practice Problems V.md
Creator
Carolin Antos
Created on
2020-06-16 10:51 UTC
Tags
Title
FL Problem Set 7.md
Creator
Carolin Antos
Created on
2020-06-23 11:22 UTC
Tags
Title
FL Problem Set 7a.md
Creator
Carolin Antos
Created on
2020-06-25 08:39 UTC
Tags
Title
FL Problem Set 8.md
Creator
Carolin Antos
Created on
2020-07-05 06:59 UTC
Tags
Title
book-mainpage.pandoc
Description
Introductory logic course
Creator
Sean Walsh
Created on
2020-07-05 23:01 UTC
Tags
Title
FL Problem Set 9.md
Creator
Carolin Antos
Created on
2020-07-10 16:59 UTC
Tags
Title
Problem Set 6.carnap
Creator
Rob Loftis
Created on
2020-07-12 00:20 UTC
Tags
Title
Problem Set 7.carnap
Creator
Rob Loftis
Created on
2020-07-12 20:43 UTC
Tags
Title
carnap-truth-tables.pandoc
Creator
Rob Loftis
Created on
2020-07-14 19:36 UTC
Tags
Title
Problem Set 8.carnap
Creator
Rob Loftis
Created on
2020-07-15 01:59 UTC
Tags
Title
homework 1.txt
Description
HW 1 on Topics 1-3.
Creator
Matthew Smithdeal
Created on
2020-07-15 16:52 UTC
Tags
Title
A Playground of Our Own.md
Creator
Gillman Payette
Created on
2020-07-15 23:21 UTC
Tags
Title
A FOL Playground of Our Own.md
Creator
Gillman Payette
Created on
2020-07-15 23:23 UTC
Tags
Title
truth tables for 07 16 lecture.md
Creator
Michael Titelbaum
Created on
2020-07-16 02:27 UTC
Tags
Title
Problem Set 2.md
Creator
Michael Titelbaum
Created on
2020-07-17 03:20 UTC
Tags
Title
Day 05 lecture.md
Description
Truth-tables for practicing during Day 05 (7/20/20) lecture.
Creator
Michael Titelbaum
Created on
2020-07-20 01:40 UTC
Tags
Title
CarnapTest.md
Creator
Michael Titelbaum
Created on
2020-07-20 23:02 UTC
Tags
Title
Day 06 lecture.md
Creator
Michael Titelbaum
Created on
2020-07-21 00:26 UTC
Tags
Title
Problem Set 3.md
Creator
Michael Titelbaum
Created on
2020-07-21 23:41 UTC
Tags
Title
Day 07 lecture.md
Creator
Michael Titelbaum
Created on
2020-07-22 00:55 UTC
Tags
Title
Checklist Example
Description
This is a sample file, demonstrating the use of checklist.js to provide persistent checklists on assignment pages.
Creator
David Sanson
Created on
2020-07-25 18:33 UTC
Tags
Title
Timer Example
Creator
David Sanson
Created on
2020-07-26 02:46 UTC
Tags
Title
Timer Example with Custom CSS
Creator
David Sanson
Created on
2020-07-26 16:20 UTC
Tags
Title
save-work.js
Description
An (in-progress) script to save student work-in-progress
Creator
David Sanson
Created on
2020-07-26 18:39 UTC
Tags
Title
Save Work Example
Description
A test page for the save-work.js script
Creator
David Sanson
Created on
2020-07-26 18:39 UTC
Tags
Title
SatisfactionEx.md
Description
True False Exercises for FOL satisfaction
Creator
Gillman Payette
Created on
2020-07-27 15:20 UTC
Tags
Exercises FOL Satisfaction
Title
Problem Set 4.md
Creator
Michael Titelbaum
Created on
2020-07-28 00:55 UTC
Tags
Title
Day 12 lecture.md
Creator
Michael Titelbaum
Created on
2020-07-30 01:12 UTC
Tags
Title
Problem Set 5.md
Creator
Michael Titelbaum
Created on
2020-08-01 03:22 UTC
Tags
Title
Day 13 lecture.md
Creator
Michael Titelbaum
Created on
2020-08-01 18:46 UTC
Tags
Title
Problem Set 1.pdf
Description
Problem Set 1 Test
Creator
Joshua DiPaolo
Created on
2020-08-03 19:38 UTC
Tags
Title
tester.md
Creator
Michael Titelbaum
Created on
2020-08-04 03:18 UTC
Tags
Title
Day 14 lecture.md
Creator
Michael Titelbaum
Created on
2020-08-04 04:15 UTC
Tags
Title
Final Exam Review.md
Creator
Michael Titelbaum
Created on
2020-08-04 21:40 UTC
Tags
Title
PD-PDE playground.md
Creator
Michael Titelbaum
Created on
2020-08-04 22:17 UTC
Tags
Title
210proofs.md
Creator
Nick Huggett
Created on
2020-08-09 18:04 UTC
Tags
Title
Make Up Problem Set 3.html
Description
PS#3 Make Up
Creator
Alyssa Maples
Created on
2020-08-14 22:57 UTC
Tags
Title
Make Up Problem Set 4.html
Description
PS#4 Make Up
Creator
Alyssa Maples
Created on
2020-08-14 22:57 UTC
Tags
Title
SLReview.md
Description
SL Review
Creator
Gregg Hunter
Created on
2020-08-15 00:26 UTC
Tags
Title
SLReview.md
Description
SL Review Activity
Creator
Alyssa Maples
Created on
2020-08-15 13:29 UTC
Tags
Title
Problem Set 1.carnap
Creator
Rob Loftis
Created on
2020-08-16 00:44 UTC
Tags
Title
PS7(New).md
Description
PHIL 9 Introduction to Logic - Summer 2020
Creator
Thomas Rule
Created on
2020-08-17 07:21 UTC
Tags
Title
PS7new.md
Creator
Alyssa Maples
Created on
2020-08-17 18:26 UTC
Tags
Title
extracredit1makeup.html
Description
Make Up Extra Credit
Creator
Alyssa Maples
Created on
2020-08-18 17:39 UTC
Tags
Title
Lavers-Practice-Problems-I.md
Creator
Gregory Lavers
Created on
2020-08-20 15:49 UTC
Tags
Title
PDReview
Creator
Alyssa Maples
Created on
2020-08-20 21:19 UTC
Tags
PL Review
Title
Final Exam Proofs
Creator
Alyssa Maples
Created on
2020-08-20 23:01 UTC
Tags
Title
Lavers-Practice-Problems-II.md
Description
Syntax assignment
Creator
Gregory Lavers
Created on
2020-08-21 15:04 UTC
Tags
forallx
Title
opening exercise
Creator
P.D. Magnus
Created on
2020-08-22 18:36 UTC
Tags
Title
logical concepts
Creator
P.D. Magnus
Created on
2020-08-22 20:39 UTC
Tags
Title
untitled.md
Creator
Nick Huggett
Created on
2020-08-24 21:52 UTC
Tags
Title
Wk02example.md
Creator
Nick Huggett
Created on
2020-08-28 23:47 UTC
Tags
Title
Week_Two.tex
Creator
Nick Huggett
Created on
2020-08-29 17:05 UTC
Tags
Title
2a translation
Description
translation from English into SL
Creator
P.D. Magnus
Created on
2020-08-30 14:49 UTC
Tags
Title
2b more translation
Description
more translation from English into SL
Creator
P.D. Magnus
Created on
2020-08-30 15:20 UTC
Tags
Title
Week2Example.tex
Creator
Nick Huggett
Created on
2020-08-30 18:03 UTC
Tags
Title
3a wffs
Description
Identify the structure of sentences in SL
Creator
P.D. Magnus
Created on
2020-08-31 21:41 UTC
Tags
Title
Problem Set 2.carnap
Creator
Rob Loftis
Created on
2020-09-01 01:25 UTC
Tags
Title
3b truth tables
Description
Construct and use truth tables
Creator
P.D. Magnus
Created on
2020-09-06 01:32 UTC
Tags
Title
Problem Set 3.carnap
Creator
Rob Loftis
Created on
2020-09-07 02:50 UTC
Tags
Title
Week_Three.tex
Creator
Nick Huggett
Created on
2020-09-07 19:29 UTC
Tags
Title
unit-05-examples
Creator
David Sanson
Created on
2020-09-12 19:50 UTC
Tags
Title
Practice Problems LK.md
Description
Practice problems for sequent calculus, in the original Gentzen style as used in the Open Logic Project.
Creator
Richard Zach
Created on
2020-09-13 15:15 UTC
Tags
LK OpenLogic
Title
Sequent Calculus Problems.md
Description
Examples and problem set exercise for Non-classical Logic, week 2
Creator
Richard Zach
Created on
2020-09-13 21:28 UTC
Tags
LJ LK OpenLogic
Title
3 truth table examples.md
Creator
P.D. Magnus
Created on
2020-09-15 16:13 UTC
Tags
Title
Week_Four.tex
Creator
Nick Huggett
Created on
2020-09-15 18:22 UTC
Tags
Title
Week 4 example.tex
Creator
Nick Huggett
Created on
2020-09-15 23:18 UTC
Tags
Title
279 Worksheet 2 Symbolization.md
Description
Class examples on symbolization.
Creator
Richard Zach
Created on
2020-09-16 17:40 UTC
Tags
calgary forall x
Title
210 Practice Problems, Week 3.md
Creator
Michael Hallett
Created on
2020-09-19 17:55 UTC
Tags
Practice Week 3
Title
4a translation
Description
Basic and intermediate exercise in translating from English into QL
Creator
P.D. Magnus
Created on
2020-09-20 04:18 UTC
Tags
Title
Problem set 4.carnap
Creator
Rob Loftis
Created on
2020-09-20 23:19 UTC
Tags
Title
Week_Five.tex
Creator
Nick Huggett
Created on
2020-09-21 21:51 UTC
Tags
Title
Playground.tex
Creator
Nick Huggett
Created on
2020-09-22 14:59 UTC
Tags
Title
279 Worksheet 3 Truth Tables and Proofs.md
Creator
Richard Zach
Created on
2020-09-23 16:08 UTC
Tags
calgary forall x
Title
Day 07 lecture 09-24-20.md
Creator
Michael Titelbaum
Created on
2020-09-24 02:29 UTC
Tags
Title
chapter3morepractice.pandoc
Description
More Practice for Chapter 3
Creator
Lindsay Brainard
Created on
2020-09-24 03:32 UTC
Tags
Title
More Practice Problems IV.md
Description
Additional practice problems on natural deduction proofs for TFL. They cover Part II of forall x: Calgary.
Creator
Richard Zach
Created on
2020-09-25 02:36 UTC
Tags
calgary forall x
Title
Practice Problems 9:30 10:1.md
Creator
Hunter Gentry
Created on
2020-09-25 22:33 UTC
Tags
Title
exam1-makeup
Creator
P.D. Magnus
Created on
2020-09-26 03:31 UTC
Tags
Title
4b translation
Description
A somewhat more advanced exercise in translating from English into QL
Creator
P.D. Magnus
Created on
2020-09-28 00:40 UTC
Tags
Title
4c translation
Description
A somewhat more advanced exercise in translating from English into QL
Creator
P.D. Magnus
Created on
2020-09-28 00:40 UTC
Tags
Title
Week_Six.tex
Creator
Nick Huggett
Created on
2020-09-29 00:09 UTC
Tags
Title
Day 08 lecture 09-29-20.md
Creator
Michael Titelbaum
Created on
2020-09-29 01:56 UTC
Tags
Title
tt-examples
Creator
David Sanson
Created on
2020-09-29 03:28 UTC
Tags
Title
279 Worksheet 4 Proofs.md
Description
Practice problems on proofs. They cover Part IV of _forall x: Calgary_.
Creator
Richard Zach
Created on
2020-09-29 22:14 UTC
Tags
calgary forall x
Title
Day 09 lecture 10-01-20.md
Creator
Michael Titelbaum
Created on
2020-10-01 01:23 UTC
Tags
Title
SD-SD+ playground.md
Creator
Hunter Gentry
Created on
2020-10-01 20:32 UTC
Tags
Title
Problem Set 5.carnap
Creator
Rob Loftis
Created on
2020-10-03 18:09 UTC
Tags
Title
exam2
Description
midterm covering translation into QL
Creator
P.D. Magnus
Created on
2020-10-04 04:01 UTC
Tags
Title
Day 10 lecture 10-06-20.md
Creator
Michael Titelbaum
Created on
2020-10-05 03:28 UTC
Tags
Title
Week_Seven.tex
Creator
Nick Huggett
Created on
2020-10-06 01:32 UTC
Tags
Title
Practice Problems 10:7 and 10:8.md
Creator
Hunter Gentry
Created on
2020-10-06 20:38 UTC
Tags
Title
279 Tutorial Worksheet 5.md
Creator
Richard Zach
Created on
2020-10-06 23:24 UTC
Tags
calgary forall x
Title
Day 11 lecture 10-08-20.md
Creator
Michael Titelbaum
Created on
2020-10-08 02:09 UTC
Tags
Title
test.tex
Creator
Nick Huggett
Created on
2020-10-09 02:16 UTC
Tags
Title
exam2-makeup
Creator
P.D. Magnus
Created on
2020-10-12 00:24 UTC
Tags
Title
5a truth in a model
Description
Given a model, determine the truth value of some QL sentences.
Creator
P.D. Magnus
Created on
2020-10-12 01:20 UTC
Tags
Title
5b constructing models
Description
Constructing models in QL to make sentences true
Creator
P.D. Magnus
Created on
2020-10-12 16:46 UTC
Tags
Title
5 video models.md
Description
Example problems for week 8
Creator
P.D. Magnus
Created on
2020-10-12 16:47 UTC
Tags
Title
Day 12 lecture 10-13-20.md
Creator
Michael Titelbaum
Created on
2020-10-13 03:56 UTC
Tags
Title
Practice Problems 10.14 and 10.15.md
Creator
Hunter Gentry
Created on
2020-10-14 00:48 UTC
Tags
Title
Practice Midterm.md
Creator
Michael Titelbaum
Created on
2020-10-14 16:19 UTC
Tags
Title
Week_Eight.tex
Creator
Nick Huggett
Created on
2020-10-14 16:21 UTC
Tags
Title
Day 13 lecture 10-15-20.md
Creator
Michael Titelbaum
Created on
2020-10-15 01:31 UTC
Tags
Title
Lavers-Practice-problems-III.md
Description
Practice with proofs
Creator
Gregory Lavers
Created on
2020-10-15 15:00 UTC
Tags
proofs
Title
HS1, 1st try (F20).md
Creator
Erich Reck
Created on
2020-10-16 17:51 UTC
Tags
Title
HS1, 3rd try (F20).md
Creator
Erich Reck
Created on
2020-10-16 17:52 UTC
Tags
Title
Homework Set 1, 1st try (F20).md
Creator
Erich Reck
Created on
2020-10-16 18:09 UTC
Tags
Title
ExistentialDerivations.pandoc.txt
Creator
Paul Shephard
Created on
2020-10-17 15:52 UTC
Tags
Title
5c contingency and invalidity
Description
Construct models to show that sentences are contingent and arguments are invalid
Creator
P.D. Magnus
Created on
2020-10-19 02:04 UTC
Tags
Title
Practice Problems 10.21 and 10.22.md
Creator
Hunter Gentry
Created on
2020-10-19 20:48 UTC
Tags
Title
Midterm Fall 2020.md
Creator
Michael Titelbaum
Created on
2020-10-19 22:48 UTC
Tags
Title
SD-SD+ playground.md
Creator
Michael Titelbaum
Created on
2020-10-21 16:48 UTC
Tags
Title
Day 15 lecture 10-22-20.md
Creator
Michael Titelbaum
Created on
2020-10-21 16:48 UTC
Tags
Title
Homework Set 2 (F20).md
Description
Test for HS2
Creator
Erich Reck
Created on
2020-10-23 17:34 UTC
Tags
Title
Homework Set 2* (F20).md
Creator
Erich Reck
Created on
2020-10-23 20:22 UTC
Tags
Title
Homework Set 2** (F20).md
Creator
Erich Reck
Created on
2020-10-23 20:43 UTC
Tags
Title
Homework Set 2*** (F20).md
Creator
Erich Reck
Created on
2020-10-23 20:50 UTC
Tags
Title
Homework Set 2, First Try (F20).md
Creator
Erich Reck
Created on
2020-10-23 21:07 UTC
Tags
Title
Homework Set 2, Second Try (F20).md
Creator
Erich Reck
Created on
2020-10-23 21:09 UTC
Tags
Title
Homework Set 2, Third Try (F20).md
Creator
Erich Reck
Created on
2020-10-23 21:09 UTC
Tags
Title
Homework Set 1*, First Try (F20).md
Creator
Erich Reck
Created on
2020-10-24 02:06 UTC
Tags
Title
Homework Set 1*, Second Try (F20).md
Creator
Erich Reck
Created on
2020-10-24 02:06 UTC
Tags
Title
Homework Set 1*,-Third Try (F20).md
Creator
Erich Reck
Created on
2020-10-24 02:07 UTC
Tags
Title
6 video proof a.md
Creator
P.D. Magnus
Created on
2020-10-25 01:38 UTC
Tags
Title
6 proof playground
Description
Space to practice working proofs
Creator
P.D. Magnus
Created on
2020-10-25 18:31 UTC
Tags
Title
6a proof completion
Description
Given a proof with all the sentences, provide the justifying rule
Creator
P.D. Magnus
Created on
2020-10-25 18:31 UTC
Tags
Title
exam3
Creator
P.D. Magnus
Created on
2020-10-26 04:00 UTC
Tags
Title
chapter8morepractice.pandoc.txt
Creator
Lindsay Brainard
Created on
2020-10-26 20:02 UTC
Tags
Title
Lavers-Practice-problems-IV.md
Description
More derivations
Creator
Gregory Lavers
Created on
2020-10-28 15:39 UTC
Tags
Calgary forall x
Title
279 Tutorial Worksheet 8.md
Creator
Richard Zach
Created on
2020-10-28 19:14 UTC
Tags
calgary forall x
Title
exam-3-practice.md
Creator
Rohan French
Created on
2020-10-29 08:33 UTC
Tags
Title
Homework Set 2, Fourth Try (F20).md
Description
Another attempt
Creator
Erich Reck
Created on
2020-10-29 15:26 UTC
Tags
Title
Homework Set 3, First Try (F20).md
Creator
Erich Reck
Created on
2020-10-30 21:23 UTC
Tags
Title
Homework Set 3, Second Try (F20).md
Creator
Erich Reck
Created on
2020-10-30 21:45 UTC
Tags
Title
Homework Set 3, Third Try (F20).md
Creator
Erich Reck
Created on
2020-10-30 22:20 UTC
Tags
Title
Sequent Calculus Problem 9.md
Creator
Richard Zach
Created on
2020-10-31 19:38 UTC
Tags
Title
6 video proof b.md
Creator
P.D. Magnus
Created on
2020-11-02 01:39 UTC
Tags
Title
6b proofs in SL
Creator
P.D. Magnus
Created on
2020-11-02 01:40 UTC
Tags
Title
6c theorems in SL
Creator
P.D. Magnus
Created on
2020-11-02 01:40 UTC
Tags
Title
Phil008 Practice Exam for MT1.md
Creator
Erich Reck
Created on
2020-11-02 05:08 UTC
Tags
Title
279 Tutorial Worksheet 9.md
Creator
Richard Zach
Created on
2020-11-03 23:18 UTC
Tags
calgary forall x
Title
Midterm 1 for Phil008*.md
Creator
Erich Reck
Created on
2020-11-05 03:59 UTC
Tags
Title
wideinput.css
Creator
Richard Zach
Created on
2020-11-05 19:56 UTC
Tags
Title
Makeup Midterm 1 for Phil008.md
Description
Second version of Midterm 1 for Phil008
Creator
Erich Reck
Created on
2020-11-05 20:55 UTC
Tags
Title
exam3-makeup
Creator
P.D. Magnus
Created on
2020-11-06 00:15 UTC
Tags
Title
Homework Set 3, Fourth Try (F20).md
Creator
Erich Reck
Created on
2020-11-06 21:05 UTC
Tags
Title
7 proof playground QL
Creator
P.D. Magnus
Created on
2020-11-09 05:09 UTC
Tags
Title
7a proof completion in QL
Creator
P.D. Magnus
Created on
2020-11-09 05:09 UTC
Tags
Title
Homework Set 4, First Try (F20).md
Creator
Erich Reck
Created on
2020-11-13 23:16 UTC
Tags
Title
Homework Set 4, Second Try (F20).md
Creator
Erich Reck
Created on
2020-11-13 23:45 UTC
Tags
Title
HS4, Third Try (F20).md
Creator
Erich Reck
Created on
2020-11-13 23:51 UTC
Tags
Title
HS4, Fourth Try (F20).md
Creator
Erich Reck
Created on
2020-11-13 23:56 UTC
Tags
Title
Homework Set 4, Second Attempt (F20).md
Creator
Erich Reck
Created on
2020-11-14 00:29 UTC
Tags
Title
Homework Set 4, Third Attempt (F20).md
Creator
Erich Reck
Created on
2020-11-14 00:29 UTC
Tags
Title
7b proofs in QL
Creator
P.D. Magnus
Created on
2020-11-15 04:01 UTC
Tags
Title
First Illustration for Formal Proofs.md
Creator
Erich Reck
Created on
2020-11-16 19:32 UTC
Tags
Title
Examples of Basic Derivations.md
Creator
Erich Reck
Created on
2020-11-16 20:17 UTC
Tags
Title
Examples of Basic Derivations.md
Creator
Jason Carnell
Created on
2020-11-17 03:39 UTC
Tags
Title
Chapter12UIandEGPractice.txt
Creator
Lindsay Brainard
Created on
2020-11-17 22:12 UTC
Tags
Title
Office Hour 18 Nov.md
Creator
Joseph Bernardoni
Created on
2020-11-18 17:24 UTC
Tags
Title
Problem Set 6.md
Creator
Michael Titelbaum
Created on
2020-11-18 20:40 UTC
Tags
Title
Basic Derivations for Class 7.2.md
Creator
Erich Reck
Created on
2020-11-19 05:43 UTC
Tags
Title
Examples of Basic Derivations and Other Problems.md
Creator
Jason Carnell
Created on
2020-11-19 07:00 UTC
Tags
Title
Homework Set 5 and Practice Exam for MT2.md
Creator
Erich Reck
Created on
2020-11-21 00:10 UTC
Tags
Title
final-exam
Creator
P.D. Magnus
Created on
2020-11-22 05:59 UTC
Tags
Title
Day 24 lecture 11-24-20.md
Creator
Michael Titelbaum
Created on
2020-11-23 21:11 UTC
Tags
Title
Midterm 2 for Phil008.md
Creator
Erich Reck
Created on
2020-11-24 06:37 UTC
Tags
Title
Midterm 2* for Phil008.md
Creator
Erich Reck
Created on
2020-11-25 02:58 UTC
Tags
Title
Midterm 2# for Phil008.md
Creator
Erich Reck
Created on
2020-12-01 04:03 UTC
Tags
Title
final-practice.tex
Creator
Nick Huggett
Created on
2020-12-01 17:42 UTC
Tags
Title
279 Tutorial Worksheet 12.md
Creator
Richard Zach
Created on
2020-12-02 01:43 UTC
Tags
calgary forall x
Title
Problem Set 7.md
Creator
Michael Titelbaum
Created on
2020-12-02 04:04 UTC
Tags
Title
Homework Set 6.md
Creator
Erich Reck
Created on
2020-12-04 23:11 UTC
Tags
Title
Day 27 lecture 12-07-20.md
Creator
Michael Titelbaum
Created on
2020-12-07 20:19 UTC
Tags
Title
Formal Proofs for Class 10.1.md
Creator
Erich Reck
Created on
2020-12-08 03:22 UTC
Tags
Title
Day 28 lecture 12-10-20.md
Creator
Michael Titelbaum
Created on
2020-12-10 04:13 UTC
Tags
Title
dark-mode.md
Creator
Richard Zach
Created on
2020-12-13 20:59 UTC
Tags
Title
dark-mode.js
Creator
Richard Zach
Created on
2020-12-13 20:59 UTC
Tags
Title
dark-mode.css
Creator
Richard Zach
Created on
2020-12-13 21:00 UTC
Tags
Title
Homework Set 8 and Practice Final Exam.md
Creator
Erich Reck
Created on
2020-12-14 01:39 UTC
Tags
Title
For Review Session before the Final.md
Creator
Erich Reck
Created on
2020-12-16 17:48 UTC
Tags
Title
Final Exam.md
Creator
Michael Titelbaum
Created on
2020-12-16 21:05 UTC
Tags
Title
Phil008, Final Exam (Wednesday).md
Creator
Erich Reck
Created on
2020-12-17 02:00 UTC
Tags
Title
Final Exam (New Try).md
Creator
Erich Reck
Created on
2020-12-17 02:50 UTC
Tags
Title
Final Exam for Phil008.md
Creator
Erich Reck
Created on
2020-12-17 06:51 UTC
Tags
Title
Week Two Assignment.md
Description
Week two assignment for Phil 305 - Winter 2021
Creator
Brian Weatherson
Created on
2020-12-23 20:20 UTC
Tags
Title
Week Three Assignment.md
Description
Week Three assignment for Phil 305 - Winter 2021
Creator
Brian Weatherson
Created on
2020-12-23 20:22 UTC
Tags
Title
Week Five Assignment.md
Description
Week Five assignment for Phil 305 - Winter 2021
Creator
Brian Weatherson
Created on
2020-12-23 22:36 UTC
Tags
Title
practice proofs
Creator
Michael Nelson
Created on
2020-12-26 02:51 UTC
Tags
Title
problem set1
Creator
Michael Nelson
Created on
2021-01-02 18:31 UTC
Tags
Title
Week 1 Assignment.txt
Description
PHIL210 (Spring 2021): Assignment 1
Creator
Cody Hatfield-Myers
Created on
2021-01-05 20:38 UTC
Tags
Title
Week 3 Assignment.tex
Description
PHIL210 (Spring 2021): Assignment 3
Creator
Cody Hatfield-Myers
Created on
2021-01-05 20:47 UTC
Tags
Title
Week 5 Assignment.tex
Description
PHIL210 (Spring 2021): Assignment 5
Creator
Cody Hatfield-Myers
Created on
2021-01-05 20:51 UTC
Tags
Title
Week 6 Assignment.tex
Description
PHIL210 (Spring 2021): Assignment 6
Creator
Cody Hatfield-Myers
Created on
2021-01-05 20:52 UTC
Tags
Title
Week 7 Assignment.tex
Description
PHIL210 (Spring 2021): Assignment 7
Creator
Cody Hatfield-Myers
Created on
2021-01-05 20:53 UTC
Tags
Title
Week 8 Assignment.tex
Description
PHIL210 (Spring 2021): Assignment 8
Creator
Cody Hatfield-Myers
Created on
2021-01-05 20:54 UTC
Tags
Title
Week 2 Assignment.tex
Description
PHIL210 (Spring 2021): Assignment 2
Creator
Cody Hatfield-Myers
Created on
2021-01-05 21:25 UTC
Tags
Title
Final.tex
Description
PHIL210 (Spring 2021): Final Exam
Creator
Cody Hatfield-Myers
Created on
2021-01-05 22:45 UTC
Tags
Title
practice quiz.txt
Creator
Michael Nelson
Created on
2021-01-06 19:43 UTC
Tags
Title
problem set2
Creator
Michael Nelson
Created on
2021-01-08 04:52 UTC
Tags
Title
olptest.md
Creator
Richard Zach
Created on
2021-01-09 00:56 UTC
Tags
Title
try it week 3.txt
Creator
Michael Nelson
Created on
2021-01-11 06:24 UTC
Tags
Title
Nelson ~I discussion quiz.txt
Creator
Michael Nelson
Created on
2021-01-11 06:43 UTC
Tags
Title
week 3 semantic proof try its.txt
Creator
Michael Nelson
Created on
2021-01-11 22:32 UTC
Tags
Title
Quiz 1
Creator
Christopher Spano
Created on
2021-01-12 20:57 UTC
Tags
Title
ps3.txt
Creator
Michael Nelson
Created on
2021-01-16 22:04 UTC
Tags
Title
Identify main connective.md
Creator
Gert Webelhuth
Created on
2021-01-18 10:26 UTC
Tags
Title
Truth tables.md
Creator
Gert Webelhuth
Created on
2021-01-18 10:51 UTC
Tags
Title
Translation into PL.md
Creator
Gert Webelhuth
Created on
2021-01-18 11:02 UTC
Tags
Title
test.md
Creator
Gert Webelhuth
Created on
2021-01-18 14:57 UTC
Tags
Title
Discussion Problems W.3.txt
Creator
Christopher Spano
Created on
2021-01-19 17:32 UTC
Tags
Title
Relations.md
Creator
Richard Zach
Created on
2021-01-20 00:36 UTC
Tags
Title
example_doc.md
Creator
Josh Fry
Created on
2021-01-20 03:32 UTC
Tags
Title
nelson section quiz week3.txt
Creator
Michael Nelson
Created on
2021-01-20 05:41 UTC
Tags
Title
Quiz 2 Spano.txt
Creator
Christopher Spano
Created on
2021-01-20 16:56 UTC
Tags
Title
Discussion Problems W.3a.txt
Creator
Christopher Spano
Created on
2021-01-20 17:57 UTC
Tags
Title
Week 2 Discussion Session Problems.txt
Description
PHIL210: Week 2 Discussion Session Problems
Creator
Cody Hatfield-Myers
Created on
2021-01-20 21:29 UTC
Tags
Title
Practice Problems V.md
Description
Practice Problems V
Creator
Selcuk Kaan Tabakci
Created on
2021-01-20 23:26 UTC
Tags
Title
Practice Problems V.md
Creator
Shannon Allen
Created on
2021-01-20 23:35 UTC
Tags
Title
More Carnap.md
Creator
Gert Webelhuth
Created on
2021-01-21 12:44 UTC
Tags
Title
279 Tutorial Worksheet 2.md
Description
Exercises on symbolization in TFL
Creator
Richard Zach
Created on
2021-01-22 17:03 UTC
Tags
calgary forall x
Title
week 4 try it.txt
Creator
Michael Nelson
Created on
2021-01-22 23:45 UTC
Tags
Title
ps4.txt
Creator
Michael Nelson
Created on
2021-01-22 23:45 UTC
Tags
Title
firstmidterm.txt
Creator
Michael Nelson
Created on
2021-01-23 23:33 UTC
Tags
Title
week 4 lecture problems.txt
Creator
Michael Nelson
Created on
2021-01-25 04:59 UTC
Tags
Title
model-test.md
Creator
Gert Webelhuth
Created on
2021-01-25 15:05 UTC
Tags
Title
Models.md
Creator
Gert Webelhuth
Created on
2021-01-26 15:20 UTC
Tags
Title
zach-test.md
Creator
Brian Weatherson
Created on
2021-01-27 17:53 UTC
Tags
Title
Week 4 Assignment.txt
Description
PHIL210 (Spring 2021): Assignment 4
Creator
Cody Hatfield-Myers
Created on
2021-01-28 18:25 UTC
Tags
Title
Countermodels.md
Creator
Gert Webelhuth
Created on
2021-01-28 18:57 UTC
Tags
Title
Creator
Gert Webelhuth
Created on
2021-01-29 12:34 UTC
Tags
Title
simple semantic practice.txt
Creator
Michael Nelson
Created on
2021-01-29 20:28 UTC
Tags
Title
s21-0 opening exercise
Description
An initial exercise to try out Carnap
Creator
P.D. Magnus
Created on
2021-01-30 03:09 UTC
Tags
Title
s21-1 logical concepts
Description
Applying basic logical concepts
Creator
P.D. Magnus
Created on
2021-01-30 03:09 UTC
Tags
Title
week 5 practice problems.txt
Creator
Michael Nelson
Created on
2021-01-30 19:33 UTC
Tags
Title
ps5.txt
Creator
Michael Nelson
Created on
2021-02-01 15:55 UTC
Tags
Title
Nelson quiz week 5 .txt
Creator
Michael Nelson
Created on
2021-02-02 02:17 UTC
Tags
Title
Nelson discussion week 5 .txt
Creator
Michael Nelson
Created on
2021-02-02 02:39 UTC
Tags
Title
Week 4 Practice Example.tex
Description
PHIL210 (Spring 2021): Week 4 Practice Example
Creator
Cody Hatfield-Myers
Created on
2021-02-02 20:44 UTC
Tags
Title
Quantifiers and Variables.md
Creator
Gert Webelhuth
Created on
2021-02-03 09:26 UTC
Tags
Title
Feb 3 class.md
Creator
Brian Weatherson
Created on
2021-02-03 16:23 UTC
Tags
Title
279 Tutorial Worksheet 4.md
Creator
Richard Zach
Created on
2021-02-04 20:47 UTC
Tags
calgary forall x
Title
Creator
Gert Webelhuth
Created on
2021-02-05 12:17 UTC
Tags
Title
forall x: Calgary.md
Description
Landing page for forall x: Calgary
Creator
Richard Zach
Created on
2021-02-05 16:21 UTC
Tags
calgary forall x
Title
systems.md
Creator
Richard Zach
Created on
2021-02-06 02:22 UTC
Tags
Title
s21-2a translation
Description
translation from English into SL
Creator
P.D. Magnus
Created on
2021-02-06 04:20 UTC
Tags
Title
s21-2b more translation
Description
Translation from English into SL
Creator
P.D. Magnus
Created on
2021-02-06 04:20 UTC
Tags
Title
week6 tryits.txt
Creator
Michael Nelson
Created on
2021-02-07 18:47 UTC
Tags
Title
ps6.txt
Creator
Michael Nelson
Created on
2021-02-08 05:01 UTC
Tags
Title
Syntax.md
Creator
Judy Pelham
Created on
2021-02-09 13:56 UTC
Tags
Title
Transl SL
Creator
Judy Pelham
Created on
2021-02-09 15:01 UTC
Tags
Title
Truth Tables Test.txt
Creator
Judy Pelham
Created on
2021-02-09 15:47 UTC
Tags
Title
279 Worksheet 5 Symbolizations (and IP).md
Creator
Richard Zach
Created on
2021-02-09 20:04 UTC
Tags
calgary forall x
Title
Discussion Week 6.txt
Creator
Christopher Spano
Created on
2021-02-09 21:06 UTC
Tags
Title
krz-drzewo syntaktyczne.pandoc
Creator
Created on
2021-02-10 11:41 UTC
Tags
Title
gentzen-ND.md
Creator
Richard Zach
Created on
2021-02-11 02:34 UTC
Tags
Title
0landingPage.md
Creator
Helen Meskhidze
Created on
2021-02-13 04:00 UTC
Tags
Title
Variable-assignment-functions.md
Creator
Gert Webelhuth
Created on
2021-02-13 14:40 UTC
Tags
Title
s21-3a wffs
Description
Break down sentences in terms of their main operators
Creator
P.D. Magnus
Created on
2021-02-14 03:09 UTC
Tags
Title
s21-3b truth tables
Description
Use truth tables to test properties of sentences and arguments
Creator
P.D. Magnus
Created on
2021-02-14 03:09 UTC
Tags
Title
ps7.txt
Creator
Michael Nelson
Created on
2021-02-14 15:50 UTC
Tags
Title
Chapter 1.4 Exercises
Description
Chapter 1.4--Exercises #1 & #2
Creator
Jonathan Barker
Created on
2021-02-14 17:13 UTC
Tags
Title
Playground.txt
Description
Playground to work on own questions
Creator
Brian Weatherson
Created on
2021-02-15 16:29 UTC
Tags
Title
Chapter 1.5 Exercises
Creator
Jonathan Barker
Created on
2021-02-15 20:40 UTC
Tags
Title
Creator
Gert Webelhuth
Created on
2021-02-17 08:45 UTC
Tags
Title
Nelson quiz week 7.txt
Creator
Michael Nelson
Created on
2021-02-17 19:54 UTC
Tags
Title
Creator
Jonathan Barker
Created on
2021-02-19 18:27 UTC
Tags
Title
Chapter 1.6 Exercise #2
Creator
Jonathan Barker
Created on
2021-02-21 13:24 UTC
Tags
Title
Creator
Jonathan Barker
Created on
2021-02-21 13:25 UTC
Tags
Title
s21-exam1
Creator
P.D. Magnus
Created on
2021-02-22 04:53 UTC
Tags
Title
279 Worksheet 6 Interpretations.md
Creator
Richard Zach
Created on
2021-02-22 19:48 UTC
Tags
calgary forall x
Title
379 Worksheet Semantics and Theories.md
Creator
Richard Zach
Created on
2021-02-23 00:07 UTC
Tags
OpenLogic
Title
ps8.txt
Creator
Michael Nelson
Created on
2021-02-23 06:09 UTC
Tags
Title
tryweek8.txt
Creator
Michael Nelson
Created on
2021-02-23 06:40 UTC
Tags
Title
secondmidterm.txt
Creator
Michael Nelson
Created on
2021-02-23 15:56 UTC
Tags
Title
Problem Set 1.1.md
Description
Extra practice for skills covered in Chapter 1.
Creator
Garrett Pendergraft
Created on
2021-02-24 00:21 UTC
Tags
Title
Problem Set 2.1.md
Creator
Garrett Pendergraft
Created on
2021-02-25 17:30 UTC
Tags
Title
Problem Set 3.1.md
Creator
Garrett Pendergraft
Created on
2021-02-25 17:37 UTC
Tags
Title
279 Tutorial Worksheet 6.md
Creator
Richard Zach
Created on
2021-02-26 16:28 UTC
Tags
calgary forall x
Title
Ex 2.4.2 Trans S.md
Description
Exercises 2.4.2 Translation into S Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-02-27 14:03 UTC
Tags
Sentential Translation
Title
Ex 2.4.4 Trans S.md
Description
Exercises 2.4.4 Translation into S Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-02-27 14:47 UTC
Tags
Sentential Translation
Title
Ex 2.4.6A Trans S.md
Description
Exercises 2.4.6A Translation into S Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-02-27 14:48 UTC
Tags
Sentential Translation
Title
Ex 2.4.6B Trans S.md
Description
Exercises 2.4.6B Translation into S Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-02-27 14:49 UTC
Tags
Sentential Translation
Title
week9tryit.txt
Creator
Michael Nelson
Created on
2021-02-27 19:54 UTC
Tags
Title
s21-4a translation
Description
Basic and intermediate translation into QL
Creator
P.D. Magnus
Created on
2021-02-28 04:58 UTC
Tags
Title
ps9.txt
Creator
Michael Nelson
Created on
2021-02-28 17:07 UTC
Tags
Title
Indirect Derivation Exercises
Creator
Jonathan Barker
Created on
2021-03-01 18:14 UTC
Tags
Title
279 Worksheet 7 Proofs in FOL.md
Creator
Richard Zach
Created on
2021-03-01 19:21 UTC
Tags
calgary forall x
Title
279 Tutorial Worksheet 7.md
Creator
Richard Zach
Created on
2021-03-01 19:22 UTC
Tags
calgary forall x
Title
ps10.txt
Creator
Michael Nelson
Created on
2021-03-01 21:47 UTC
Tags
Title
ID Exercise V
Creator
Jonathan Barker
Created on
2021-03-01 22:01 UTC
Tags
Title
argumentacja-i-rozumowanie.pandoc
Creator
Created on
2021-03-02 12:34 UTC
Tags
Title
zarys-historii.pandoc
Creator
Created on
2021-03-02 12:35 UTC
Tags
Title
secondmidterm bonus.txt
Creator
Michael Nelson
Created on
2021-03-02 16:07 UTC
Tags
Title
379 Worksheet Derivations in NK.md
Creator
Richard Zach
Created on
2021-03-02 17:42 UTC
Tags
NK OpenLogic
Title
withchecks.txt
Creator
Michael Nelson
Created on
2021-03-03 02:33 UTC
Tags
Title
Ex 4.1.7 SD.md
Description
Exercises 4.1.7 Derivations in SD Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-03 21:26 UTC
Tags
Derivations Sentential
Title
Proof Sandbox.tex
Description
PHIL210 (Spring 2021): Proof Sandbox
Creator
Cody Hatfield-Myers
Created on
2021-03-04 21:15 UTC
Tags
Title
Midterm (Formatted for Randomization).txt
Description
PHIL210 (Spring 2021): Midterm Exam
Creator
Cody Hatfield-Myers
Created on
2021-03-04 21:36 UTC
Tags
Title
Study Guide #1-- Derivations
Creator
Jonathan Barker
Created on
2021-03-05 18:35 UTC
Tags
Title
279 Worksheet 8 Symbolization with multiple quantifiers.md
Creator
Richard Zach
Created on
2021-03-06 22:59 UTC
Tags
calgary forall x
Title
s21-4b translation
Description
more translation from English into QL
Creator
P.D. Magnus
Created on
2021-03-07 00:56 UTC
Tags
Title
s21-4c translation
Description
even more translation from English into QL
Creator
P.D. Magnus
Created on
2021-03-07 00:57 UTC
Tags
Title
krz-formalizacja-alfabet-formuly.pandoc
Creator
Created on
2021-03-08 12:01 UTC
Tags
Title
Problem Set 10.1.md
Creator
Garrett Pendergraft
Created on
2021-03-10 00:56 UTC
Tags
Title
Problem Set 11.1.md
Creator
Garrett Pendergraft
Created on
2021-03-10 00:57 UTC
Tags
Title
279 Worksheet 9 Identity.md
Creator
Richard Zach
Created on
2021-03-11 22:54 UTC
Tags
calgary forall x
Title
279 Worksheet 10 Proofs for full FOL.md
Creator
Richard Zach
Created on
2021-03-11 22:55 UTC
Tags
calgary forall x
Title
279 Worksheet 11 Interpretations for full FOL.md
Creator
Richard Zach
Created on
2021-03-11 22:55 UTC
Tags
calgary forall x
Title
279 Worksheet 12 Functional completeness and normal forms.md
Creator
Richard Zach
Created on
2021-03-11 22:55 UTC
Tags
calgary forall x
Title
2.4 #1 Exercises
Creator
Jonathan Barker
Created on
2021-03-14 17:20 UTC
Tags
Title
s21-exam2
Description
Second exam, covering translation from English into QL
Creator
P.D. Magnus
Created on
2021-03-15 02:42 UTC
Tags
Title
379 Worksheet Completeness of NK.md
Creator
Richard Zach
Created on
2021-03-15 15:51 UTC
Tags
NK OpenLogic
Title
Problem Set 13.1.md
Creator
Garrett Pendergraft
Created on
2021-03-17 05:54 UTC
Tags
Title
Problem Set 14.1.md
Creator
Garrett Pendergraft
Created on
2021-03-17 05:55 UTC
Tags
Title
Problem Set 3.2.md
Creator
Garrett Pendergraft
Created on
2021-03-17 23:06 UTC
Tags
Title
2validityWithTruthTables.md
Creator
Helen Meskhidze
Created on
2021-03-18 21:17 UTC
Tags
Title
s21-5a truth in a model
Description
Determine whether a model makes sentences true or false.
Creator
P.D. Magnus
Created on
2021-03-20 02:59 UTC
Tags
Title
s21-5b constructing models
Description
Construct a model to make a given sentence true.
Creator
P.D. Magnus
Created on
2021-03-20 03:03 UTC
Tags
Title
finalexam redemption.txt
Creator
Michael Nelson
Created on
2021-03-20 16:29 UTC
Tags
Title
finalexam.txt
Creator
Michael Nelson
Created on
2021-03-20 16:30 UTC
Tags
Title
EquivalenceProofsExmpl.md
Creator
Gillman Payette
Created on
2021-03-21 16:16 UTC
Tags
Title
PropProofsExmpl.md
Creator
Gillman Payette
Created on
2021-03-21 16:19 UTC
Tags
Title
Problem Set 4.1.md
Creator
Garrett Pendergraft
Created on
2021-03-22 20:12 UTC
Tags
Title
HW 1, First Try.txt
Creator
Andrew Law
Created on
2021-03-23 19:04 UTC
Tags
Title
Chapter 2 Derivations (**submit incomplete work here**)-- Rules S, MTP ADJ, ADD, CB, and BC.txt
Creator
Jonathan Barker
Created on
2021-03-23 19:50 UTC
Tags
Title
379 Worksheet Undecidability of FOL.md
Creator
Richard Zach
Created on
2021-03-27 19:43 UTC
Tags
NK OpenLogic
Title
s21-5c contingency and invalidity
Description
Showing that sentences are contingent or arguments are invalid by constructing models
Creator
P.D. Magnus
Created on
2021-03-29 04:00 UTC
Tags
Title
Derivations Using Derived Rules, Set I
Creator
Jonathan Barker
Created on
2021-03-29 17:40 UTC
Tags
Title
Problem Set 5.1.md
Creator
Garrett Pendergraft
Created on
2021-03-29 18:13 UTC
Tags
Title
HW 1, Second Try.txt
Creator
Andrew Law
Created on
2021-04-01 17:04 UTC
Tags
Title
Creator
Jonathan Barker
Created on
2021-04-02 21:10 UTC
Tags
Title
Practice Derivations--Derived Inference Rules CI, RA, TR, COMM, HS, EXP
Creator
Jonathan Barker
Created on
2021-04-03 21:25 UTC
Tags
Title
s21-exam3
Description
Exam covering formal semantics for QL
Creator
P.D. Magnus
Created on
2021-04-04 23:06 UTC
Tags
Title
HW 2, First Try.txt
Creator
Andrew Law
Created on
2021-04-05 16:23 UTC
Tags
Title
semantyka-1.pandoc
Creator
Created on
2021-04-06 13:16 UTC
Tags
Title
3ExamplesOfBasicProofs.md
Creator
Helen Meskhidze
Created on
2021-04-07 21:14 UTC
Tags
Title
3Week.md
Creator
Helen Meskhidze
Created on
2021-04-07 22:40 UTC
Tags
Title
3BasicRules.md
Creator
Helen Meskhidze
Created on
2021-04-07 22:41 UTC
Tags
Title
3HypothRules.md
Creator
Helen Meskhidze
Created on
2021-04-07 22:41 UTC
Tags
Title
3Proofs.md
Creator
Helen Meskhidze
Created on
2021-04-07 22:41 UTC
Tags
Title
Problem Set 6.1.md
Creator
Garrett Pendergraft
Created on
2021-04-08 04:41 UTC
Tags
Title
HW 2, Second Try.txt
Creator
Andrew Law
Created on
2021-04-08 21:05 UTC
Tags
Title
HW 3, First Try.txt
Creator
Andrew Law
Created on
2021-04-10 00:10 UTC
Tags
Title
s21-6 proof playground
Creator
P.D. Magnus
Created on
2021-04-12 00:10 UTC
Tags
Title
s21-6a proof completion
Description
Some problems introducing the structure of proofs in SL
Creator
P.D. Magnus
Created on
2021-04-12 00:11 UTC
Tags
Title
4Playground.md
Creator
Helen Meskhidze
Created on
2021-04-13 22:36 UTC
Tags
Title
4Week.md
Creator
Helen Meskhidze
Created on
2021-04-14 00:09 UTC
Tags
Title
4Theorems.md
Creator
Helen Meskhidze
Created on
2021-04-14 00:09 UTC
Tags
Title
4Shortcuts.md
Creator
Helen Meskhidze
Created on
2021-04-14 00:09 UTC
Tags
Title
4ProofStrategies.md
Creator
Helen Meskhidze
Created on
2021-04-14 00:10 UTC
Tags
Title
4PracticeProblems.md
Creator
Helen Meskhidze
Created on
2021-04-14 00:10 UTC
Tags
Title
Problem Set 7.1.md
Creator
Garrett Pendergraft
Created on
2021-04-14 00:53 UTC
Tags
Title
5.3E1b.md
Creator
John Bowin
Created on
2021-04-14 18:55 UTC
Tags
Title
5.3E1d.md
Creator
John Bowin
Created on
2021-04-14 18:55 UTC
Tags
Title
5.3E1f.md
Creator
John Bowin
Created on
2021-04-14 18:55 UTC
Tags
Title
5.3E1j.md
Creator
John Bowin
Created on
2021-04-14 18:55 UTC
Tags
Title
5.3E1n.md
Creator
John Bowin
Created on
2021-04-14 18:55 UTC
Tags
Title
5.3E1p.md
Creator
John Bowin
Created on
2021-04-14 18:55 UTC
Tags
Title
5.3E1r.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E2b.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E2d.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E2f.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E2l.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E3d.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E3f.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E3h.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E3j.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E4b.md
Creator
John Bowin
Created on
2021-04-14 18:56 UTC
Tags
Title
5.3E4d.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E4f.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E5b.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E5d.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E5f.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E5h.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E6b.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E6d.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E6h.md
Creator
John Bowin
Created on
2021-04-14 18:57 UTC
Tags
Title
5.3E7d.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E7f.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E7j.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E7l.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E8b.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E8d.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E8f.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E9b.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E9d.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E9h.md
Creator
John Bowin
Created on
2021-04-14 18:58 UTC
Tags
Title
5.3E9j.md
Creator
John Bowin
Created on
2021-04-14 18:59 UTC
Tags
Title
5.3E9l.md
Creator
John Bowin
Created on
2021-04-14 18:59 UTC
Tags
Title
5.3E9n.md
Creator
John Bowin
Created on
2021-04-14 18:59 UTC
Tags
Title
5.3E10d.md
Creator
John Bowin
Created on
2021-04-14 18:59 UTC
Tags
Title
5.3E10f.md
Creator
John Bowin
Created on
2021-04-14 18:59 UTC
Tags
Title
5.3E10h.md
Creator
John Bowin
Created on
2021-04-14 18:59 UTC
Tags
Title
5.4E1b.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E2d.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E3b.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E3d.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E3h.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E3j.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E4b.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E4d.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E4f.md
Creator
John Bowin
Created on
2021-04-14 19:00 UTC
Tags
Title
5.4E5b.md
Creator
John Bowin
Created on
2021-04-14 19:01 UTC
Tags
Title
5.4E5d.md
Creator
John Bowin
Created on
2021-04-14 19:01 UTC
Tags
Title
5.4E5f.md
Creator
John Bowin
Created on
2021-04-14 19:01 UTC
Tags
Title
10.2E1b.md
Creator
John Bowin
Created on
2021-04-14 20:08 UTC
Tags
Title
10.2E1h.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E1j.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E2d.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E3b.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E3f.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E3h.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E4b.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E4d.md
Creator
John Bowin
Created on
2021-04-14 20:10 UTC
Tags
Title
10.2E4h.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E4j.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E4l.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E5b.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E5f.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E6d.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E6f.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E6h.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E7d.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E7f.md
Creator
John Bowin
Created on
2021-04-14 20:11 UTC
Tags
Title
10.2E7n.md
Creator
John Bowin
Created on
2021-04-14 20:12 UTC
Tags
Title
10.2E8b.md
Creator
John Bowin
Created on
2021-04-14 20:12 UTC
Tags
Title
10.2E9b.md
Creator
John Bowin
Created on
2021-04-14 20:12 UTC
Tags
Title
10.2E9d.md
Creator
John Bowin
Created on
2021-04-14 20:12 UTC
Tags
Title
10.2E9f.md
Creator
John Bowin
Created on
2021-04-14 20:12 UTC
Tags
Title
10.2E9j.md
Creator
John Bowin
Created on
2021-04-14 20:12 UTC
Tags
Title
10.3E3d.md
Creator
John Bowin
Created on
2021-04-14 20:13 UTC
Tags
Title
10.3E5b.md
Creator
John Bowin
Created on
2021-04-14 20:13 UTC
Tags
Title
10.3E5d.md
Creator
John Bowin
Created on
2021-04-14 20:13 UTC
Tags
Title
10.2E1d.md
Creator
John Bowin
Created on
2021-04-14 20:18 UTC
Tags
Title
10.2E2h.md
Creator
John Bowin
Created on
2021-04-14 20:21 UTC
Tags
Title
10.2E2j.md
Creator
John Bowin
Created on
2021-04-14 20:23 UTC
Tags
Title
10.2E2l.md
Creator
John Bowin
Created on
2021-04-14 20:25 UTC
Tags
Title
10.2E7h.md
Creator
John Bowin
Created on
2021-04-14 21:31 UTC
Tags
Title
10.2E8d.md
Creator
John Bowin
Created on
2021-04-14 21:46 UTC
Tags
Title
10.2E9h.md
Creator
John Bowin
Created on
2021-04-14 21:49 UTC
Tags
Title
10.2E9l.md
Creator
John Bowin
Created on
2021-04-14 22:27 UTC
Tags
Title
10.3E2f.md
Creator
John Bowin
Created on
2021-04-14 22:39 UTC
Tags
Title
10.3E4b.md
Creator
John Bowin
Created on
2021-04-14 22:45 UTC
Tags
Title
10.3E5f.md
Creator
John Bowin
Created on
2021-04-14 22:48 UTC
Tags
Title
10.3E2h.md
Creator
John Bowin
Created on
2021-04-14 22:51 UTC
Tags
Title
10.3E4d.md
Creator
John Bowin
Created on
2021-04-14 22:55 UTC
Tags
Title
10.3E4f.md
Creator
John Bowin
Created on
2021-04-14 22:57 UTC
Tags
Title
5.3E1a.md
Creator
John Bowin
Created on
2021-04-15 15:48 UTC
Tags
Title
5.3E1c.md
Creator
John Bowin
Created on
2021-04-15 15:55 UTC
Tags
Title
5.3E1e.md
Creator
John Bowin
Created on
2021-04-15 15:55 UTC
Tags
Title
5.3E1g.md
Creator
John Bowin
Created on
2021-04-15 15:55 UTC
Tags
Title
5.3E1i.md
Creator
John Bowin
Created on
2021-04-15 15:55 UTC
Tags
Title
5.3E1k.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E1m.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E1o.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E1q.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E2a.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E2c.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E2e.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E2g.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E2i.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E2k.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E2m.md
Creator
John Bowin
Created on
2021-04-15 15:56 UTC
Tags
Title
5.3E3a.md
Creator
John Bowin
Created on
2021-04-15 15:57 UTC
Tags
Title
5.3E3c.md
Creator
John Bowin
Created on
2021-04-15 15:57 UTC
Tags
Title
5.3E3e.md
Creator
John Bowin
Created on
2021-04-15 15:57 UTC
Tags
Title
5.3E3g.md
Creator
John Bowin
Created on
2021-04-15 15:57 UTC
Tags
Title
5.3E3i.md
Creator
John Bowin
Created on
2021-04-15 15:57 UTC
Tags
Title
5.3E3k.md
Creator
John Bowin
Created on
2021-04-15 15:57 UTC
Tags
Title
5.3E3m.md
Creator
John Bowin
Created on
2021-04-15 15:57 UTC
Tags
Title
5.3E4a.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E4c.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E4e.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E5a.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E5c.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E5e.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E5g.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E5i.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E6a.md
Creator
John Bowin
Created on
2021-04-15 15:58 UTC
Tags
Title
5.3E6c.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E6e.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E6g.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E7a.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E7c.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E7e.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E7g.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E7i.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E7k.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E7m.md
Creator
John Bowin
Created on
2021-04-15 15:59 UTC
Tags
Title
5.3E8a.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E8c.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E8e.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E8g.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E9a.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E9c.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E9e.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E9g.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E9i.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E9k.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E9m.md
Creator
John Bowin
Created on
2021-04-15 16:00 UTC
Tags
Title
5.3E10a.md
Creator
John Bowin
Created on
2021-04-15 16:01 UTC
Tags
Title
5.3E10c.md
Creator
John Bowin
Created on
2021-04-15 16:01 UTC
Tags
Title
5.3E10e.md
Creator
John Bowin
Created on
2021-04-15 16:01 UTC
Tags
Title
5.3E10g.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E1a.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E1c.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E1e.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E2a.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E2c.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E2e.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E2g.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E3a.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E3c.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E3e.md
Creator
John Bowin
Created on
2021-04-15 16:02 UTC
Tags
Title
5.4E3g.md
Creator
John Bowin
Created on
2021-04-15 16:03 UTC
Tags
Title
5.4E3i.md
Creator
John Bowin
Created on
2021-04-15 16:03 UTC
Tags
Title
5.4E4a.md
Creator
John Bowin
Created on
2021-04-15 16:03 UTC
Tags
Title
5.4E4c.md
Creator
John Bowin
Created on
2021-04-15 16:03 UTC
Tags
Title
5.4E4e.md
Creator
John Bowin
Created on
2021-04-15 16:03 UTC
Tags
Title
5.4E5c.md
Creator
John Bowin
Created on
2021-04-15 16:03 UTC
Tags
Title
5.4E5e.md
Creator
John Bowin
Created on
2021-04-15 16:03 UTC
Tags
Title
10.2E1a.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E1c.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E1e.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E1g.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E1i.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E1k.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E1m.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E2a.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E2b.md
Creator
John Bowin
Created on
2021-04-15 16:04 UTC
Tags
Title
10.2E2c.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E2e.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E2g.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E2i.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E2k.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E2m.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E3a.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E3c.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E3e.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E3g.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E3i.md
Creator
John Bowin
Created on
2021-04-15 16:05 UTC
Tags
Title
10.2E4a.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E4c.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E4e.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E4g.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E4k.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E5a.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E5c.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E5e.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E5g.md
Creator
John Bowin
Created on
2021-04-15 16:06 UTC
Tags
Title
10.2E5i.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E6a.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E6c.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E6e.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E7a.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E7c.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E7e.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E7g.md
Creator
John Bowin
Created on
2021-04-15 16:07 UTC
Tags
Title
10.2E7i.md
Creator
John Bowin
Created on
2021-04-15 16:08 UTC
Tags
Title
10.2E7k.md
Creator
John Bowin
Created on
2021-04-15 16:08 UTC
Tags
Title
10.2E7m.md
Creator
John Bowin
Created on
2021-04-15 16:08 UTC
Tags
Title
10.2E8a.md
Creator
John Bowin
Created on
2021-04-15 16:08 UTC
Tags
Title
10.2E8c.md
Creator
John Bowin
Created on
2021-04-15 16:08 UTC
Tags
Title
10.2E8e.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.2E9a.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.2E9c.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.2E9e.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.2E9g.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.2E9i.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.2E9k.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.3E1c.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.3E1e.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.3E2a.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.3E2c.md
Creator
John Bowin
Created on
2021-04-15 16:09 UTC
Tags
Title
10.3E2e.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E2g.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E2i.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E3a.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E3c.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E3e.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E4a.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E4c.md
Creator
John Bowin
Created on
2021-04-15 16:10 UTC
Tags
Title
10.3E4e.md
Creator
John Bowin
Created on
2021-04-15 16:11 UTC
Tags
Title
10.3E5c.md
Creator
John Bowin
Created on
2021-04-15 16:11 UTC
Tags
Title
10.3E5e.md
Creator
John Bowin
Created on
2021-04-15 16:11 UTC
Tags
Title
5.4E5a.md
Creator
John Bowin
Created on
2021-04-15 18:49 UTC
Tags
Title
10.2E6g.md
Creator
John Bowin
Created on
2021-04-15 19:38 UTC
Tags
Title
10.3E1a.md
Creator
John Bowin
Created on
2021-04-15 20:04 UTC
Tags
Title
10.3E5a.md
Creator
John Bowin
Created on
2021-04-15 20:23 UTC
Tags
Title
embedexercise.css
Creator
John Bowin
Created on
2021-04-15 20:40 UTC
Tags
Title
HW 3, Second Try.txt
Creator
Andrew Law
Created on
2021-04-15 21:20 UTC
Tags
Title
PLE Translation - Arithmetic Relations (Learning to Quantify) (1).md
Creator
William Melanson
Created on
2021-04-17 21:06 UTC
Tags
PLE Translations
Title
PLE Translation - Arithmetic Relations (Learning to Quantify) (2).md
Creator
William Melanson
Created on
2021-04-17 21:06 UTC
Tags
PLE Translations
Title
s21-6b proofs in SL
Description
Construct proofs in SL
Creator
P.D. Magnus
Created on
2021-04-18 02:06 UTC
Tags
Title
s21-6c theorems in SL
Description
Prove theorems in SL
Creator
P.D. Magnus
Created on
2021-04-18 02:06 UTC
Tags
Title
HW 4, First Try.txt
Creator
Andrew Law
Created on
2021-04-18 20:45 UTC
Tags
Title
PL Translation Exercises
Creator
Jonathan Barker
Created on
2021-04-19 20:28 UTC
Tags
Title
140CarnapHomework10.md
Creator
Joshua Smith
Created on
2021-04-20 05:02 UTC
Tags
Title
dowody.pandoc
Creator
Created on
2021-04-20 11:56 UTC
Tags
Title
Problem Set 8.1.md
Creator
Garrett Pendergraft
Created on
2021-04-20 21:40 UTC
Tags
Title
HW 4, Second Try.txt
Creator
Andrew Law
Created on
2021-04-21 20:12 UTC
Tags
Title
logica-proposicional-linguagem-1.md
Description
Linguagem proposicional -- exercícios de simbolização
Creator
Diego Fernandes
Created on
2021-04-21 22:56 UTC
Tags
lógica sentencial português simbolização
Title
logica-proposicional-linguagem-sintax-1.md
Description
Lógica Proposicional -- sintaxe e operador principal
Creator
Diego Fernandes
Created on
2021-04-22 00:23 UTC
Tags
sintaxe lógica sentencial operador principal português
Title
5QLP2.md
Creator
Helen Meskhidze
Created on
2021-04-22 21:52 UTC
Tags
Title
5Week.md
Creator
Helen Meskhidze
Created on
2021-04-23 23:24 UTC
Tags
Title
5WhatsNext.md
Creator
Helen Meskhidze
Created on
2021-04-23 23:24 UTC
Tags
Title
5QLP1.md
Creator
Helen Meskhidze
Created on
2021-04-23 23:24 UTC
Tags
Title
5PracticeProblems.md
Creator
Helen Meskhidze
Created on
2021-04-23 23:24 UTC
Tags
Title
Final [PRACTICE].tex
Description
PHIL210 (Spring 2021): Final Exam [PRACTICE]
Creator
Cody Hatfield-Myers
Created on
2021-04-24 18:54 UTC
Tags
Title
s21-6 proof playground QL
Creator
P.D. Magnus
Created on
2021-04-25 01:43 UTC
Tags
Title
s21-6d proof completion in QL
Creator
P.D. Magnus
Created on
2021-04-25 01:43 UTC
Tags
Title
s21-6e proofs in QL
Creator
P.D. Magnus
Created on
2021-04-25 01:43 UTC
Tags
Title
Bertie SD 1-10.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-04-25 13:29 UTC
Tags
Derivations Sentential
Title
Bertie SD 11-20.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-04-25 13:29 UTC
Tags
Derivations Sentential
Title
Bertie SD 21-30.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-04-25 13:29 UTC
Tags
Derivations Sentential
Title
Bertie SD 31-40.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-04-25 13:29 UTC
Tags
Derivations Sentential
Title
Bertie SD 41-50.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-04-25 13:29 UTC
Tags
Derivations Sentential
Title
Bertie SDE 1-13.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-04-25 13:30 UTC
Tags
Derivations Sentential
Title
Bertie SDE 14-25.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-04-25 13:30 UTC
Tags
Derivations Sentential
Title
Ex 4.3.1 SD.md
Description
Exercises 4.3.1 Derivations in SD Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-04-25 13:30 UTC
Tags
Derivations Sentential
Title
Ex 4.4.2 SDE.md
Description
Exercises 4.4.2 Derivations in SDE Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-04-25 13:30 UTC
Tags
Derivations Sentential
Title
Ex 4.4.4 SDE.md
Description
Exercises 4.4.4 Derivations in SDE Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-04-25 13:30 UTC
Tags
Derivations Sentential
Title
test.md
Creator
Paul Gregory
Created on
2021-04-25 13:30 UTC
Tags
Title
First Midterm.txt
Creator
Andrew Law
Created on
2021-04-26 02:26 UTC
Tags
Title
PL Derivations-- UI, EG, and EI
Creator
Jonathan Barker
Created on
2021-04-26 17:46 UTC
Tags
Title
kolokwium1.pandoc
Creator
Created on
2021-04-27 10:23 UTC
Tags
Title
Problem Set 9.1.md
Creator
Garrett Pendergraft
Created on
2021-04-28 21:51 UTC
Tags
Title
6PracticeProblems.md
Creator
Helen Meskhidze
Created on
2021-04-29 22:44 UTC
Tags
Title
6Week.md
Creator
Helen Meskhidze
Created on
2021-04-30 19:06 UTC
Tags
Title
6ModelsBasics.md
Creator
Helen Meskhidze
Created on
2021-04-30 19:06 UTC
Tags
Title
6Venn.md
Creator
Helen Meskhidze
Created on
2021-04-30 19:06 UTC
Tags
Title
6Arrow.md
Creator
Helen Meskhidze
Created on
2021-04-30 19:06 UTC
Tags
Title
6Map.md
Creator
Helen Meskhidze
Created on
2021-04-30 19:06 UTC
Tags
Title
HW 5, First Try.txt
Creator
Andrew Law
Created on
2021-05-01 16:31 UTC
Tags
Title
derivation 3e
Creator
Jonathan Barker
Created on
2021-05-01 18:29 UTC
Tags
Title
Bertie PD 1-10.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-05-02 15:36 UTC
Tags
Derivations Predicate
Title
Bertie PD 11-20.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-05-02 17:00 UTC
Tags
Derivations Predicate
Title
Bertie PD 21-30.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-05-02 18:00 UTC
Tags
Derivations Predicate
Title
Bertie PD 31-40.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-05-02 18:00 UTC
Tags
Derivations Predicate
Title
Bertie PD 41-53.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-05-02 18:00 UTC
Tags
Derivations Predicate
Title
Bertie PDE 1-14.md
Description
Problems from Bertie3 Bertie3 and Twootie are both copyright (c) Austen Clark 1991, 1992. As of June 2002 they are distributed under the provisions of the GNU General Public License.
Creator
Paul Gregory
Created on
2021-05-02 18:00 UTC
Tags
Derivations Predicate
Title
s21-exam4
Creator
P.D. Magnus
Created on
2021-05-03 03:58 UTC
Tags
Title
Ex 5.3.2 Trans P.md
Description
Exercises 5.3.2 Translation into P Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 13:35 UTC
Tags
Predicate Translation
Title
Ex 5.4.4 Trans P.md
Description
Exercises 5.4.4 Translation into P Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 14:37 UTC
Tags
Predicate Translation
Title
Ex 5.3.4 Trans P.md
Description
Exercises 5.3.4 Translation into P Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 15:36 UTC
Tags
Predicate Translation
Title
Ex 5.4.2 Trans P.md
Description
Exercises 5.4.2 Translation into P Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 15:36 UTC
Tags
Predicate Translation
Title
Ex 7.1.5 PD.md
Description
Exercises 7.1.5 Derivations in PD Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 18:12 UTC
Tags
Derivations Predicate
Title
Ex 7.3.1 PD.md
Description
Exercises 7.3.1 Derivations in PD Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 18:12 UTC
Tags
Derivations Predicate
Title
Ex 7.4.2 PDE.md
Description
Exercises 7.4.2 Derivations in PD Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 18:12 UTC
Tags
Derivations Predicate
Title
Study Guide #3-- Derivations-- UI, EG, EI + Universal Derivations
Creator
Jonathan Barker
Created on
2021-05-04 19:22 UTC
Tags
Title
4PracticeProblemsSolutions.md
Creator
Helen Meskhidze
Created on
2021-05-05 17:28 UTC
Tags
Title
7PracticeSLproofs.md
Creator
Helen Meskhidze
Created on
2021-05-05 19:21 UTC
Tags
Title
7PracticeSLproofsSolutions.md
Creator
Helen Meskhidze
Created on
2021-05-05 19:43 UTC
Tags
Title
7QuantifierRules.md
Creator
Helen Meskhidze
Created on
2021-05-05 23:16 UTC
Tags
Title
7CompleteTableOfRules.md
Creator
Helen Meskhidze
Created on
2021-05-05 23:19 UTC
Tags
Title
7PracticeProblems.md
Creator
Helen Meskhidze
Created on
2021-05-05 23:41 UTC
Tags
Title
7PracticeProblemsSolutions.md
Creator
Helen Meskhidze
Created on
2021-05-05 23:59 UTC
Tags
Title
Derivation Playground (Hurley PL).txt
Creator
Andrew Law
Created on
2021-05-08 18:26 UTC
Tags
Title
7ExamplesOfQLProofs.md
Creator
Helen Meskhidze
Created on
2021-05-08 18:47 UTC
Tags
Title
HW 5, Second Try.txt
Creator
Andrew Law
Created on
2021-05-08 19:43 UTC
Tags
Title
HW 6.txt
Creator
Andrew Law
Created on
2021-05-08 20:50 UTC
Tags
Title
7Week.md
Creator
Helen Meskhidze
Created on
2021-05-09 01:30 UTC
Tags
Title
7ProofsInQL.md
Creator
Helen Meskhidze
Created on
2021-05-09 01:34 UTC
Tags
Title
playground.pandoc
Creator
Jared Riggs
Created on
2021-05-09 01:54 UTC
Tags
Title
6PracticeProblemsSolutions.md
Creator
Helen Meskhidze
Created on
2021-05-14 15:34 UTC
Tags
Title
8CompleteTableOfRulesAndShortcuts.md
Creator
Helen Meskhidze
Created on
2021-05-14 17:30 UTC
Tags
Title
8PracticeProblems.md
Creator
Helen Meskhidze
Created on
2021-05-14 22:30 UTC
Tags
Title
8ExamplesOfProofswithQN.md
Creator
Helen Meskhidze
Created on
2021-05-14 22:30 UTC
Tags
Title
8PracticeProblemsSolutions.md
Creator
Helen Meskhidze
Created on
2021-05-14 22:48 UTC
Tags
Title
8Week.md
Creator
Helen Meskhidze
Created on
2021-05-14 22:51 UTC
Tags
Title
8Whystudyformalsystems.md
Creator
Helen Meskhidze
Created on
2021-05-14 22:51 UTC
Tags
Title
8QuantifierNegation.md
Creator
Helen Meskhidze
Created on
2021-05-14 22:55 UTC
Tags
Title
MAKEUP ONLY Second Midterm.txt
Creator
Andrew Law
Created on
2021-05-16 02:37 UTC
Tags
Title
Second Midterm.txt
Creator
Andrew Law
Created on
2021-05-18 21:05 UTC
Tags
Title
Second Midterm--MAKEUP.txt
Creator
Andrew Law
Created on
2021-05-19 21:56 UTC
Tags
Title
HW 7, First Try.txt
Creator
Andrew Law
Created on
2021-05-22 21:45 UTC
Tags
Title
Second Midterm--Daniela De La Garza.txt
Creator
Andrew Law
Created on
2021-05-31 23:20 UTC
Tags
Title
HW 7, Second Try.txt
Creator
Andrew Law
Created on
2021-06-02 20:26 UTC
Tags
Title
pset1.md
Description
Problem Set 1
Creator
David Grant
Created on
2021-06-03 20:04 UTC
Tags
Title
pset2.md
Description
Problem Set 2
Creator
David Grant
Created on
2021-06-03 20:04 UTC
Tags
Title
pset3.md
Creator
David Grant
Created on
2021-06-03 20:06 UTC
Tags
Title
pset4.md
Creator
David Grant
Created on
2021-06-03 20:06 UTC
Tags
Title
pset5.md
Creator
David Grant
Created on
2021-06-03 20:06 UTC
Tags
Title
pset6.md
Creator
David Grant
Created on
2021-06-03 20:06 UTC
Tags
Title
pset7.md
Creator
David Grant
Created on
2021-06-03 20:06 UTC
Tags
Title
pset8.md
Creator
David Grant
Created on
2021-06-03 20:06 UTC
Tags
Title
pset9.md
Creator
David Grant
Created on
2021-06-03 20:07 UTC
Tags
Title
pset10.md
Creator
David Grant
Created on
2021-06-03 20:07 UTC
Tags
Title
Final Exam.txt
Creator
Andrew Law
Created on
2021-06-10 17:29 UTC
Tags
Title
hw1.md
Description
Ch1 Exercises
Creator
Patrick Skeels
Created on
2021-06-23 05:22 UTC
Tags
Title
hw2.md
Description
Ch2 Exercises
Creator
Patrick Skeels
Created on
2021-06-23 05:22 UTC
Tags
Title
hw3.md
Description
CH3 Exercises
Creator
Patrick Skeels
Created on
2021-06-23 05:23 UTC
Tags
Title
HW4.md
Description
Ch4 Exercises
Creator
Patrick Skeels
Created on
2021-06-23 05:23 UTC
Tags
Title
Practice Problems II.md
Description
Practice Problems for ch2
Creator
Patrick Skeels
Created on
2021-06-23 15:50 UTC
Tags
Title
Practice Problems III.md
Description
Practice Problems for Ch3
Creator
Patrick Skeels
Created on
2021-06-23 15:50 UTC
Tags
Title
Practice Problems IV.md
Description
Practice Problems for ch4
Creator
Patrick Skeels
Created on
2021-06-23 15:50 UTC
Tags
Title
hw1_2nd_try.md
Description
For those of you having difficulties with the carnap interface, you can attempt hw1 a second time here.
Creator
Patrick Skeels
Created on
2021-06-26 16:54 UTC
Tags
Title
Axiom Test.md
Creator
Richard Zach
Created on
2021-07-03 20:24 UTC
Tags
NK OpenLogic
Title
Exam1_Final.md
Description
Midterm 1 phi 12 2021 ss1
Creator
Patrick Skeels
Created on
2021-07-07 00:04 UTC
Tags
Title
Worksheet 1.md
Creator
Da Fan
Created on
2021-07-13 00:31 UTC
Tags
Title
playground.md
Creator
Da Fan
Created on
2021-07-19 09:38 UTC
Tags
Title
Derivation for TFL.md
Creator
Da Fan
Created on
2021-07-19 10:46 UTC
Tags
Title
final.md
Creator
Da Fan
Created on
2021-07-21 13:38 UTC
Tags
Title
timer.js
Creator
David Sanson
Created on
2021-07-22 22:20 UTC
Tags
Title
checklist.js
Creator
David Sanson
Created on
2021-07-22 22:39 UTC
Tags
Title
s21-0 opening exercise
Creator
Evan Malone
Created on
2021-07-23 22:02 UTC
Tags
Title
s21-1 logical concepts
Creator
Evan Malone
Created on
2021-07-23 22:02 UTC
Tags
Title
s21-2a translation
Creator
Evan Malone
Created on
2021-07-23 22:02 UTC
Tags
Title
s21-2b more translation
Creator
Evan Malone
Created on
2021-07-23 22:03 UTC
Tags
Title
s21-3a wffs
Creator
Evan Malone
Created on
2021-07-23 22:03 UTC
Tags
Title
s21-3b truth tables
Creator
Evan Malone
Created on
2021-07-23 22:03 UTC
Tags
Title
s21-4a translation
Creator
Evan Malone
Created on
2021-07-23 22:04 UTC
Tags
Title
s21-4b translation
Creator
Evan Malone
Created on
2021-07-23 22:04 UTC
Tags
Title
s21-4c translation
Creator
Evan Malone
Created on
2021-07-23 22:04 UTC
Tags
Title
s21-5a truth in a model
Creator
Evan Malone
Created on
2021-07-23 22:04 UTC
Tags
Title
s21-5b constructing models
Creator
Evan Malone
Created on
2021-07-23 22:04 UTC
Tags
Title
s21-5c contingency and invalidity
Creator
Evan Malone
Created on
2021-07-23 22:04 UTC
Tags
Title
s21-6 proof playground
Creator
Evan Malone
Created on
2021-07-23 22:04 UTC
Tags
Title
s21-6 proof playground QL
Creator
Evan Malone
Created on
2021-07-23 22:05 UTC
Tags
Title
s21-6a proof completion
Creator
Evan Malone
Created on
2021-07-23 22:05 UTC
Tags
Title
s21-6b proofs in SL
Creator
Evan Malone
Created on
2021-07-23 22:05 UTC
Tags
Title
s21-6c theorems in SL
Creator
Evan Malone
Created on
2021-07-23 22:06 UTC
Tags
Title
s21-6d proof completion in QL
Creator
Evan Malone
Created on
2021-07-23 22:06 UTC
Tags
Title
s21-6e proofs in QL
Creator
Evan Malone
Created on
2021-07-23 22:06 UTC
Tags
Title
s21-exam1
Creator
Evan Malone
Created on
2021-07-23 22:06 UTC
Tags
Title
s21-exam2
Creator
Evan Malone
Created on
2021-07-23 22:06 UTC
Tags
Title
s21-exam3
Creator
Evan Malone
Created on
2021-07-23 22:07 UTC
Tags
Title
s21-exam4
Creator
Evan Malone
Created on
2021-07-23 22:07 UTC
Tags
Title
forallxyyc-f20.pdf
Description
Textbook, also available here: https://forallx.openlogicproject.org/forallxyyc-f20.pdf
Creator
M. A. Parks
Created on
2021-07-26 02:42 UTC
Tags
textbook
Title
Arthur-Test-Prob-set_1.md
Creator
Robert Batterman
Created on
2021-08-10 16:52 UTC
Tags
Title
Arthur-Test-Prob-set_2.md
Creator
Robert Batterman
Created on
2021-08-10 16:53 UTC
Tags
Title
Ex 1.6 Chapter 1.md
Creator
Paul Gregory
Created on
2021-08-27 14:41 UTC
Tags
Definitions Informal
Title
Ex 2.3.3 Syntax S.md
Creator
Paul Gregory
Created on
2021-08-27 19:02 UTC
Tags
Syntax Sentential
Title
Ex 3.2.1 Tables.md
Creator
Paul Gregory
Created on
2021-08-30 18:20 UTC
Tags
Sentential Truth Tables
Title
Ex 3.3.1 Tables.md
Creator
Paul Gregory
Created on
2021-08-30 18:20 UTC
Tags
Sentential Truth Tables
Title
PracticeA.md
Creator
Robert Batterman
Created on
2021-08-31 14:48 UTC
Tags
Title
Ex 4.1.7 C.md
Creator
Paul Gregory
Created on
2021-09-09 19:09 UTC
Tags
Derivations Sentential
Title
Ex 4.1.7 A&B.md
Creator
Paul Gregory
Created on
2021-09-09 19:09 UTC
Tags
Derivations Sentential
Title
Ex 5.2.3 Syntax P.md
Creator
Paul Gregory
Created on
2021-09-09 19:29 UTC
Tags
Predicate Syntax
Title
Problem set 1.md
Creator
Alexander Skiles
Created on
2021-09-14 16:30 UTC
Tags
Title
279 Tutorial Worksheet 3.md
Creator
Richard Zach
Created on
2021-09-22 01:54 UTC
Tags
calgary forall x
Title
Problem set 3.md
Creator
Alexander Skiles
Created on
2021-09-24 20:07 UTC
Tags
Title
Homework 1 part 1.md
Creator
Thomas Colclough
Created on
2021-09-27 20:32 UTC
Tags
Title
Problem set 4.md
Creator
Alexander Skiles
Created on
2021-10-06 19:23 UTC
Tags
Title
279 Tutorial Worksheet 6.md
Creator
Yudi Huang
Created on
2021-10-13 04:34 UTC
Tags
Title
MWE Translation Brackets.md
Creator
Paul Gregory
Created on
2021-10-19 17:17 UTC
Tags
Title
SD Rules.pdf
Creator
Paul Gregory
Created on
2021-10-22 12:34 UTC
Tags
Title
Practice for midterm exam.md
Creator
Alexander Skiles
Created on
2021-10-22 20:43 UTC
Tags
Title
Problem set 6.md
Creator
Alexander Skiles
Created on
2021-11-03 18:45 UTC
Tags
Title
SD SDE Rules.pdf
Creator
Paul Gregory
Created on
2021-11-04 14:11 UTC
Tags
Title
Problem set 7.md
Creator
Alexander Skiles
Created on
2021-11-15 16:22 UTC
Tags
Title
279 Tutorial Worksheet 10.md
Creator
Richard Zach
Created on
2021-11-16 18:41 UTC
Tags
calgary forall x
Title
Practice for problem set 7.md
Creator
Alexander Skiles
Created on
2021-11-16 19:02 UTC
Tags
Title
279 Tutorial Worksheet 11.md
Creator
Richard Zach
Created on
2021-11-23 19:49 UTC
Tags
calgary forall x
Title
Problem set 8.md
Creator
Alexander Skiles
Created on
2021-11-29 16:41 UTC
Tags
Title
Practice for problem set 8.md
Creator
Alexander Skiles
Created on
2021-11-30 15:46 UTC
Tags
Title
Practice for problem set 9.md
Creator
Alexander Skiles
Created on
2021-12-07 18:33 UTC
Tags
Title
SD SDE PD PDE Rules.pdf
Creator
Paul Gregory
Created on
2021-12-08 17:43 UTC
Tags
Title
Problem set 9.md
Creator
Alexander Skiles
Created on
2021-12-08 21:42 UTC
Tags
Title
4.1 problems
Creator
Michael Nelson
Created on
2021-12-10 07:44 UTC
Tags
Title
Practice for final exam.md
Creator
Alexander Skiles
Created on
2021-12-12 23:08 UTC
Tags
Title
Week 02.md
Description
Week 2 assignment for Phil 305 - W22
Creator
Brian Weatherson
Created on
2021-12-13 21:40 UTC
Tags
W22
Title
Week 03.md
Description
Week 3 assignment - W22
Creator
Brian Weatherson
Created on
2021-12-13 21:40 UTC
Tags
W22
Title
Week 05.md
Description
Week 5 assignment - W22
Creator
Brian Weatherson
Created on
2021-12-13 21:40 UTC
Tags
W22
Title
Week 06.md
Description
Week 6 assignment - W22
Creator
Brian Weatherson
Created on
2021-12-13 21:40 UTC
Tags
W22
Title
124problem set1.txt
Creator
Michael Nelson
Created on
2021-12-30 20:50 UTC
Tags
Title
practice problems 008 week 1.txt
Description
grammar and translation lecture problems
Creator
Michael Nelson
Created on
2021-12-31 16:59 UTC
Tags
Title
phil008problemset1.txt
Description
grammar and translation problems
Creator
Michael Nelson
Created on
2021-12-31 17:43 UTC
Tags
Title
first quiz.txt
Creator
Michael Nelson
Created on
2022-01-05 17:32 UTC
Tags
Title
124problem set2.txt
Creator
Michael Nelson
Created on
2022-01-09 05:22 UTC
Tags
Title
phil008ps2.txt
Creator
Michael Nelson
Created on
2022-01-09 18:35 UTC
Tags
Title
Jan 19 office.md
Creator
Brian Weatherson
Created on
2022-01-19 16:31 UTC
Tags
Title
phil008practice truth tables.txt
Creator
Michael Nelson
Created on
2022-01-20 02:50 UTC
Tags
Title
Ch. 1-- Section 3 #2 (a--h).md
Creator
Jonathan Barker
Created on
2022-01-21 19:29 UTC
Tags
Title
Ch 1.4-- #1 (a--i), #2 (a--i).md
Creator
Jonathan Barker
Created on
2022-01-21 20:06 UTC
Tags
Title
Direct Derivation Exercise Set #1.md
Creator
Jonathan Barker
Created on
2022-01-22 23:53 UTC
Tags
Title
week4 PHIL008 lecture.txt
Creator
Michael Nelson
Created on
2022-01-24 02:28 UTC
Tags
Title
FOL inference rules homework.md
Creator
Kristina Meshelski
Created on
2022-01-24 03:00 UTC
Tags
Title
Lec 2 Examples.md
Creator
Gillman Payette
Created on
2022-01-24 22:40 UTC
Tags
Title
Problem set 1 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-01-25 16:21 UTC
Tags
Title
Problem set 2.md
Creator
Alexander Skiles
Created on
2022-01-28 17:54 UTC
Tags
Title
Problem set 2 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-01-28 17:54 UTC
Tags
Title
CD Exercise Set #1 + Ch 1.6 #2 (a--c).md
Creator
Jonathan Barker
Created on
2022-01-30 19:10 UTC
Tags
Title
CD Exercise Set #1 and Ch 1.6 #2 a--c.md
Creator
Jonathan Barker
Created on
2022-02-01 02:13 UTC
Tags
Title
Feb-3-class.txt
Description
Examples to work through on Feb 3
Creator
Brian Weatherson
Created on
2022-02-03 14:28 UTC
Tags
Title
Problem set 3 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-02-06 16:02 UTC
Tags
Title
s21-3a PRACTICE
Creator
Evan Malone
Created on
2022-02-07 02:44 UTC
Tags
Title
s21-3b PRACTICE
Creator
Evan Malone
Created on
2022-02-07 02:44 UTC
Tags
Title
Problem Set 1.txt
Creator
Cullin Brown
Created on
2022-02-09 15:09 UTC
Tags
forall x
Title
Practice DD Exercises (Very Easy -- Easy)
Creator
Jonathan Barker
Created on
2022-02-11 22:01 UTC
Tags
Title
ID Exercise Set #1 and Ch 1.7 #2 (a--c).md
Description
Week 6 exercises
Creator
Jonathan Barker
Created on
2022-02-12 19:41 UTC
Tags
Title
Problem set 4 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-02-13 18:27 UTC
Tags
Title
Practice Problems LK.md
Creator
Gillman Payette
Created on
2022-02-14 02:37 UTC
Tags
Title
MoreNestedDerivationPractice.pandoc.txt
Creator
Lindsay Brainard
Created on
2022-02-14 16:45 UTC
Tags
Title
st olaf assignment 2.md
Creator
Chris Nagel
Created on
2022-02-17 01:41 UTC
Tags
Title
QL practice proofs.txt
Creator
Michael Nelson
Created on
2022-02-17 01:44 UTC
Tags
Title
Problem set 5 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-02-21 19:59 UTC
Tags
Title
Problem Set 2.txt
Creator
Cullin Brown
Created on
2022-02-22 22:44 UTC
Tags
forall x
Title
Problem set 6 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-02-26 20:07 UTC
Tags
Title
Ch 2.2--3 Translation exercises.md
Creator
Jonathan Barker
Created on
2022-02-27 19:28 UTC
Tags
Title
Makeup Exam #1 Derivations
Creator
Jonathan Barker
Created on
2022-02-27 19:51 UTC
Tags
Title
Solutions to practice problems from 3 March.md
Creator
Alexander Skiles
Created on
2022-03-03 19:00 UTC
Tags
Title
Ch 2.3 Translation exercises.md
Creator
Jonathan Barker
Created on
2022-03-03 19:28 UTC
Tags
Title
Ch 2.2 Translation exercises.md
Creator
Jonathan Barker
Created on
2022-03-03 20:55 UTC
Tags
Title
ps10 phi124.txt
Creator
Michael Nelson
Created on
2022-03-06 00:37 UTC
Tags
Title
ps7 phi124.txt
Creator
Michael Nelson
Created on
2022-03-06 01:21 UTC
Tags
Title
ps10 PHIL008.txt
Creator
Michael Nelson
Created on
2022-03-06 05:29 UTC
Tags
Title
Practice problems from chapter 17.md
Creator
Alexander Skiles
Created on
2022-03-06 18:30 UTC
Tags
Title
Problem set 7 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-03-06 21:10 UTC
Tags
Title
Creator
Jonathan Barker
Created on
2022-03-15 18:29 UTC
Tags
Title
Creator
Jonathan Barker
Created on
2022-03-16 20:15 UTC
Tags
Title
Practice for midterm exam [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-03-17 14:34 UTC
Tags
Title
final.txt
Creator
Michael Nelson
Created on
2022-03-18 03:48 UTC
Tags
Title
Makeup Exam #2 Derivations.md
Creator
Jonathan Barker
Created on
2022-03-18 19:05 UTC
Tags
Title
Derivations Using Derived Rules.md
Creator
Jonathan Barker
Created on
2022-03-20 18:32 UTC
Tags
Title
Untitled.md
Creator
Jonathan Barker
Created on
2022-03-21 17:07 UTC
Tags
Title
Some more natural deduction proofs in TFL.md
Creator
Alexander Skiles
Created on
2022-03-21 18:22 UTC
Tags
Title
Solutions to midterm exam.md
Creator
Alexander Skiles
Created on
2022-03-24 20:23 UTC
Tags
Title
ps1spr22.txt
Creator
Michael Nelson
Created on
2022-03-24 21:20 UTC
Tags
Title
Study Guide #2 Derivations-- Basic Rules, Theorems, and Derived Rules.md
Creator
Jonathan Barker
Created on
2022-03-27 19:23 UTC
Tags
Title
Problem set 8 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-03-29 18:36 UTC
Tags
Title
Practice symbolizations in FOL.md
Creator
Alexander Skiles
Created on
2022-03-31 14:16 UTC
Tags
Title
ps2spr22.txt
Creator
Michael Nelson
Created on
2022-04-03 01:36 UTC
Tags
Title
Replacement Rules Practice.txt
Creator
Cullin Brown
Created on
2022-04-03 15:07 UTC
Tags
forall x
Title
Problem Set 3.txt
Description
Proofs using rules or replacement; symbolizations in QL
Creator
Cullin Brown
Created on
2022-04-03 17:18 UTC
Tags
forall x
Title
Practice Derivations for Exam #2--Derived Rules.md
Creator
Jonathan Barker
Created on
2022-04-03 17:58 UTC
Tags
Title
Exam #2 Derivations.md
Creator
Jonathan Barker
Created on
2022-04-04 02:01 UTC
Tags
Title
practiceweek2spr22.txt
Creator
Michael Nelson
Created on
2022-04-04 23:28 UTC
Tags
Title
Practice Derivations-- Theorems.md
Creator
Jonathan Barker
Created on
2022-04-05 19:11 UTC
Tags
Title
Exam #2 Derivations .md
Creator
Jonathan Barker
Created on
2022-04-06 01:56 UTC
Tags
Title
Exam #2 Derivations .md
Creator
Jonathan Barker
Created on
2022-04-06 02:01 UTC
Tags
Title
Exam #2 Derivations .md
Creator
Jonathan Barker
Created on
2022-04-06 02:07 UTC
Tags
Title
PAFinal T18.md
Creator
Paul Gregory
Created on
2022-04-08 12:34 UTC
Tags
Title
Exam #2 Derivations-- Makeup Exam.md
Creator
Jonathan Barker
Created on
2022-04-10 18:53 UTC
Tags
Title
ps3spr22.txt
Creator
Michael Nelson
Created on
2022-04-10 20:33 UTC
Tags
Title
QL Translation Exercises.md
Creator
Jonathan Barker
Created on
2022-04-10 21:15 UTC
Tags
Title
QL Derivations-- UI, EG, and EI.md
Creator
Jonathan Barker
Created on
2022-04-10 21:29 UTC
Tags
Title
Problem set 9 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-04-11 19:40 UTC
Tags
Title
forall x_ Calgary.md
Creator
Amirhossein Kiani
Created on
2022-04-12 18:54 UTC
Tags
Title
Ex 3-1 Tables 1.md
Creator
Morgan Davies
Created on
2022-04-16 17:52 UTC
Tags
Title
ps4spr22.txt
Creator
Michael Nelson
Created on
2022-04-18 02:00 UTC
Tags
Title
Problem set 10 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-04-22 22:23 UTC
Tags
Title
Assignment-7-QL-Proofs.tex
Description
Assignment-7-PHIL-215
Creator
Landon D. C. Elkind
Created on
2022-04-23 17:06 UTC
Tags
Assignment Logic Proofs Quantifier Logic Tomassi
Title
ps5spr22.txt
Creator
Michael Nelson
Created on
2022-04-24 20:29 UTC
Tags
Title
Problem Set 13.md
Creator
Christopher Fruge
Created on
2022-04-24 20:41 UTC
Tags
Title
Exam 3 Study Guide-- Derivations.md
Creator
Jonathan Barker
Created on
2022-04-25 20:08 UTC
Tags
Title
Playground.pandoc
Creator
Brian Weatherson
Created on
2022-04-27 16:23 UTC
Tags
Title
Study Guide #3-- Derivations
Creator
Jonathan Barker
Created on
2022-04-28 20:33 UTC
Tags
Title
Study Guide #3 -- Derivations
Creator
Jonathan Barker
Created on
2022-04-28 21:04 UTC
Tags
Title
truth_tables
Creator
Zachary Peck
Created on
2022-04-29 00:17 UTC
Tags
Title
truth_tables2
Creator
Zachary Peck
Created on
2022-04-29 00:17 UTC
Tags
Title
inference_rules
Creator
Zachary Peck
Created on
2022-04-29 00:17 UTC
Tags
Title
inference_rules2
Creator
Zachary Peck
Created on
2022-04-29 00:17 UTC
Tags
Title
proofs
Creator
Zachary Peck
Created on
2022-04-29 00:18 UTC
Tags
Title
fol_symbolization2
Creator
Zachary Peck
Created on
2022-04-29 00:18 UTC
Tags
Title
Proof Playground.txt
Creator
Cullin Brown
Created on
2022-04-29 18:22 UTC
Tags
forall x
Title
Problem Set 4.txt
Creator
Cullin Brown
Created on
2022-04-29 18:54 UTC
Tags
forall x
Title
Study Guide #3 - Derivations
Creator
Jonathan Barker
Created on
2022-04-29 20:40 UTC
Tags
Title
Practice UI, EG, and EI.txt
Creator
Jonathan Barker
Created on
2022-04-29 22:09 UTC
Tags
Title
Exam #3 Derivations
Creator
Jonathan Barker
Created on
2022-04-30 18:41 UTC
Tags
Title
ps6spr22.txt
Creator
Michael Nelson
Created on
2022-05-01 18:34 UTC
Tags
Title
Practice for problem set 10 [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-05-02 14:08 UTC
Tags
Title
Week 1 Practice- Identifying the Main Connective.md
Creator
Paul Xu
Created on
2022-05-02 22:09 UTC
Tags
Title
Practice for final exam [Spring 2022].md
Creator
Alexander Skiles
Created on
2022-05-02 22:35 UTC
Tags
Title
Exam #3_Derivations
Creator
Jonathan Barker
Created on
2022-05-03 19:57 UTC
Tags
Title
ps7spr22.txt
Creator
Michael Nelson
Created on
2022-05-08 15:20 UTC
Tags
Title
ps8spr22.txt
Creator
Michael Nelson
Created on
2022-05-16 15:02 UTC
Tags
Title
ps9spr22.txt
Creator
Michael Nelson
Created on
2022-05-24 05:11 UTC
Tags
Title
ps10spr22.txt
Creator
Michael Nelson
Created on
2022-05-24 21:34 UTC
Tags
Title
inference_rules3
Creator
Zachary Peck
Created on
2022-06-04 16:08 UTC
Tags
Title
complex_proofs
Creator
Zachary Peck
Created on
2022-06-05 16:59 UTC
Tags
Title
Pro Ex 2-1 T4-5.md
Description
Proficiency Exercises 2-1 Topics 4-5 #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2022-06-08 16:45 UTC
Tags
Sentential Translation
Title
fol_symbolization
Creator
Zachary Peck
Created on
2022-06-13 14:49 UTC
Tags
Title
Practice Problems III.md
Creator
Selcuk Kaan Tabakci
Created on
2022-06-16 22:43 UTC
Tags
Title
3PracticeProblems.md
Creator
Jessica Gonzalez
Created on
2022-06-24 03:32 UTC
Tags
Title
4PracticeProblems.md
Creator
Jessica Gonzalez
Created on
2022-06-24 17:53 UTC
Tags
Title
estonian_exercises_forallxCalgary_chapter_1.md
Creator
Loogika Õppejõud
Created on
2022-06-30 07:43 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_2.md
Creator
Loogika Õppejõud
Created on
2022-06-30 08:00 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_3.md
Creator
Loogika Õppejõud
Created on
2022-06-30 08:12 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_1.md
Creator
Loogika Õppejõud
Created on
2022-06-30 08:28 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_2.md
Creator
Loogika Õppejõud
Created on
2022-06-30 08:28 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_5.md
Creator
Loogika Õppejõud
Created on
2022-06-30 14:11 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_6.md
Creator
Loogika Õppejõud
Created on
2022-06-30 14:11 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_7.md
Creator
Loogika Õppejõud
Created on
2022-06-30 14:11 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_5.md
Creator
Loogika Õppejõud
Created on
2022-06-30 14:12 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_6.md
Creator
Loogika Õppejõud
Created on
2022-06-30 14:12 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_7.md
Creator
Loogika Õppejõud
Created on
2022-06-30 14:12 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_11.md
Creator
Loogika Õppejõud
Created on
2022-07-01 08:20 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_12.md
Creator
Loogika Õppejõud
Created on
2022-07-01 08:20 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_11.md
Creator
Loogika Õppejõud
Created on
2022-07-01 08:20 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_12.md
Creator
Loogika Õppejõud
Created on
2022-07-01 08:20 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_13.md
Creator
Loogika Õppejõud
Created on
2022-07-01 13:10 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_13.md
Creator
Loogika Õppejõud
Created on
2022-07-01 13:22 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_14.md
Creator
Loogika Õppejõud
Created on
2022-07-01 15:33 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_14.md
Creator
Loogika Õppejõud
Created on
2022-07-01 15:33 UTC
Tags
TartuLogic
Title
Practice Problems VI.md
Creator
Selcuk Kaan Tabakci
Created on
2022-07-02 19:00 UTC
Tags
Title
estonian_exercises_forallxCalgary_chapter_16.md
Creator
Loogika Õppejõud
Created on
2022-07-05 15:04 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_16.md
Creator
Loogika Õppejõud
Created on
2022-07-05 15:04 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_17.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:40 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_18.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:40 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_19.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:40 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_17.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:41 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_18.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:41 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_19.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:41 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_20.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:49 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_21.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:49 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_20.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:50 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_21.md
Creator
Loogika Õppejõud
Created on
2022-07-06 09:50 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_23.md
Creator
Loogika Õppejõud
Created on
2022-07-06 15:09 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_23.md
Creator
Loogika Õppejõud
Created on
2022-07-06 15:09 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_32.md
Creator
Alex Davies
Created on
2022-07-07 10:02 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_24.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:27 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_25.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:28 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_26.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:28 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_27.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:28 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_28.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:28 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_30.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:29 UTC
Tags
TartuLogic
Title
english_exercises_forallxCalgary_chapter_32.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:29 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_24.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:29 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_25.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:29 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_26.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:29 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_27.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:30 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_28.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:30 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_30.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:30 UTC
Tags
TartuLogic
Title
estonian_exercises_forallxCalgary_chapter_32.md
Creator
Loogika Õppejõud
Created on
2022-07-07 13:30 UTC
Tags
TartuLogic
Title
Practice Problems VII.md
Description
Practice Problems
Creator
Selcuk Kaan Tabakci
Created on
2022-07-13 20:24 UTC
Tags
Title
Tutorial Worksheet 7.md
Creator
Selcuk Kaan Tabakci
Created on
2022-07-13 20:32 UTC
Tags
Title
5PracticeProblems.md
Creator
Jessica Gonzalez
Created on
2022-07-14 01:00 UTC
Tags
Title
6PracticeProblems.md
Creator
Jessica Gonzalez
Created on
2022-07-14 01:00 UTC
Tags
Title
Practice Problems IV.md
Description
Practice Problems (Natural Deduction TFL)
Creator
Selcuk Kaan Tabakci
Created on
2022-07-14 20:52 UTC
Tags
Title
7PracticeProblems.md
Creator
Jessica Gonzalez
Created on
2022-07-17 02:01 UTC
Tags
Title
8PracticeProblems.md
Creator
Jessica Gonzalez
Created on
2022-07-17 02:07 UTC
Tags
Title
s21-1 PRACTICE
Description
1 PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-23 20:09 UTC
Tags
Title
s21-2a PRACTICE
Description
2a PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-23 20:10 UTC
Tags
Title
s21-2a translation
Description
2a translation
Creator
Saleh Afroogh
Created on
2022-07-25 17:46 UTC
Tags
Title
s21-2b more translation
Description
2b more translation
Creator
Saleh Afroogh
Created on
2022-07-25 17:47 UTC
Tags
Title
s21-2b PRACTICE
Description
2b PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:47 UTC
Tags
Title
s21-3a wffs
Description
3a wffs
Creator
Saleh Afroogh
Created on
2022-07-25 17:47 UTC
Tags
Title
s21-3a PRACTICE
Description
3a PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:48 UTC
Tags
Title
s21-3b truth tables
Description
3b truth tables
Creator
Saleh Afroogh
Created on
2022-07-25 17:48 UTC
Tags
Title
s21-3b PRACTICE
Description
3b PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:49 UTC
Tags
Title
s21-4a translation
Description
4a translation
Creator
Saleh Afroogh
Created on
2022-07-25 17:50 UTC
Tags
Title
s21-4a PRACTICE
Description
4a PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:50 UTC
Tags
Title
s21-4b translation
Description
4b translation
Creator
Saleh Afroogh
Created on
2022-07-25 17:53 UTC
Tags
Title
s21-4c translation
Description
4c translation
Creator
Saleh Afroogh
Created on
2022-07-25 17:53 UTC
Tags
Title
s21-5a truth in a model
Description
5a truth in a model
Creator
Saleh Afroogh
Created on
2022-07-25 17:54 UTC
Tags
Title
s21-5a PRACTICE
Description
5a PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:54 UTC
Tags
Title
s21-5b constructing models
Description
5b constructing models
Creator
Saleh Afroogh
Created on
2022-07-25 17:55 UTC
Tags
Title
s21-5b PRACTICE
Description
5b PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:55 UTC
Tags
Title
s21-5c contingency and invalidity
Description
5c contingency and invalidity
Creator
Saleh Afroogh
Created on
2022-07-25 17:56 UTC
Tags
Title
s21-5c PRACTICE
Description
5c PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:56 UTC
Tags
Title
s21-6 proof playground
Description
6 proof playground
Creator
Saleh Afroogh
Created on
2022-07-25 17:57 UTC
Tags
Title
s21-6 proof playground QL
Description
6 proof playground QL
Creator
Saleh Afroogh
Created on
2022-07-25 17:57 UTC
Tags
Title
s21-6a proof completion
Description
6a proof completion
Creator
Saleh Afroogh
Created on
2022-07-25 17:58 UTC
Tags
Title
s21-6a PRACTICE
Description
6a PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:58 UTC
Tags
Title
s21-6b proofs in SL
Description
6b proofs in SL
Creator
Saleh Afroogh
Created on
2022-07-25 17:59 UTC
Tags
Title
s21-6b PRACTICE
Description
6b PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 17:59 UTC
Tags
Title
s21-6c theorems in SL
Description
6c theorems in SL
Creator
Saleh Afroogh
Created on
2022-07-25 18:00 UTC
Tags
Title
s21-6c PRACTICE
Description
6c PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 18:00 UTC
Tags
Title
s21-6d proof completion in QL
Description
6d proof completion in QL
Creator
Saleh Afroogh
Created on
2022-07-25 18:01 UTC
Tags
Title
s21-6d PRACTICE
Description
6d PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 18:01 UTC
Tags
Title
s21-6e proofs in QL
Description
6e proofs in QL
Creator
Saleh Afroogh
Created on
2022-07-25 18:02 UTC
Tags
Title
s21-6e PRACTICE
Description
6e PRACTICE
Creator
Saleh Afroogh
Created on
2022-07-25 18:02 UTC
Tags
Title
s21-exam1
Description
exam1
Creator
Saleh Afroogh
Created on
2022-07-25 18:04 UTC
Tags
Title
s21-exam2
Description
exam2
Creator
Saleh Afroogh
Created on
2022-07-25 18:04 UTC
Tags
Title
s21-exam3
Description
exam3
Creator
Saleh Afroogh
Created on
2022-07-25 18:05 UTC
Tags
Title
s21-exam4 (Retake)
Description
exam4 (Retake)
Creator
Saleh Afroogh
Created on
2022-07-25 18:05 UTC
Tags
Title
forallx ch 11 pr ex A.md.txt
Creator
John DePoe
Created on
2022-07-28 19:09 UTC
Tags
Title
Symbolic Logic (Immerman F22) Homework 1.md
Description
Homework 1
Creator
Daniel Immerman
Created on
2022-08-21 18:31 UTC
Tags
Title
Pro Ex 4-1 T9-10.md
Creator
Paul Gregory
Created on
2022-08-23 21:23 UTC
Tags
Title
Pro Ex 4-2 T10-11.md
Creator
Paul Gregory
Created on
2022-08-23 22:33 UTC
Tags
Title
Pro Ex 4-3 T10-11.md
Creator
Paul Gregory
Created on
2022-08-24 14:14 UTC
Tags
Title
Pro Ex 4-4 T10-11.md
Creator
Paul Gregory
Created on
2022-08-24 14:41 UTC
Tags
Title
Truth Tables and Logical Equivalency.md
Description
Truth Tables and Logical Equivalency
Creator
Matt Haber
Created on
2022-09-01 16:51 UTC
Tags
Teller
Title
Lecture4ExamplesB.md
Creator
Gillman Payette
Created on
2022-09-04 18:23 UTC
Tags
Title
Problem set 1 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-09-10 20:04 UTC
Tags
Title
Practice Assignment.txt
Creator
Jared Riggs
Created on
2022-09-12 18:40 UTC
Tags
Title
Extra Sentential Translation 1.txt
Creator
Jeffrey Snapper
Created on
2022-09-13 18:29 UTC
Tags
Title
ProblemSet4.2.txt
Creator
Jeffrey Snapper
Created on
2022-09-16 15:25 UTC
Tags
Title
TFL truth tables.md
Description
Practice using truth tables to identify valid arguments, equivalences, jointly satisfiable sentences, tautologies, and contradictions.
Creator
Dominic Lopes
Created on
2022-09-17 15:16 UTC
Tags
Title
Problem set 2 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-09-18 22:50 UTC
Tags
Title
TFL Proofs - Indirect Proofs.md
Description
Indirect Proofs.
Creator
Dominic Lopes
Created on
2022-09-25 20:57 UTC
Tags
Title
Problem set 3 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-09-26 13:16 UTC
Tags
Title
Practice for problem set 3 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-09-27 19:03 UTC
Tags
Title
COMP230_2022_ND-exercises.md
Creator
Dirk Schlimm
Created on
2022-10-03 20:34 UTC
Tags
Title
Homework Set 1 (F22).md
Creator
Erich Reck
Created on
2022-10-03 21:58 UTC
Tags
Title
Homework Set 1, 1st Try (F22).md
Creator
Erich Reck
Created on
2022-10-06 02:08 UTC
Tags
Title
Homework Set 1, 2nd Try (F22).md
Creator
Erich Reck
Created on
2022-10-06 02:23 UTC
Tags
Title
Homework Set 1, 3nd Try (F22).md
Creator
Erich Reck
Created on
2022-10-06 02:23 UTC
Tags
Title
Playground for doing TFL proofs in Carnap.md
Creator
Mitchell Herschbach
Created on
2022-10-06 19:25 UTC
Tags
Title
Problem set 4 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-10-09 15:37 UTC
Tags
Title
Homework Set 2, First Attempt (F22).md
Creator
Erich Reck
Created on
2022-10-12 23:42 UTC
Tags
Title
Homework Set 2, Second Attempt (F22).md
Creator
Erich Reck
Created on
2022-10-12 23:49 UTC
Tags
Title
Homework Set 2, Third Attempt (F22).md
Creator
Erich Reck
Created on
2022-10-12 23:49 UTC
Tags
Title
Assignment-2-PL-Proofs-with-Hints.tex
Creator
Landon D. C. Elkind
Created on
2022-10-15 20:20 UTC
Tags
Title
Problem set 5 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-10-17 14:14 UTC
Tags
Title
Homework Set 3, Second Try (F22).md
Description
HS 3, 2nd
Creator
Erich Reck
Created on
2022-10-20 04:39 UTC
Tags
Title
Homework Set 3, Third Try (F22).md
Description
HS3, 3rd Try (F22)
Creator
Erich Reck
Created on
2022-10-20 04:51 UTC
Tags
Title
Loomuliku tuletuse manguvaljak.md
Creator
Loogika Õppejõud
Created on
2022-10-20 12:48 UTC
Tags
TartuLogic
Title
Natural Deduction Playground.md
Creator
Loogika Õppejõud
Created on
2022-10-20 13:02 UTC
Tags
TartuLogic
Title
Phil008 (F22) Practice Exam for MT1.md
Description
Practice Exam (not for homework credit)
Creator
Erich Reck
Created on
2022-10-24 23:27 UTC
Tags
Title
hw10_proofs.md
Creator
Avner Biblarz
Created on
2022-10-27 02:58 UTC
Tags
Title
Problem set 6 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-10-27 13:34 UTC
Tags
Title
FOL Proofs - Sandbox.md
Description
Sandbox for trying out any FOL proof.
Creator
Dominic Lopes
Created on
2022-11-03 21:01 UTC
Tags
Title
FOL Proofs - Learn the Rules.md
Description
Tutorial for learning the quantifier rules.
Creator
Dominic Lopes
Created on
2022-11-03 21:02 UTC
Tags
Title
FOL Proof Practice.md
Description
Practice the rules, starting with some simple exercises.
Creator
Dominic Lopes
Created on
2022-11-03 21:02 UTC
Tags
Title
FOL Proofs - More Practice.md
Description
More practice with FOL proofs.
Creator
Dominic Lopes
Created on
2022-11-03 21:02 UTC
Tags
Title
Problem set 7 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-11-05 17:00 UTC
Tags
Title
Homework Set 4, Second Attempt.md
Creator
Erich Reck
Created on
2022-11-06 05:24 UTC
Tags
Title
Proving Dervied Rules in TFL.md
Creator
Christopher Eliot
Created on
2022-11-07 14:23 UTC
Tags
Title
Practice Problem (for Class).md
Creator
Erich Reck
Created on
2022-11-08 03:22 UTC
Tags
Title
Examples for Class 7.2 (F22).md
Creator
Erich Reck
Created on
2022-11-10 04:05 UTC
Tags
Title
Phil203-Wk-11-Examples.tex
Creator
Audrey Yap
Created on
2022-11-13 01:53 UTC
Tags
Title
Assignment-3.tex
Description
Propositional Logic Trees (Tomassi)
Creator
Landon D. C. Elkind
Created on
2022-11-15 14:49 UTC
Tags
Title
Phil008-Homework Set 5 (F22).md
Creator
Erich Reck
Created on
2022-11-17 06:43 UTC
Tags
Title
Problem set 8 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-11-17 15:15 UTC
Tags
Title
s21-exam4
Description
Exam 4
Creator
Saleh Afroogh
Created on
2022-11-19 19:56 UTC
Tags
Title
Midterm 2 for Phil008(F22) (optional).md
Creator
Erich Reck
Created on
2022-11-23 00:27 UTC
Tags
Title
estonian_exercises_forallxCalgary_chapter_27_with_estonian_definiteness.md
Creator
Loogika Õppejõud
Created on
2022-11-24 10:01 UTC
Tags
TartuLogic
Title
Assignment-6-QL-Proofs.tex
Creator
Landon D. C. Elkind
Created on
2022-11-27 23:52 UTC
Tags
Title
Problem set 9 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-11-28 14:16 UTC
Tags
Title
Homework Set 6, Single Attempt (F22).md
Creator
Erich Reck
Created on
2022-11-29 01:48 UTC
Tags
Title
Homework Set 7 (optional)(F22).md
Creator
Erich Reck
Created on
2022-11-29 04:33 UTC
Tags
Title
Some more natural deduction proofs in TFL [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-11-30 16:25 UTC
Tags
Title
From Max's Derivation Mania.md
Creator
Erich Reck
Created on
2022-12-02 23:39 UTC
Tags
Title
From Max's Derivation Mania*.md
Creator
Erich Reck
Created on
2022-12-02 23:49 UTC
Tags
Title
From Max's Derivation Mania**.md
Creator
Erich Reck
Created on
2022-12-03 00:02 UTC
Tags
Title
Selections from Max's Derivation Mania.md
Creator
Erich Reck
Created on
2022-12-03 05:49 UTC
Tags
Title
Derived rules in TFL [Fall 2022].txt
Creator
Alexander Skiles
Created on
2022-12-04 20:59 UTC
Tags
Title
Final Exam, Phil008(F22).md
Creator
Erich Reck
Created on
2022-12-04 23:28 UTC
Tags
Title
Final-Exam, Phil008* (F22).md
Creator
Erich Reck
Created on
2022-12-06 05:40 UTC
Tags
Title
Problem set 10 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-12-07 15:41 UTC
Tags
Title
Practice for problem set 10 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-12-07 20:50 UTC
Tags
Title
More practice for problem set 10 [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-12-09 21:15 UTC
Tags
Title
Extra credit problem set on TFL [Fall 2022].txt
Creator
Alexander Skiles
Created on
2022-12-14 18:44 UTC
Tags
Title
Extra credit problems on FOL [Fall 2022].txt
Creator
Alexander Skiles
Created on
2022-12-15 08:28 UTC
Tags
Title
Extra credit problem set on TFL version II [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-12-17 07:01 UTC
Tags
Title
Extra credit problem set on FOL version II [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-12-17 07:02 UTC
Tags
Title
Extra credit problem set on FOL version III [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-12-18 14:19 UTC
Tags
Title
Extra credit problem set on TFL version III [Fall 2022].md
Creator
Alexander Skiles
Created on
2022-12-18 14:29 UTC
Tags
Title
Module 0.txt
Description
This is a simple question to confirm that Carnap and Canvas are communicating properly.
Creator
Davis Smith
Created on
2022-12-28 14:37 UTC
Tags
Title
Mod2ex.txt
Description
These are translation exercises for Module 2 of forallx:R3
Creator
Davis Smith
Created on
2022-12-28 19:22 UTC
Tags
forallx R3
Title
Truth Tables.txt
Description
This is a set of truth table problems for forallx:R3
Creator
Davis Smith
Created on
2022-12-28 20:44 UTC
Tags
Title
forallx_Easwaran.pdf
Creator
Kenny Easwaran
Created on
2023-01-06 00:44 UTC
Tags
Title
Ch1-2_GFA.md
Description
6 Questions: Valid, Sound, Both, or Neither?
Creator
Greg Frost-Arnold
Created on
2023-01-19 00:40 UTC
Tags
Title
Truth Table Practice.txt
Description
These are Practice Problems (with explanations) for Truth Tables in forallx:R3 (Module 3). This is a slight edit of work done by Richard Zach
Creator
Davis Smith
Created on
2023-01-25 17:44 UTC
Tags
forallx R3
Title
Practice Problems Symbolization.txt
Description
These are practice problems (with some explanation) for symbolization in Module 2 of forallx:R3. These are a slight modification of the explanation given by Richard Zach.
Creator
Davis Smith
Created on
2023-01-25 20:01 UTC
Tags
forallx R3
Title
phi112-assignment1.md
Creator
Selcuk Kaan Tabakci
Created on
2023-01-26 02:02 UTC
Tags
Title
Practice Problems PL Proofs 2.txt
Description
These are practice problems for module 5 of forall x:R3 along with explanations
Creator
Davis Smith
Created on
2023-01-26 19:41 UTC
Tags
forallx R3
Title
Practice Problems PL Proofs 3.txt
Description
These are some explanations and example exercises for Module 5 of forallx: R3. This is the second installment, handling indirect proofs.
Creator
Davis Smith
Created on
2023-01-29 18:53 UTC
Tags
forallx R3
Title
tutorial2a-introduction-symbolization.md
Creator
Eric Pacuit
Created on
2023-01-30 15:31 UTC
Tags
Title
tutorial2b-main-connectives.md
Creator
Eric Pacuit
Created on
2023-01-30 16:44 UTC
Tags
Title
Hahn_NoFisher.md
Creator
Greg Frost-Arnold
Created on
2023-01-30 18:46 UTC
Tags
Title
phi112-exam1.md
Creator
Selcuk Kaan Tabakci
Created on
2023-01-31 00:30 UTC
Tags
Title
tutorial2c-symbolization2.md
Creator
Eric Pacuit
Created on
2023-02-02 13:25 UTC
Tags
Title
truthtable-keys.js
Description
A script that enables keyboard navigation within truth tables
Creator
David Sanson
Created on
2023-02-03 15:13 UTC
Tags
Title
truthtable-keys.md
Description
A demo of the truthtable-keys.js script
Creator
David Sanson
Created on
2023-02-03 15:17 UTC
Tags
Title
save-work-local-dev.js
Description
A demo of save-work-local.js
Creator
David Sanson
Created on
2023-02-03 21:18 UTC
Tags
Title
save-work-local.md
Description
Creator
David Sanson
Created on
2023-02-03 21:26 UTC
Tags
Title
UUexercisesVI.md
Creator
Colin Caret
Created on
2023-02-04 07:47 UTC
Tags
Title
Practice Page QL Symbolization.txt
Description
This is a Practice Page for QL Symbolization, covered in Module 6 of forallx:R3. It is based on similar content made by Richard Zach.
Creator
Davis Smith
Created on
2023-02-05 19:57 UTC
Tags
forallx R3
Title
tutorial3a-truth-tables.md
Creator
Eric Pacuit
Created on
2023-02-07 12:04 UTC
Tags
Title
tutorial3b-classifying-formulas.md
Description
Tutorial 3b: Classifying Formulas
Creator
Eric Pacuit
Created on
2023-02-07 12:20 UTC
Tags
Title
tutorial3c-validity-satisfiability.md
Creator
Eric Pacuit
Created on
2023-02-09 11:16 UTC
Tags
Title
Practice Page Interpretations for QL.txt
Description
This is a Practice Page for Interpretations for QL, this covers the basic stuff in Module 7 of forallx R3
Creator
Davis Smith
Created on
2023-02-12 20:49 UTC
Tags
forallx R3
Title
SPRO2020A - Assignment 1 - Main Connectives and Translations.txt
Description
Assignment 1
Creator
Paul Musso
Created on
2023-02-14 02:20 UTC
Tags
Title
SPRO2020A - Assignment 2 - Truth Tables.txt
Description
Assignment 2
Creator
Paul Musso
Created on
2023-02-14 02:21 UTC
Tags
Title
SPRO2020A - Assignment 3 - Proving Things with Truth Tables.txt
Description
Assignment 3
Creator
Paul Musso
Created on
2023-02-14 02:21 UTC
Tags
Title
SPRO2020A - Assignment 4 - Natural Deduction Proofs.txt
Description
Assignment 4
Creator
Paul Musso
Created on
2023-02-14 02:22 UTC
Tags
Title
SPRO2020A - Assignment 5 - Natural Deduction with Neg and Contra.txt
Description
Assignment 5
Creator
Paul Musso
Created on
2023-02-14 02:23 UTC
Tags
Title
SPRO2020A - Assignment 6 - Translating into FOL.txt
Description
Assignment 6
Creator
Paul Musso
Created on
2023-02-14 02:23 UTC
Tags
Title
phi112-exam2.md
Creator
Selcuk Kaan Tabakci
Created on
2023-02-16 00:58 UTC
Tags
Title
1-argumentacja-i-rozumowanie.pandoc
Creator
Created on
2023-02-17 10:52 UTC
Tags
Title
2-zarys-historii.pandoc
Creator
Created on
2023-02-17 10:52 UTC
Tags
Title
3-krz-formalizacja-alfabet-formuly.pandoc
Creator
Created on
2023-02-17 10:52 UTC
Tags
Title
4-krz-drzewo syntaktyczne.pandoc
Creator
Created on
2023-02-17 10:52 UTC
Tags
Title
5-semantyka.pandoc
Creator
Created on
2023-02-17 10:52 UTC
Tags
Title
6-dowody.pandoc
Creator
Created on
2023-02-17 10:52 UTC
Tags
Title
Practice for problem set 4.md
Creator
Alexander Skiles
Created on
2023-02-20 14:56 UTC
Tags
Title
CYK8.txt
Description
These are Check Your Knowledge problems for Module 8 of forallx R3
Creator
Davis Smith
Created on
2023-02-20 16:21 UTC
Tags
forallx R3
Title
tutorial4a-introduciton-to-proofs.md
Creator
Eric Pacuit
Created on
2023-02-21 13:20 UTC
Tags
Title
tutorial4b-practice-problems.md
Creator
Eric Pacuit
Created on
2023-02-21 13:21 UTC
Tags
Title
tutorial4c-more-practice-problems.md
Creator
Eric Pacuit
Created on
2023-02-22 22:49 UTC
Tags
Title
TFL Sandbox.md
Description
For TFL proofs.
Creator
Stephen McLeod
Created on
2023-02-23 15:53 UTC
Tags
Calgary TFL TFL proof forall x natural deduction proofs
Title
2nd midterm check.txt
Creator
Michael Nelson
Created on
2023-02-26 17:47 UTC
Tags
Title
PL Derivation Practice Part 2.txt
Creator
Marissa Bennett
Created on
2023-02-28 15:58 UTC
Tags
Title
PL Derivation Practice Part 1.txt
Creator
Marissa Bennett
Created on
2023-02-28 16:12 UTC
Tags
Title
phi112-assignment3.md
Creator
Selcuk Kaan Tabakci
Created on
2023-03-04 23:03 UTC
Tags
Title
Lecture 6.md
Creator
Kenny Easwaran
Created on
2023-03-06 04:23 UTC
Tags
Title
PL Derivation Practice Part 3.txt
Creator
Marissa Bennett
Created on
2023-03-06 18:31 UTC
Tags
Title
PHIL230 Problem Set #5.md
Creator
Mitchell Herschbach
Created on
2023-03-07 18:36 UTC
Tags
Title
Multi-Place Derivations Practice Part 1.txt
Creator
Marissa Bennett
Created on
2023-03-10 02:08 UTC
Tags
Title
Multi-Place Derivations Practice Part 2.txt
Creator
Marissa Bennett
Created on
2023-03-10 02:11 UTC
Tags
Title
tutorials5a-fol-intro-translations.md
Creator
Eric Pacuit
Created on
2023-03-14 14:52 UTC
Tags
Title
Assignment 11.md
Creator
Autumn Averitt
Created on
2023-03-14 17:33 UTC
Tags
Title
Lecture7.md
Description
Lecture 7
Creator
Kenny Easwaran
Created on
2023-03-18 17:55 UTC
Tags
Title
tutorial5b-translations.md
Creator
Eric Pacuit
Created on
2023-03-26 19:43 UTC
Tags
Title
tutorial5c-interpretations.md
Creator
Eric Pacuit
Created on
2023-03-26 19:43 UTC
Tags
Title
1PracticeProblems.md
Creator
Helen Meskhidze
Created on
2023-04-01 18:49 UTC
Tags
Title
2PracticeProblems.md
Creator
Helen Meskhidze
Created on
2023-04-02 13:22 UTC
Tags
Title
tutorial5d-interpretations2.md
Creator
Eric Pacuit
Created on
2023-04-06 14:04 UTC
Tags
Title
tutorial6a-fol-proofs.md
Creator
Eric Pacuit
Created on
2023-04-12 11:28 UTC
Tags
Title
Chapter12MixedPractice.pandoc
Creator
Lindsay Brainard
Created on
2023-04-14 04:19 UTC
Tags
Title
2WeekLogicLab.md
Creator
Helen Meskhidze
Created on
2023-04-14 16:08 UTC
Tags
Title
3NonHypotheticalProofRules.md
Creator
Helen Meskhidze
Created on
2023-04-14 19:04 UTC
Tags
Title
3PracticeProblems.md
Creator
Helen Meskhidze
Created on
2023-04-14 19:13 UTC
Tags
Title
4HypothRules.md
Creator
Helen Meskhidze
Created on
2023-04-14 19:51 UTC
Tags
Title
120 playground.md
Creator
Jennifer Carr
Created on
2023-04-16 20:56 UTC
Tags
Title
10 playground.md
Creator
Jennifer Carr
Created on
2023-04-16 21:08 UTC
Tags
Title
tutorial6b-fol-proofs3.md
Creator
Eric Pacuit
Created on
2023-04-17 22:29 UTC
Tags
Title
tutorial6c-fol-proofs4.md
Creator
Eric Pacuit
Created on
2023-04-18 00:56 UTC
Tags
Title
lecture10.md
Creator
Kenny Easwaran
Created on
2023-04-19 04:55 UTC
Tags
Title
LogicLabWeek3_P1.md
Creator
Helen Meskhidze
Created on
2023-04-21 14:32 UTC
Tags
Title
LogicLabWeek3_P2.md
Creator
Helen Meskhidze
Created on
2023-04-21 14:32 UTC
Tags
Title
LogicLabWeek3_P3.md
Creator
Helen Meskhidze
Created on
2023-04-21 14:32 UTC
Tags
Title
Weekly_1.md
Creator
Edison Barrios
Created on
2023-04-21 21:15 UTC
Tags
Title
Weekly_2.md
Creator
Edison Barrios
Created on
2023-04-22 20:49 UTC
Tags
Title
phi112-assignment1.md
Creator
Patrick Skeels
Created on
2023-04-24 05:24 UTC
Tags
Title
phi112-assignment2.md
Description
Practice Exercises 2 (Section VI)
Creator
Patrick Skeels
Created on
2023-04-24 05:27 UTC
Tags
Title
Weekly_4.md
Creator
Edison Barrios
Created on
2023-04-24 23:13 UTC
Tags
Title
carnap instructions.md
Creator
Jennifer Carr
Created on
2023-04-25 18:45 UTC
Tags
Title
SubproofPractice.md
Creator
Helen Meskhidze
Created on
2023-04-30 23:59 UTC
Tags
Title
SubproofPracticeSolutions.md
Creator
Helen Meskhidze
Created on
2023-05-01 00:26 UTC
Tags
Title
Problem_Set_6.md
Creator
Zachary Peck
Created on
2023-05-02 20:13 UTC
Tags
Title
test.md
Creator
Zachary Peck
Created on
2023-05-02 20:35 UTC
Tags
Title
LogicLabW5.md
Creator
Helen Meskhidze
Created on
2023-05-04 16:46 UTC
Tags
Title
More Complex Proofs
Creator
Zachary Peck
Created on
2023-05-08 17:50 UTC
Tags
Title
sp23ExamReview
Creator
Avner Biblarz
Created on
2023-05-11 19:16 UTC
Tags
Title
LogicLabW6.md
Creator
Helen Meskhidze
Created on
2023-05-12 15:44 UTC
Tags
Title
Playground.md
Creator
Helen Meskhidze
Created on
2023-05-13 00:18 UTC
Tags
Title
Chapter 5 Quiz A Questions.txt
Creator
Zachary Peck
Created on
2023-05-13 16:31 UTC
Tags
Title
symbolization2
Creator
Zachary Peck
Created on
2023-05-15 21:37 UTC
Tags
Title
Quiz 3 Examples
Creator
Zachary Peck
Created on
2023-05-20 15:51 UTC
Tags
Title
Truth table tutorial
Creator
Zachary Peck
Created on
2023-05-20 16:43 UTC
Tags
Title
8PracticeProblems23.md
Creator
Helen Meskhidze
Created on
2023-05-22 14:46 UTC
Tags
Title
venn.jpeg
Creator
Jennifer Carr
Created on
2023-05-22 17:11 UTC
Tags
Title
phi112-assignment3.md
Description
Phi112 Practice Exercises 3: Derivations
Creator
Patrick Skeels
Created on
2023-05-23 21:39 UTC
Tags
Title
LogicLab_Week8Part1.md
Creator
Helen Meskhidze
Created on
2023-05-26 15:57 UTC
Tags
Title
LogicLab_Week8Part2.md
Creator
Helen Meskhidze
Created on
2023-05-26 15:57 UTC
Tags
Title
9PracticeProblems.md
Creator
Helen Meskhidze
Created on
2023-05-26 17:16 UTC
Tags
Title
Basic Subderivations Tutorial
Creator
Zachary Peck
Created on
2023-05-28 15:59 UTC
Tags
Title
Chapter 5 quiz B questions.txt
Creator
Zachary Peck
Created on
2023-06-03 18:46 UTC
Tags
Title
Auxiliary assumption tutorial video
Creator
Zachary Peck
Created on
2023-06-04 02:28 UTC
Tags
Title
Truth-table Tutorial Video
Creator
Zachary Peck
Created on
2023-06-04 03:07 UTC
Tags
Title
Proofs in SD+
Creator
Zachary Peck
Created on
2023-06-04 05:33 UTC
Tags
Title
PL Symbolization
Creator
Zachary Peck
Created on
2023-06-04 05:54 UTC
Tags
Title
Class 1 Problem.txt
Creator
Christopher Spano
Created on
2023-06-25 20:13 UTC
Tags
Title
phi12-hw1.md
Creator
Selcuk Kaan Tabakci
Created on
2023-06-29 19:50 UTC
Tags
Title
CounterModeler Simple.md
Creator
Richard Zach
Created on
2023-06-30 17:52 UTC
Tags
Title
DeMorganCarnapProblems.md
Creator
Curtis Franks
Created on
2023-06-30 17:54 UTC
Tags
Title
Practice Problems 1.md
Creator
James Morton
Created on
2023-07-03 22:37 UTC
Tags
Title
Problem Set 10.md
Creator
James Morton
Created on
2023-07-04 22:49 UTC
Tags
Title
Problem Set 9.md
Creator
James Morton
Created on
2023-07-04 22:49 UTC
Tags
Title
Problem Set 8.md
Creator
James Morton
Created on
2023-07-04 22:49 UTC
Tags
Title
Problem Set 7.md
Creator
James Morton
Created on
2023-07-04 22:49 UTC
Tags
Title
Problem Set 6.md
Creator
James Morton
Created on
2023-07-04 22:49 UTC
Tags
Title
Problem Set 3.md
Creator
James Morton
Created on
2023-07-04 22:49 UTC
Tags
Title
Problem Set 5.md
Creator
James Morton
Created on
2023-07-04 22:50 UTC
Tags
Title
Problem Set 2.md
Creator
James Morton
Created on
2023-07-04 22:50 UTC
Tags
Title
Problem Set 1.md
Creator
James Morton
Created on
2023-07-04 22:50 UTC
Tags
Title
phi12-hw1-makeup.md
Creator
Selcuk Kaan Tabakci
Created on
2023-07-06 22:00 UTC
Tags
Title
phi12-hw2.md
Creator
Selcuk Kaan Tabakci
Created on
2023-07-07 18:35 UTC
Tags
Title
Practice Problems II.md
Creator
Selcuk Kaan Tabakci
Created on
2023-07-07 18:42 UTC
Tags