# Is there a school of informal logic that treats it as determining how to transcribe arguments into formal logic?

I've noticed it is often nontrivial to transcribe informal arguments into formal logic, but most introductory texts on formal logic make a show of it. Is this for pedagogical reasons only, or is there more advanced literature on this topic?

The paradoxes of implication, for me so far, have been the largest hidden trap in logic. Perhaps it is because texts strongly associate implication with if-then statements, but now I nearly want to remove implication from any logic that I would want to rely on. Negation, conjunction, and disjunction could be sufficient on their own.

I also worry about other potential hidden traps in logic, as well as the plurality of logical systems. The existence of intentional contexts seems like another hidden trap for someone who isn't aware of it. It also isn't altogether clear into which logical system one should transcribe an argument into. It is hard to see much similarity between a logic that allows "It is possible that I could be making more money than I am" and "It is possible that I'm a paper spoon." It is hard to make use of modal logic when it becomes too difficult to reign these possibilities in. Sometimes I feel lost in possible worlds just trying to articulate a mundane concept.

Is there advanced work on how to deal with these problems and others that I might not be aware of?

• Can you give an example? Most people don't find it very difficult. All men are mortal. "For all x if x is a man then x is mortal." Sep 7, 2014 at 20:22
• Concerning your first question: If you're looking for some kind of algorithm for translating natural language arguments into formal languages have a look at Richard Montague's work on formal semantics. Montague's target language is a higher-order modal logic, that is capable of dealing with a variety of 'intensional contexts'. For an introduction see Dowty et al.: Introduction to Montague Semantics. Sep 7, 2014 at 20:26
• @user4894 Sure. Lets say for a particular photoelectric device, as solar input increases, electric output also increases. Therefore, as solar input decreases, electric output also decreases. Is this valid or not? At the moment, I'm not even sure. Sep 7, 2014 at 20:40
• Thinking about it, I would use some kind of modal logic: In every situation in which the input is greater than the current input, the output is greater than the current output. Therefore, in every situation in which the input is less than the current input, the output is less than the current output. But is this logically valid? In any case, I wouldn't call this transcription trivial. Sep 7, 2014 at 20:51
• I can only comment in saying that I share your concern. Some statements can be tricky. For starters...Here are some good tips for common English notions. legacy.earlham.edu/~peters/courses/log/transtip.htm Sep 7, 2014 at 22:38