more on this theme     |     more from this text

Single Idea 13251

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention ]

Full Idea

In logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language. All that is required is that he must state his methods clearly, and give syntactical rules instead of philosophical arguments.

Gist of Idea

Each person is free to build their own logic, just by specifying a syntax

Source

Rudolph Carnap (The Logical Syntax of Language [1934], §17), quoted by JC Beall / G Restall - Logical Pluralism 7.3

Book Ref

Beall,J/Restall,G: 'Logical Pluralism' [OUP 2006], p.78

A Reaction

This is understandable, but strikes me as close to daft relativism. If I specify a silly logic, I presume its silliness will be obvious. By what criteria? I say the world dictates the true logic, but this is a minority view.

The 20 ideas from Rudolph Carnap

16252 Metaphysics uses empty words, or just produces pseudo-statements [Carnap]
8748 Logical positivists incorporated geometry into logicism, saying axioms are just definitions [Carnap, by Shapiro]
8960 Internal questions about abstractions are trivial, and external ones deeply problematic [Carnap, by Szabó]
13932 Empiricists tend to reject abstract entities, and to feel sympathy with nominalism [Carnap]
13933 Existence questions are 'internal' (within a framework) or 'external' (concerning the whole framework) [Carnap]
13934 To be 'real' is to be an element of a system, so we cannot ask reality questions about the system itself [Carnap]
13936 Questions about numbers are answered by analysis, and are analytic, and hence logically true [Carnap]
13935 We only accept 'things' within a language with formation, testing and acceptance rules [Carnap]
13937 New linguistic claims about entities are not true or false, but just expedient, fruitful or successful [Carnap]
13938 A linguistic framework involves commitment to entities, so only commitment to the framework is in question [Carnap]
13939 No possible evidence could decide the reality of numbers, so it is a pseudo-question [Carnap]
13940 All linguistic forms in science are merely judged by their efficiency as instruments [Carnap]
13048 Good explications are exact, fruitful, simple and similar to the explicandum [Carnap, by Salmon]
12131 All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody]
18699 Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button]
13251 Each person is free to build their own logic, just by specifying a syntax [Carnap]
13342 Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]
11968 The intension of a sentence is the set of all possible worlds in which it is true [Carnap, by Kaplan]
14305 In the truth-functional account a burnt-up match was soluble because it never entered water [Carnap]
18285 All translation loses some content (but language does not create reality) [Carnap]