Is modal logic first-order logic or second-order logic or higher-order logic? What makes a logical system fall into any of those categories? Is it based on expressive power?

The usual story is roughly this. The quantifiers of a first-order logic (ordinary universal and existential quantifiers; or perhaps fancier dyadic quantifiers) range over objects in some given domain. A second-order logic, as well as having those first-order quantifiers, has quantifiers ranging over properties of those objects in the given domain -- or what may or may not come to the same thing, ranging over sets of objects from the domain. A third-order logic adds quantifiers ranging over properties of properties of things in the domain -- or what may or may not come to the same thing, ranging over sets of sets of objects from the domain. And so it goes. It's not for nothing, then, that people do often say, following Quine, that higher order logics are just fragments of set theory in disguise. But be that as it may. Where does e.g. propositional modal logic fall into the picture? Well, on the one hand, propositional modal logic has no quantifiers. So a fortiori it doesn't have first...

I have always been more talented at exposing flaws in reasoning or hypocrisy in actions than in constructing anything to replace what I criticize. Naturally many people are bothered when they're criticized and aggravated beyond that when not presented with an alternative. What is the status of this ability? Should someone hold his silence if he has nothing better to offer, or is just being critical worthy by itself?

Is it worth exposing flaws in the reasoning for a position, even if you haven't something better to replace it with? Certainly. At the very least, revealing flaws ought to make proponents less dogmatic in their endorsing of the position: they should proceed with caution in trying to implement policies based on the position, not close off the consideration of counter-proposals, etc. etc. All of which consquences are, in general, surely to be encouraged!

Can two people reason differently? Even when given the exact same premises? I mean ... can using reason EVER lead us to more than one conclusion?

Well, yes of course, two incompetent reasoners could reach different conclusions by making different mistakes! So I take it the question is: could two people reason correctly to different conclusions from the same premisses? But again the answer to that is, trivially, "yes". A given bunch of premisses will entail lots of conclusions (e.g. the axioms of Euclidean geometry entail both that the angles of a triangle add up to two right angles, and that the tangent at the point on a circle is at a right angle to the diameter through that point). One reasoner can correctly deduce one conclusion; another reasoner can correctly deduce a different conclusion. Still, in that case, the different conclusions are all consistent with each other. So perhaps the question is supposed to be: can two two people reason correctly from the same premisses to conclusions that are "different" in the strong sense of being actually incompatible with each other? Again, the answer to that is obviously "yes". For...

Why are the laws of logic considered to be truth preserving? I would have trouble accepting any theory that says these are mere conventions of men since they all seem to have a universal application and do describe realtiy as we know it. Did God make these laws like other grand laws of the universe or did they just appear or create themselves?

A logically valid inference is one that is necessarily truth-preserving. That's pretty much a matter of definition. We just wouldn't count an inference as logically valid if it didn't meet that condition. (In other words, necessarily preserving truth is a necessary condition for an inference to count as valid. Perhaps it is sufficient too; or perhaps rather more is needed for a genuinely valid inference: e.g. some relation of relevance between the premisses and conclusion. But we needn't worry about that. For present purposes it is enough that it is agreed on all sides that to count as valid an inference must at least be truth-preserving.) Now, the "laws of logic" are general principles specifying which types of inference are indeed logically valid. So again, it is pretty much a matter of definition that instances of the laws of logic have to be truth-preserving. That's what it takes for a law to be a law of logic. It isn't as if we can first identify a class of principles as laws of logic...

I've noticed, perhaps incorrectly, that many philosophers and ethicists regard logical coherence as an integral component of forming and defending moral positions. While I can understand why logical coherence would be necessary for, say, a scientist who is trying to describe how something works, I do not seem to see why logical coherence would be needed for ethics -- where, presumably, there are no objectively right or wrong answers.

Suppose I think (a) that it is normally wrong to kill humans, because so doing deprives them of a future life. But I also think (b) women have a "right to choose", and it is permissible to have at least a reasonably early abortion. Then I seem to be in trouble. For by (a) killing a very young human being in utero should be wrong, as it surely deprives it of the long future life it would otherwise have had, while by (b) killing it is permissible. On the face of it, then, my moral views (a) and (b) aren't consistent with each other, but imply that a certain act is both wrong and not wrong -- which is absurd. And note, I can't just shrug my shoulders and cheerfully say "ok, mymoral views are inconsistent" because inconsistent views don't give me anyguidance about what to do, and my moral views are supposed to help guide me! I want to decide to do in various circumstances, and inconsistent moral injunctions are no use at all for deciding. So I need to revise (a) or revise (b), or at least spell out ...

I have a very vague understanding of Goedel's famous Incompleteness theorem, but I know enough to know that I see it constantly interpreted in what seem like bizarre ways that I am sure anyone who really knew the relevant math or logic or philosophy would find ridiculous. The most common of these come from "new age" sources. My question is, for someone who knows something about the theorems, what is it about them that you think attracts these sorts of odd and (to say the least) highly suspect interpretations? I mean you don't see a lot of bizarre interpretations of most technical theories/proofs in math, logic, or philosophy.

You are quite right that Gödel's (first) incompleteness theorem attracts all kinds of bizarre "interpretations". Various examples are discussed and dissected in Torkel Franzen's very nice short book, Gödel's Theorem: An Incomplete Guide to its Use and Abuse , which I warmly recommend. My guess is that a main source for the whacky interpretations is the claim that has repeatedly been made that the theorem shows that we can't be "machines", and so -- supposedly -- we must be something more than complex biological mechanisms. You can see why that conclusion might in some quarters be found welcome (and other technical results in logic generally don't seem to have such an implication). But as Franzen explains very clearly, it doesn't follow from the theorem.

Can an all powerful God make a square triangle?

No. But that's no limitation on such a god's power. We're not saying that there is some possible task that this god fails to be able to pull off. We're saying that there isn't any task that is coherently describable as "making a square triangle". For consider: what could possibly count as making a square triangle? To be a square requires having four sides. To be a triangle requires not having four sides but only three. So nothing can possibly count as being both a square and a triangle. Hence whatever the god (or anyone else) does, it couldn't correctly be described as "making a square triangle" for that isn't a coherent description of anything. Take a mundane case. I pass you the cookies. You can take one. Or you can take none. Both are within your power. But you can't simultaneously both take one and not take one. But saying that plainly isn't to say that there is some limitation on your powers of choice vis-a-vis cookies! The point is that nothing could count as...

A common discussion-killer is the declaration: "You can't prove a negative!" Immediately the conversation screeches to a halt and people turn to other topics. Is there really nothing more to be said? A: Fairies don't exist. B: You can't prove a negative. A: Okay, fair enough. So how do you like this pizza? Does it have to be this way?

I'm reminded of the exasperated Bertrand Russell faced with the young Wittgenstein: "He thinks that nothing empirical is knowable. I asked him to admit that there was not a rhinoceros in the room, but he wouldn't. I looked under all the desks without finding one but Wittgenstein remained unconvinced." It is Wittgenstein here who is being obtuse and in the grip of a silly theory. Of course we can establish empirical propositions both positive and negative – for example, that there are five desks in the room and no rhinoceroses. By any sane standard, it is just plain false that you can't prove a negative, and that supposed "discussion-killer" should itself be promptly killed off.

What do derivation systems in a formal logical language tell us about logic? Or about the propositions in the proof? Are their purpose only to show us that a particular proof or argument can be demonstrated using that particular language? IN other words, why do we have derivations in formal logic ... what is their grand purpose?

Logic is about what follows from what. But what follows from what isn't always obvious (or else, e.g., pure maths would be a lot easier than it is). So we need ways of demonstrating unobvious entailments. And a standard way of doing this is to show how we can get from the given premisses to the intended conclusion by a sequence of small steps, each of which is guaranteed to be truth-preserving. If we can break down the big inferential leap from premisses to conclusion into smaller inferential moves, each one of which is evidently valid, that shows the big leap is valid too. Now all this applies equally to informal reasoning -- e.g. derivations or proofs in informal mathematics -- and to formally tidied-up reasoning alike. There's nothing mysterious then about derivations in formal logic. They just do in a regimented way, in some tightly constrained formal language, the sort of thing we usually do in a less regimented way. And given a formal version of a proof, we can read back an informal,...

Pages