1. ## What is logic?

Please give a short description of whatever it is that you think deserves to be called logic.
EB

2. Originally Posted by Speakpigeon
Please give a short description of whatever it is that you think deserves to be called logic.
EB
The various paths a frog can take to traverse a pond peppered with lillypads.

3. Originally Posted by Speakpigeon
Please give a short description of whatever it is that you think deserves to be called logic.
EB
"Garbage out, garbage in."

I.e., logic is any reasoning procedure that can guarantee that whenever you get the wrong output from it, it's because you put the wrong input into it.

4. Originally Posted by Speakpigeon
Please give a short description of whatever it is that you think deserves to be called logic.
EB
A set, V, of values and a set, O, of operators that each defines a rule to map a collection of operands from V to a single valued result in V

5. The abstract epistemic concept/law of necessary inference.

6. Logic is a system of thinking, in which a bunch of statements are taken as starting points, which interact with one another using IF...THEN...AND...OR...NOT. . .etc. and from which an inescapable conclusion results. Logic does not necessarily produce truth, only a conclusion which fits the bunch of statements given.

7. It is about ideas and their progression.

Do they progress in a manner that can be defended?

8. Originally Posted by fast
Originally Posted by Speakpigeon
Please give a short description of whatever it is that you think deserves to be called logic.
EB
The various paths a frog can take to traverse a pond peppered with lillypads.

I can see how one would go about making logical assertions about possible paths but how is that definitional of logic? If that is, anything is, it seems to me, since I can see how I could make logical assertions about just any situation.
EB

9. Originally Posted by Juma
Originally Posted by Speakpigeon
Please give a short description of whatever it is that you think deserves to be called logic.
EB
A set, V, of values and a set, O, of operators that each defines a rule to map a collection of operands from V to a single valued result in V
Sounds like an algreba to me, not anything particular about logic. How is that specifically about logic?
EB

10. Originally Posted by Lion IRC
The abstract epistemic concept/law of necessary inference.
And do you see modern logic as an example or application of that idea or are you wedded to Aristotelian logc?

Specifically, the notion of necessity is a modal one which as such is studiously ignored in the framework of modern logic, whereas it is essential to Aristotelian logic.
EB

#### Posting Permissions

• You may not post new threads
• You may not post replies
• You may not post attachments
• You may not edit your posts
•