I'm interested in anything about examining statements, truth and what is a valid argument in the context of a debate.

Feel free to add further suggestions according to the question.

  • Can you clarify? What you describe sounds like a broad overview of the fields of both formal and informal logic. Are you looking for specific topics or theorists within the field of logic? Commented Jul 12, 2016 at 19:33
  • Looked those up. Formal and informal logic sounds about right but I also want to explore logic in the large sense which, unless mistaken, goes back to Aristotle and his Organon.
    – James P.
    Commented Jul 12, 2016 at 19:44
  • Otherwise what I'm specifically interested in is checking a statement in both terms of structure and meaning as well as arguments. Adding to that, any thoughts about approaching truth or at least the trues which are valid from the POV of an observer. Finally, how a debate can be structured and what "rules" could be applied. That may sound broad but I'll be happy picking up notions as those given by @Cort Ammon below.
    – James P.
    Commented Jul 12, 2016 at 19:49

2 Answers 2


I continually find Tarski's work on formal languages enlightening. In particular, his undefinability theorem continually helps remind me where the limits of formal languages lie. The arguments also tie tightly into First Order Logic, which is a useful topic to grok fully when exploring validity in debates. Most debaters accept First Order Logic as valid, if you can get them to agree on the base axioms you want to use.

Highly related to his work is Godel's Incompleteness Theorems, which are "stronger" than what Tarski looked at because he restricted himself to a smaller subset of languages where more stronger statements could be made.

I then like to link to the Aggripan Trilemma, which shows how long such questions have been explored. These frustrations with provability are not new -- they're millennia old. This also can serve as a neat trampoline to spring into the field of epistemology, the study of knowledge itself. My personal opinion is that, if you're used to thinking in logic and programming terms, epistemology seems like a waste of time until you've gently jostled your preconceptions about just how effective our programming based tools are for managing knowledge. I find those three topics to be very effective at jostling (if perhaps jostling a bit too hard).

From that point, there's some interesting segues into ontology because ontology is quite interesting when you're willing to question everything you know. From that point, you'll certainly know enough about philosophy to know what to ask for at the next fork in the road.


The frame problem is relevant to artificial intelligence programming https://en.wikipedia.org/wiki/Frame_problem

  • Good call! I forgot about that one
    – Cort Ammon
    Commented Jul 13, 2016 at 15:25

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .