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
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
Nader Shoaibi
Created on
2019-04-02 15:39 UTC
Tags
Title
Playground.tex
Creator
Nader Shoaibi
Created on
2019-04-05 00:05 UTC
Tags
Title
PS5.tex
Creator
Nader Shoaibi
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
Nader Shoaibi
Created on
2019-04-11 14:09 UTC
Tags
Title
PS6.tex
Creator
Nader Shoaibi
Created on
2019-04-19 15:33 UTC
Tags
Title
PS6(WED).tex
Creator
Nader Shoaibi
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
Nader Shoaibi
Created on
2019-05-02 14:23 UTC
Tags
Title
PS7(WED).tex
Creator
Nader Shoaibi
Created on
2019-05-03 19:06 UTC
Tags
Title
Final Practice Problems.tex
Creator
Nader Shoaibi
Created on
2019-05-03 19:11 UTC
Tags
Title
Final Practice Problems(Solutions).tex
Creator
Nader Shoaibi
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
Brian Weatherson
Created on
2019-09-18 02:07 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
Assignment PL Proofs.tex
Creator
Landon D. C. Elkind
Created on
2020-02-05 17:25 UTC
Tags
Title
Assignment PL Proofs with Hints.tex
Creator
Landon D. C. Elkind
Created on
2020-02-25 16:59 UTC
Tags
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
HUP112 Remote Learning Instructions.docx
Description
Instructions for accessing HUP112 - Logic and Philosophy, Spring I 2020 online learning with WebEx
Creator
Andrew McFarland
Created on
2020-03-16 15:20 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
introduction.md
Creator
David Sanson
Created on
2020-06-14 19:58 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
Exercise 1.Rmd
Creator
J.P. Messina
Created on
2020-07-13 18:00 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
playground-ForallxSL.txt
Creator
Greg Johnson
Created on
2020-07-22 00:13 UTC
Tags
Title
playground-ForallxSLPlus.txt
Creator
Greg Johnson
Created on
2020-07-22 00:13 UTC
Tags
Title
playground-AllenSL.txt
Creator
Greg Johnson
Created on
2020-07-22 00:13 UTC
Tags
Title
playground-AllenSLPlus.txt
Creator
Greg Johnson
Created on
2020-07-22 00:13 UTC
Tags
Title
Day 07 lecture.md
Creator
Michael Titelbaum
Created on
2020-07-22 00:55 UTC
Tags
Title
playground-ForallxQL.txt
Creator
Greg Johnson
Created on
2020-07-23 19:20 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
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
HW08_proofs.txt
Creator
Greg Johnson
Created on
2020-08-15 01:22 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
problem-set-1.md
Creator
Thony Gillies
Created on
2020-09-04 15:33 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
problem-set-2.md
Creator
Thony Gillies
Created on
2020-09-11 14:25 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
midterm.tex
Creator
Nick Huggett
Created on
2020-10-08 19:29 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, First Attempt (F20).md
Creator
Erich Reck
Created on
2020-11-14 00:23 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
Phil008 Practice Exam for MT2.md
Creator
Erich Reck
Created on
2020-11-20 23:17 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
final.tex
Creator
Nick Huggett
Created on
2020-11-30 22:52 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
Contents
Creator
David Sanson
Created on
2020-12-18 22:52 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 for Chapter 5
Creator
Elaine Landry
Created on
2021-01-20 22:49 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
phi112-assignment1 .md
Description
Phi 112 Assignment 1
Creator
Selcuk Kaan Tabakci
Created on
2021-01-28 21:23 UTC
Tags
Title
Graded Exercises I.md
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
Graded Exercises 2.md
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
mtproofsmakeup.md
Creator
John Bowin
Created on
2021-02-09 03:54 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
Adam Trybus
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
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
phi112-exam1.md
Creator
Elaine Landry
Created on
2021-02-16 00:07 UTC
Tags
Title
Graded Exercises 3.md
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
Additional DD Exercises for 2.22.2021
Creator
Jonathan Barker
Created on
2021-02-19 18:27 UTC
Tags
Title
Practice DD Exercises (Very Easy -- Easy)
Description
**Optional** practice direct derivations, designed to improve basic rule-recognition and derivation skills. If you're having trouble with the other direct derivation exercises, try working through some or all of these first.
Creator
Jonathan Barker
Created on
2021-02-19 18:45 UTC
Tags
Title
testing.md
Description
Testing
Creator
Michael Rieppel
Created on
2021-02-19 22:06 UTC
Tags
Title
Chapter 1.6 Exercise #2
Creator
Jonathan Barker
Created on
2021-02-21 13:24 UTC
Tags
Title
Additional CD Exercises
Creator
Jonathan Barker
Created on
2021-02-21 13:25 UTC
Tags
Title
Practice Problems VI.md
Description
Practice Problems for Part VI Interpretations
Creator
Elaine Landry
Created on
2021-02-21 20:00 UTC
Tags
Title
s21-exam1
Creator
P.D. Magnus
Created on
2021-02-22 04:53 UTC
Tags
Title
Practice Problems 4.md
Creator
Derek Haderlie
Created on
2021-02-22 15: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
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
phi112-assignment2.md
Creator
Selcuk Kaan Tabakci
Created on
2021-02-25 19:54 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-2 Trans S 2.md
Description
Exercises 2-2 Translation into S #2 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-02-27 13:06 UTC
Tags
Sentential Translation
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-1 Trans S 1.md
Description
Exercises 2-1 Translation into S #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-02-27 14:42 UTC
Tags
Sentential Translation
Title
Ex 2-3 Trans S 3.md
Description
Exercises 2-3 Translation into S #3 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-02-27 14:42 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
Ex 3-1 Tables 1.md
Description
Exercises 3-1 Truth Tables #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-01 20:57 UTC
Tags
Truth Tables Sentential
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
Adam Trybus
Created on
2021-03-02 12:34 UTC
Tags
Title
zarys-historii.pandoc
Creator
Adam Trybus
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
Ex 3-3 Tables 2.md
Description
Exercises 3-3 Truth Tables #2 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-02 18:26 UTC
Tags
Sentential Truth Tables
Title
Ex 4-1 SD 1.md
Description
Exercises 4-1 SD Derivations #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-02 20:20 UTC
Tags
Derivations Sentential
Title
Ex 4-2 SD 2.md
Description
Exercises 4-2 SD Derivations #2 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-02 22:15 UTC
Tags
Derivations Sentential
Title
Practice Problems VII.md
Creator
Elaine Landry
Created on
2021-03-02 22:53 UTC
Tags
Title
Tutorial Worksheet 7.md
Creator
Elaine Landry
Created on
2021-03-02 22:54 UTC
Tags
Title
Worksheet 7 Proofs in FOL.md
Creator
Elaine Landry
Created on
2021-03-02 22:54 UTC
Tags
Title
withchecks.txt
Creator
Michael Nelson
Created on
2021-03-03 02:33 UTC
Tags
Title
Ex 4-3 SD 3.md
Description
Exercises 4-3 SD Derivations #3 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-03 13:41 UTC
Tags
Derivations Sentential
Title
Ex 4-4 SDE 1.md
Description
Exercises 4-4 SDE Derivations #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-03 14:02 UTC
Tags
Derivations Sentential
Title
Ex 4-5 SDE 2.md
Description
Exercises 4-5 SDE Derivations #2 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-03-03 14:11 UTC
Tags
Derivations Sentential
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
279 Tutorial Worksheet 7 copy.md
Creator
Richard Zach
Created on
2021-03-05 15:25 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
Adam Trybus
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
phi112-assignment3.md
Description
Assignment 3
Creator
Elaine Landry
Created on
2021-03-11 16:55 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
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
PropProofsExmpl.md
Creator
Gillman Payette
Created on
2021-03-21 16:19 UTC
Tags
Title
Chapter 2 Derivations-- Rules S, ADJ, ADD, CB, and BC
Creator
Jonathan Barker
Created on
2021-03-21 17:42 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 Basic Problem 6 copy.md
Creator
Richard Zach
Created on
2021-03-24 17:04 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
Practice Derivations-Rules S, ADJ, ADD, MTP, BC, & CB
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
Study Guide #2 Derivations-- Basic Rules, Theorems, and Derived Rules
Creator
Jonathan Barker
Created on
2021-04-04 12:45 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
Adam Trybus
Created on
2021-04-06 13:16 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
Exam #2 Derivations
Creator
Jonathan Barker
Created on
2021-04-11 19:37 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
Problem Set 7.1.md
Creator
Garrett Pendergraft
Created on
2021-04-14 00:53 UTC
Tags
Title
finalproofs.md
Creator
John Bowin
Created on
2021-04-14 14:44 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
extracredit1.md
Creator
John Bowin
Created on
2021-04-16 17:57 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
dowody.pandoc
Creator
Adam Trybus
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
portuguese sentential simbolization
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
syntax portuguese sentential
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
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
Adam Trybus
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
Carnap Validity Example.md
Creator
Gillman Payette
Created on
2021-04-30 00:17 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
Code practice 1
Creator
Jonathan Barker
Created on
2021-05-01 18:41 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
Ex 3-2 Semantic Proofs 1.md
Description
Exercises 3-2 Semantic Meta-Proofs #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-02 21:01 UTC
Tags
Semantics Sentential
Title
Ex 3-4 Semantic Proofs 2.md
Description
Exercises 3-4 Semantic Meta-Proofs #2 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-02 21:02 UTC
Tags
Semantics Sentential
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-2 Trans P 2.md
Description
Exercises 5-2 Translation into P #2 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 15:30 UTC
Tags
Predicate Translation
Title
Ex 5-1 Trans P 1.md
Creator
Paul Gregory
Created on
2021-05-03 15:36 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 PD 1.md
Description
Exercises 7-1 PD Derivations #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 16:43 UTC
Tags
Derivations Predicate
Title
Ex 7-2 PD 2.md
Description
Exercises 7-2 PD Derivations #2 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 18:11 UTC
Tags
Derivations Predicate
Title
Ex 7-3 PDE 1.md
Description
Exercises 7-1 PDE Derivations #1 Prof. Gregory’s Formal Logic
Creator
Paul Gregory
Created on
2021-05-03 18:11 UTC
Tags
Derivations Predicate
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
krp-syntaktyka.pandoc
Creator
Adam Trybus
Created on
2021-05-04 10:31 UTC
Tags
Title
Study Guide #3-- Derivations-- UI, EG, EI + Universal Derivations
Creator
Jonathan Barker
Created on
2021-05-04 19:22 UTC
Tags
Title
Exam #3 Derivations
Creator
Jonathan Barker
Created on
2021-05-07 17:30 UTC
Tags
Title
Derivation Playground (Hurley PL).txt
Creator
Andrew Law
Created on
2021-05-08 18:26 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