With the help of Faust, here is an ILP primer on basic Philosophical Logic. There are two sections to this post â€“ 1) A basic introduction to logic and 2) A refresher section for people who learnt the basics but want to be reminded of things. The first section is patronising and the second is not, because I wrote the first and Iâ€™m not a very nice person. Mistakes in there are therefore all mine.
If you are a new student of logic, you should start with  and then, once understood, move on to . We hope to introduce more guides like this in future. This is a tentative start.
There is a lot that has been written about logic and you would do well to buy yourself an introduction to philosophical logic. This guide can only act as a motivator or as a very basic introduction but will leave you with many questions. If you just want to pretend to appear clever, you would do well to learn this guide by heart and that will put your ability to win arguments above 90% of internet users today.
Here we goâ€¦get yourself a cup of coffee or a strong whiskey.
When we talk about logic, in terms of Philosophy here at ILP, weâ€™re actually talking about the study of argument. Argument is logic, logic is argument. Philosophers care a great deal about arguments, and hence, one cannot hope to be a philosopher without knowing about logic even if you then decide to ignore logic (notable example: Nietzche).
However, thereâ€™s a problem. Everyone has got an opinion, and just how do we tell good arguments from bad ones?
It should be mentioned that to a philosopher, an argument is interesting only in so far as what is being said and not how it is being said. So, we could shout and swear at one another, but the philosopher only cares about what we are shouting and swearing and more often only about the structure of what we are saying, such as the order in which we say things. In this sense, an argument is not actually a shouting match. To be successful at philosophy, you need to teach yourself to argue without becoming emotional (or, at least, not too emotional!).
For our purposes here, we shall describe an argument as a sentence or a set of sentences which lead up to some other sentence. This last sentence may or may not be justified by the sentences which came before it. Confused yet? Good! The way to spot the last sentence is to look for a word like â€˜thereforeâ€™ or â€˜soâ€™ or â€˜henceâ€™. The sentences which lead up to this kind of word are known as premises. The sentence which comes after the â€˜and so..â€™ or â€˜thereforeâ€™ word is called the conclusion. For for a Philosopher, an argument is:
Premises, followed by a â€˜thereforeâ€™ sort of word, and a conclusion.
Not too tricky, right? Keep an eye out for the words like â€˜thereforeâ€™ or â€˜thusâ€™ because these warn you that the conclusion is about to arrive. Unfortunately, reading a paper or talking to your friend will not always yield arguments as simple or straightforward as this. Sometimes you have to cut through lots of rubbish to find the argument itself. This is why learning about arguments is so helpful â€“ because you will actually become better at expressing yourself to others while you understand others much better too (probably even better than they understand themselvesâ€¦).
The next step for a philosopher is to ask how we can tell if the conclusion, once it is identified, is a logical consequence of the premises or not. Do the premise-sentences justify us accepting the conclusion-sentence? How do we know? How can we tell?
Firstly we need to find out if the argument is valid or not. Uh oh â€“ what is validity?
Validity: A judgment made about the form of an argument. Validity has nothing to do with truth. An argument is said to be valid only â€œby virtue of it being a substitution-instance of a valid argument form.â€
What the hell does that mean? Donâ€™t worry â€“ itâ€™s part of Formal Logic, which is described further down the page â€“ but for now just keep reading. Take another sip of coffee.
When we talk about validity, we are actually not talking about words, sentences or phrases. We are talking about the structure or the form of the argument. For example:
"Obw is a man, and since all men are mortal Obw must be mortal too."
We can display this natural language argument as follows:
Premise 1: â€œAll men are mortal.â€
Premise 2: â€œObw is a man.â€
Conclusion: â€œObw is mortal.â€
This argument has a form which you will one day be able to recognise (see Formal Logic below once you understand the definitions). First, letâ€™s cover some definitions:
In order to analyse the above argument we need to be aware of some basic definitions. This is a bit like learning algebra in a maths class - but much more fun.
Mathematicians use symbols like X and Y to hold the place of numbers. I'm sure you remember having to learn that 2x + 2x = 4x or something like that. If not, don't worry. Maths people use these symbols to represent numbers. In Philosophy we don't need to use maths symbols. We have our own special types of variables (things which can represent other things).
In Philosophy, our variables reserve space not for numbers, like in maths, but for sentences. To be precise - we don't call them sentences, we call them propositions.
But just what is a proposition?
A proposition is best imagined as something absolutely identical with the meaning of a sentence rather than a sentence itself. In this way, a proposition can be the 'general gist' of two sentences, even when these sentences are actually different. For example:
Sentence 1: "Obw is more handsome than Faust."
Sentence 2: "Faust is uglier than Obw."
These two sentences can be described as expressing the very same proposition: I.e. that Obw is one some way better looking than Faust, or any way you want to word it. The proposition is the meaning both sentences allude to. Even though the sentences are different.
Now you know what a proposition is. Does it feel good? Good! Sometimes, logic types call propositions sentences. That's because they enjoy confusing you.
Let's go back to Philosophical variables. We mentioned that maths people use X and Y and so on. We also mentioned that in Philosophy, we want to have variables not for numbers, but for propositions. Logicians use letters to reserve space for propositions, and although there are many different ones, you only need to learn about three right now:
p, q and r.
That wasn't so painful! As Philosophers, we can use p, q and r to represent our propositions, or the propositions of others' arguments. These have a special name: sentential variables (sentential because they deal with sentences (propositions)).
Ok, back to argument form. So we mentioned that validity is all about the form of an argument and nothing to do with the truth of an argument. You should think of the whole argument-analysing process as having two distinct steps:
1) You figure out if the argument is valid.
2) If it is valid, you figure out if the premises are true. If they are, the conclusion is gonna be true too.
Itâ€™s like a logic machine. Validity is the oil. Without oil, the machine doesnâ€™t work. If your argument has validity, and you put truth into it, it will spit truth out. If you put rubbish into it, it will spit rubbish out. If itâ€™s not valid, thereâ€™s just no oil, and it isnâ€™t going to spit anything out â€“ it might just fall apart. Itâ€™s not even worth touching without big gloves and a plastic hat.
So letâ€™s consider what we have just learned:
- This means that even if the premises of an argument are false, the argument can still be valid. Hmm, interesting.
- This means that whenever the premises of a valid argument are true, the conclusion will be true too.
- This means that if an argument is valid, it is impossible for the premises to be true and the conclusion false.
- This means that an invalid argument is where itâ€™s possible that the premises could be true AND the conclusion false. Ohâ€¦ Ok, I am beginning to get this now.
We have another word to describe an argument that is valid AND has all true premises. Given that a valid argument with true premises MUST have a true conclusion (thanks to its validity!), we can call this argument sound. A sound argument, therefore, is an argument that is valid and an argument that has true premises. If the argument is valid, but some premises are false, it is a valid argument only. If the argument is not valid, we donâ€™t even need to worry about the premises!
Deductive argument: A deductive argument is a valid argument. You will often see philosophers talk about valid arguments as being deductively valid arguments. This comes from the word â€˜deduceâ€™. The conclusion is deduced from the premises.
Ok â€“ so you have a basic appreciation of what it is for an argument to be valid, but how can we formally show one argument to be valid and another not valid?
Formal Logic and Validity
Formal logic is all concerned with argument forms, or forms of argument. We mentioned earlier that a valid argument is an argument that has a valid argument form. But, I didnâ€™t tell you what a valid argument form is yet:
If we consider the example I gave right at the start â€“ that of myself, Obw, being a man and being mortal, we can see this argument to be valid â€“ if the premises are true then the conclusion has to be true too. It would be impossible for those premises to be true, and the conclusion false. So it has to be valid. This is the force of logic.
Of course, the premises might not be true. On the internet, nobody knows you are a dog. I might be a Dog, and Obw might be the name my owner gave me. You canâ€™t be sure. But you can be sure the argument is valid â€“ and validity doesnâ€™t care if the premises are true or not, only the form of the argument.
Here's the argument again:
P1: All men are mortal
P2: Obw is a man
C: Obw is mortal.
The other premise could be false too â€“ maybe some men are immortal (like God, perhaps, if he exists). Yet again, this changes nothing about the validity of the argument. Only whether or not we would call the argument sound or simply dismiss it in its current form.
Hereâ€™s the Formal Logic definition of validity:
An argument is considered valid if and only if, it is an example of a valid logical form.
Ooer! So it seems that we are saying there are things called â€˜valid logical formsâ€™ and that as long as an argument shares one of these forms, it can be considered valid. Hey- thatâ€™s really cool. This means all I need to do is learn the valid logical forms and learn how to recognise them and I will kick ILP ass. Quite correct.
Formal Logic, then, is concerned only with valid logical forms of argument. This can be described as â€˜investigating formal validityâ€™.
How to Identify Logical Argument Forms
Now you know that the logician, and the philosopher, has the job of recognising valid forms of argument. Letâ€™s consider a new argument:
P1: If Obw is a man then he is mortal
P2: Obw is a man
C: Obw is mortal.
Using our sentential variables (remember these? The proposition-holders p, q and r) we can represent the form of this argument. Do you notice how the first premise P1, has a sort of structure:
IFâ€¦ obw blah blahâ€¦ THENâ€¦ blah blah.
If something, then something else.
Letâ€™s put in place our sentential variables to reserve space for some propositions, whatever they might be (we donâ€™t care, weâ€™re just investigating validity right now):
If p then q.
Now letâ€™s do it for the whole argument, and investigate the form:
- Code: Select all
P1: If p then q.
Interesting! Now we have a bare-bones glimpse of the inner workings of our original argument. Weâ€™ve stripped away the details and got right down to the mechanics â€“ the form. When we formalise an argument like this, we must be careful to use the same variable to represent the same sentence all the way through the argument. Such as â€˜pâ€™ in this case represents â€˜obw is a manâ€™ and â€˜qâ€™ represents â€˜obw is a mortalâ€™.
So how do we tell valid forms of argument from invalid forms? Well, a form of argument is valid if, and only if, every example of that argument form is itself valid. You better read that again. Let me explain..
Valid argument forms are structures of argument that will never fail to lead us to create valid arguments as examples. This is called the substitutional criterion of validity. Here is an example. Stay with me. You will get it soon, I promise.
In Maths, 1x + 1x = 2x. For every time the variable â€˜xâ€™ is used in this equation it will always be true that two of them added together will leave us with 2 in total. This will be true even if x represents footballs, cars or planets. So with regards to arguments, we are saying that a valid argument form will be valid whatever it is talking about â€“ Obw being mortal, Faust being ugly, Ben smelling of old socks or anything else. If it is a valid argument form, every example of that form being used anywhere in any argument will also always be valid. Thatâ€™s how you know itâ€™s a valid argument form. Formally, we call such examples of the form in action â€˜substitution-instancesâ€™ of that form. It doesnâ€™t matter what you call it, as long as you understand the principle beneath it.
Conversely, then, in order to show that an argument form is invalid we only need to show how another example of that argument form is clearly not valid. This is called â€˜refutation by counterexampleâ€™ as is the most straightforward yet powerful type of argumentative put-down.
Here are some arguments for you:
P1: If p then q
Notice the subtle difference here? Letâ€™s put the flesh back on the bones:
P1: If all ILP members are English then Obw is an Englishman.
P2: Obw is an Englishman.
C: All ILP Members are English.
Does something look wrong here? Try asking yourself:
- Is the argument an example of the logical form shown above?
- Are the premises true? (I actually am English, if you didnâ€™t know)
- Is the conclusion false?
Here are the answers:
Letâ€™s look at another example then:
P1: If p then not q
P2: Not p
Hmmm. Interesting. Something smells though. Here is the natural language argument that has this form, but broken down:
P1: If all ILP members are Canadian then it is not the case that Obw is an American
P2: Obw is not Canadian
C: Obw is an American.
Once again, ask yourself some questions about this argument:
- Is the argument an example (a â€˜subtitution-instanceâ€™) or the argument form in question?
- Are the premises true?
- Is the conclusion false?
And the answers:
So are the arguments valid or invalid? Check back with the definitions. Does that mean the argument forms are valid or not? Check back with the definitions.
If you understand these questions and answers then you understand something more about argument forms and validity.
- An argument is: premises, a â€˜thereforeâ€™ sort of word, and a conclusion.
- An argument can only be valid if, and only if, it would be impossible for the premises to be true, and the conclusion false.
- An argument is invalid if, and only if, it is possible for the premises to be true and the conclusion false.
- A sound argument is a valid argument with true premises.
- In Formal Logic, an argument is valid in virtue of it being a substitution-instance of a valid argument form.
- An argument form is valid if and only if every such substitution-instance of that particular form is also valid, regardless of what it is an argument about.
- An argument form is invalid is there is some substitution-instance of that particular form which is itself invalid.
- A counterexample to an argument form is a substitution-instance of that particular form which is itself an invalid argument.
Next time.. (maybe) Inductive validity, formal symbolic logic, QL.
If you have questions that a re-reading of this does not answer, please feel free to PM me.
Logic is the study of the relations between propositions. Specifically, logic ascertains the connection between the truth of certain propositions and another proposition, the latter of which is, in logic, called a conclusion. The conclusion of any argument is itself a proposition, and can be used as a premise in another argument. The only difference between propositions that are not conclusions and those that are conclusions is their position in a given argument.
A proposition, or statement (these words can be taken, for present purposes, as synonymous) is distinct from a sentence, in that two different sentences may contain the same proposition, and two propositions may be made by the same sentence, depending on the context. And example of the former is this pair of sentences: â€œThis room is completely darkâ€ and â€œThere is no light in this room.â€ An example of the latter is â€œI am a boyâ€, which differs according to who is making the utterance, or - across contexts - whether it asserts â€œI am not a girlâ€ or â€œI am not a manâ€. It is a convention in logic to use the terms â€œpropositionâ€, â€œstatementâ€ and â€œsentenceâ€ as synonyms, but it must be remembered that â€œsentenceâ€ is used in a technical sense here. Only declarative sentences qualify as â€œlogicalâ€ ones, and even then they must contain a statement. This is mere nomenclature, and is not the subject proper of logic.
Propositions are the building blocks of arguments. Logic is not primarily concerned with the truth of the propositions in an argument, but with how the truth of conclusions is related to the truth of premises. The main concern of logic is not truth, but validity. The truth of premises must be previously accepted for the purposes of a logical argument, and only the dependence of the truth of the conclusion on the truth of the premises is the purview of logic. Valid arguments are those in which the premises cannot be true and the conclusion false. Said another way, if the premises of a valid argument are true, then the conclusion must be true.
A valid argument, then, guarantees that if the premises are true (and they may, in the event, not be) then the conclusion is also true. But validity does not guarantee the truth of the premises itself. So, a valid argument may yield a false conclusion, if one or more premises are false. It may also yield a false conclusion under these same circumstances. Only the relationship between the conclusion and the premises is at stake here, and not the truth of any of them.
How this relationship is discovered is through the process of inferenceâ€¦â€¦.