Critical Thinking - 25 - Introduction to Deductive Logic

[@MathCuriousity]

Hey love your channel and may I ask a question: If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations? I ask this because somebody told me recently that “set theory cannot make true valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?

[@allandidonato]

Sorry. I haven’t been getting my email notices for some reason, and I just saw this. Also, I am not well versed in set theory itself. I know it is not designed for dealing with truth claims, but rather relationships and properties. Since it is mainly mathematical it doesn’t focus on propositions. But I have read that as a foundational framework for logical systems which can work with true and false propositions. So set theory indirectly contributes to the development of frameworks used for truth evaluation. It’s just not something that deals with such things inherently.

[@MathCuriousity]

@@allandidonato thanks so much!