more from this thinker
|
more from this text
Single Idea 10048
[filed under theme 5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
]
Full Idea
No objective grounds are known to me which permit us to draw a sharp boundary between the two groups of terms, the logical and the non-logical.
Gist of Idea
There is no clear boundary between the logical and the non-logical
Source
Alfred Tarski (works [1936]), quoted by Alan Musgrave - Logicism Revisited §3
Book Ref
-: 'British Soc for the Philosophy of Science' [-], p.103
A Reaction
Musgrave is pointing out that this is bad news if you want to 'reduce' something like arithmetic to logic. 'Logic' is a vague object.
The
18 ideas
with the same theme
[logic as a completely self-contained subject]:
|
19370
|
'Blind thought' is reasoning without recognition of the ingredients of the reasoning
[Leibniz, by Arthur,R]
|
|
16486
|
The physical world doesn't need logic, but the mental world does
[Russell]
|
|
14452
|
All the propositions of logic are completely general
[Russell]
|
|
10048
|
There is no clear boundary between the logical and the non-logical
[Tarski]
|
|
11062
|
Logic is a priori because it is impossible to think illogically
[Wittgenstein]
|
|
3746
|
Logic seems to work for unasserted sentences
[O'Connor]
|
|
13845
|
The various logics are abstractions made from terms like 'if...then' in English
[Hacking]
|
|
2442
|
Inferences are surely part of the causal structure of the world
[Fodor]
|
|
15404
|
Technical people see logic as any formal system that can be studied, not a study of argument validity
[Burgess]
|
|
14187
|
If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter
[Read]
|
|
10690
|
Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought
[Beall/Restall]
|
|
13232
|
Logic studies arguments, not formal languages; this involves interpretations
[Beall/Restall]
|
|
22246
|
A train of reasoning must be treated as all happening simultaneously
[Recanati]
|
|
10638
|
A pure logic is wholly general, purely formal, and directly known
[Linnebo]
|
|
10781
|
A 'pure logic' must be ontologically innocent, universal, and without presuppositions
[Linnebo]
|
|
11058
|
Logic is explanatorily and ontologically dependent on rational animals
[Hanna]
|
|
11072
|
Logic is personal and variable, but it has a universal core
[Hanna]
|
|
13850
|
In modern logic all formal validity can be characterised syntactically
[Engelbretsen/Sayward]
|