more from this thinker     |     more from this text


Single Idea 14452

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

Full Idea

It is part of the definition of logic that all its propositions are completely general.

Gist of Idea

All the propositions of logic are completely general

Source

Bertrand Russell (Introduction to Mathematical Philosophy [1919], XV)

Book Ref

Russell,Bertrand: 'Introduction to Mathematical Philosophy' [George Allen and Unwin 1975], p.159


The 18 ideas with the same theme [logic as a completely self-contained subject]:

'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R]
The physical world doesn't need logic, but the mental world does [Russell]
All the propositions of logic are completely general [Russell]
There is no clear boundary between the logical and the non-logical [Tarski]
Logic is a priori because it is impossible to think illogically [Wittgenstein]
Logic seems to work for unasserted sentences [O'Connor]
The various logics are abstractions made from terms like 'if...then' in English [Hacking]
Inferences are surely part of the causal structure of the world [Fodor]
Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess]
If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read]
Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall]
A train of reasoning must be treated as all happening simultaneously [Recanati]
A pure logic is wholly general, purely formal, and directly known [Linnebo]
A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
Logic is explanatorily and ontologically dependent on rational animals [Hanna]
Logic is personal and variable, but it has a universal core [Hanna]
In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]