more on this theme     |     more from this thinker


Single Idea 12595

[filed under theme 5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic ]

Full Idea

There is as yet no substantial theory of inference or reasoning. To be sure, logic is well developed; but logic is not a theory of inference or reasoning. Logic is a theory of implication and inconsistency.

Gist of Idea

We have a theory of logic (implication and inconsistency), but not of inference or reasoning

Source

Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)

Book Ref

Harman,Gilbert: 'Reasoning Meaning and Mind' [OUP 1999], p.212


A Reaction

One problem is that animals can draw inferences without the use of language, and I presume we do so all the time, so it is hard to see how to formalise such an activity.


The 16 ideas from '(Nonsolipsistic) Conceptual Role Semantics'

Meaning from use of thoughts, constructed from concepts, which have a role relating to reality [Harman]
Some regard conceptual role semantics as an entirely internal matter [Harman]
Take meaning to be use in calculation with concepts, rather than in communication [Harman]
Mastery of a language requires thinking, and not just communication [Harman]
Concepts in thought have content, but not meaning, which requires communication [Harman]
The use theory attaches meanings to words, not to sentences [Harman]
If one proposition negates the other, which is the negative one? [Harman]
Reasoning aims at increasing explanatory coherence [Harman]
We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman]
I might accept P and Q as likely, but reject P-and-Q as unlikely [Harman]
Reality is the overlap of true complete theories [Harman]
Reason conservatively: stick to your beliefs, and prefer reasoning that preserves most of them [Harman]
The way things look is a relational matter, not an intrinsic matter [Harman]
The content of thought is relations, between mental states, things in the world, and contexts [Harman]
There is no natural border between inner and outer [Harman]
We can only describe mental attitudes in relation to the external world [Harman]