Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
Tableaux for Lewis’s V-family, Yale Weiss
4:15 pm
Tableaux for Lewis’s V-family, Yale Weiss
@ CUNY Grad Center, 6494
Oct 15 @ 4:15 pm – 6:15 pm
n his seminal work Counterfactuals, David Lewis presents a family of systems of conditional logic—his V-family—which includes both his preferred logic of counterfactuals (VC/C1) and Stalnaker’s conditional logic (VCS/C2). Graham Priest posed the problem of finding systems of (labeled) tableaux for logics from Lewis’s V-family in his Introduction to Non-Classical Logic (2008, p. 93). In this talk, I present a solution to this problem: sound and complete (labeled) tableaux for Lewis’s V-logics. Errors and shortcomings in recent work on this problem[...]
|
||||||
Subscribe to filtered calendar