Top News, Articles, and Interviews in Philosophy

Valuations, combinatorial vs realizable

Philosophy News image
This is request for references on an issue in very elementary logic! To set the scene, suppose we take the atoms of a formal language for propositional logic to be interpreted. Yes, yes, I know that different authors take different official lines about how to treat their ‘P’s and ‘Q’s — hence the ‘suppose’! We are considering the line where a formal language is indeed taken to be a language, with meaningful wffs, so inferences in the language really are genuine inferences, etc. Perhaps then the glossary for a particular PL language reads P: Water is H2O, Q: Jill is married, R: Jill is single. So now consider, then, writing down a truth-table for a wff built from these atoms, as it might be ‘(P ∧ (Q ∨ R))’. We of course standardly consider all combinatorially possible assignments of values to the three propositional atoms, giving us an eight-line table. But we might now remark that (according to most) there is no possible way the world might go in which ‘P’ is false. And. . .

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus