1 Sun 2 Mon 3 Tue 4 Wed 5 Thu 6 Fri 7 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
4:15 pm Deductive Systems with Unified Multiple-Conclusion Rules. Alex Citkin @ CUNY Grad Center, 7395
Deductive Systems with Unified Multiple-Conclusion Rules. Alex Citkin @ CUNY Grad Center, 7395
Mar 2 @ 4:15 pm – 6:15 pm
Some people fight for the rights of animals, I am fighting for the rights of rejected propositions. Following the approach suggested by Brentano and accepted and developed by Lukasiewicz, I study the deductive systems that treat asserted and rejected propositions equally, in the same way. By “statement,” we understand the expressions of form +A – “A being asserted”, and -A$ – “A being rejected”, where A is a proposition. Accordingly, by a “unified logic,” we[...]