I tried to send a message by using the “contact us” feature, but it did not work for me, so I apologize if this question is in the wrong forum. Is it possible to use your textbook for my undergraduate Logic courses? If so, how do I do this? Thank you!

Sorry, that acts up sometimes! You can just email me at ischnee@uw.edu!

Joseph Biehl

7 months ago

What is the difference between Versions 1 and 2 of the homework/quizzes on Canvas Commons? Is it merely order or is there a difference in degree of difficulty?

They are independent quizzes, so you can use one version one year and another version the next year to discourage cheating. You can also make minor modifications to either version to keep homework slightly different each year!

They are in a Fitch system, using the vertical bar | to indent subproofs. Every line needs a justification written, and we distinguish between premises and temporary assumptions by “Premise” and “Assume”. For example:

Hi Ian, this is helpful, but is this example you’ve posted exactly what formal proofs look like for students? As you know, in pen-and-paper Fitch systems students can distinguish between nested assumptions and their parent temporary assumptions. I’m worried that if things look exactly as you’ve displayed, this important element is missing.

Hi Peter–thanks for asking. I’ll attach an image here of an example with nested subproofs. This is an interactive content from ch. 15, so it’s exactly what students see and work with.

Basically, nested subproofs get multiple indentations like this:

13. | | ~((P->Q)->(P->R))

As you can see in the attachment, in many textbook activities the subproof structure is given. But sometimes the book makes them type the subproof bars.

I like giving a structure in complex problems because one can scaffold learning really well. It becomes like a Sudoku puzzle, when given numbers are like a constraint. But in my class time I also emphasize a lot of free form/experimental proof writing.

Even when the structure is given and students fill in the banks, this system does not automatically tell them when one subproofs ends and another begins, when the proofs are of the same level (like the proof by cases example I gave above). So they have to figure out which line to write “Assume” on to end the first subproof and start the second.

If you want to check out all the specifics in the book, just let me know and I’ll get you a copy of the book!

UPDATE: LCA now has a full proof checking software for propositional logic, called the Proof Machine. Image below–for anyone reading this, just send me an email (address at bottom of this page) and I can get you a copy of the textbook and show you the software!

Yes, exactly. Students can complete the whole textbook with just a phone if they have limited access to wifi, and they can use a phone or tablet if they don’t have a computer. We’ve created a simple system, like # for the contradiction symbol, -> for conditional, A and E for the quantifiers. Our system is also much more readable than others I’ve seen online. For example, we use v for disjunction. See how readable this is: ~P&(QvR). The interactive textbook also constantly trains students to write and read formulas made up of just keyboard characters, so it is very intuitive for them.

I tried to send a message by using the “contact us” feature, but it did not work for me, so I apologize if this question is in the wrong forum. Is it possible to use your textbook for my undergraduate Logic courses? If so, how do I do this? Thank you!

Sorry, that acts up sometimes! You can just email me at ischnee@uw.edu!

What is the difference between Versions 1 and 2 of the homework/quizzes on Canvas Commons? Is it merely order or is there a difference in degree of difficulty?

They are independent quizzes, so you can use one version one year and another version the next year to discourage cheating. You can also make minor modifications to either version to keep homework slightly different each year!

What do formal proofs look like?

They are in a Fitch system, using the vertical bar | to indent subproofs. Every line needs a justification written, and we distinguish between premises and temporary assumptions by “Premise” and “Assume”. For example:

Hi Ian, this is helpful, but is this example you’ve posted exactly what formal proofs look like for students? As you know, in pen-and-paper Fitch systems students can distinguish between nested assumptions and their parent temporary assumptions. I’m worried that if things look exactly as you’ve displayed, this important element is missing.

Hi Peter–thanks for asking. I’ll attach an image here of an example with nested subproofs. This is an interactive content from ch. 15, so it’s exactly what students see and work with.

Basically, nested subproofs get multiple indentations like this:

13. | | ~((P->Q)->(P->R))

As you can see in the attachment, in many textbook activities the subproof structure is given. But sometimes the book makes them type the subproof bars.

I like giving a structure in complex problems because one can scaffold learning really well. It becomes like a Sudoku puzzle, when given numbers are like a constraint. But in my class time I also emphasize a lot of free form/experimental proof writing.

Even when the structure is given and students fill in the banks, this system does not automatically tell them when one subproofs ends and another begins, when the proofs are of the same level (like the proof by cases example I gave above). So they have to figure out which line to write “Assume” on to end the first subproof and start the second.

If you want to check out all the specifics in the book, just let me know and I’ll get you a copy of the book!

Ian, just sent you an email at your UW email!

UPDATE: LCA now has a full proof checking software for propositional logic, called the Proof Machine. Image below–for anyone reading this, just send me an email (address at bottom of this page) and I can get you a copy of the textbook and show you the software!

Please do!

Can students type all the symbols in the system from a standard keyboard? How do you handle special symbols or characters?

Yes, exactly. Students can complete the whole textbook with just a phone if they have limited access to wifi, and they can use a phone or tablet if they don’t have a computer. We’ve created a simple system, like # for the contradiction symbol, -> for conditional, A and E for the quantifiers. Our system is also much more readable than others I’ve seen online. For example, we use v for disjunction. See how readable this is: ~P&(QvR). The interactive textbook also constantly trains students to write and read formulas made up of just keyboard characters, so it is very intuitive for them.