13342
|
Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]
|
|
Full Idea:
Carnap proposed to define consequence as 'sentence X follows from the sentences K iff the sentences K and the negation of X are contradictory', but 1) this is intuitively impossible, and 2) consequence would be changed by substituting objects.
|
|
From:
comment on Rudolph Carnap (The Logical Syntax of Language [1934], p.88-) by Alfred Tarski - The Concept of Logical Consequence p.414
|
|
A reaction:
This seems to be the first step in the ongoing explicit discussion of the nature of logical consequence, which is now seen by many as the central concept of logic. Tarski brings his new tool of 'satisfaction' to bear.
|
13251
|
Each person is free to build their own logic, just by specifying a syntax [Carnap]
|
|
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.
|
|
From:
Rudolph Carnap (The Logical Syntax of Language [1934], §17), quoted by JC Beall / G Restall - Logical Pluralism 7.3
|
|
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.
|
19428
|
Because something does exist, there must be a drive in possible things towards existence [Leibniz]
|
|
Full Idea:
From the very fact that something exists rather than nothing, we recognise that there is in possible things, that is, in the very possibility or essence, a certain exigent need of existence, and, so to speak, some claim to existence.
|
|
From:
Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.347)
|
|
A reaction:
I love the fact that Leibniz tried to explain why there is something rather than nothing. Bede Rundle and Dale Jacquette are similar heroes. As Leibniz tells us, contradictions have no claim to existence, but non-contradictions do.
|
5047
|
The world is physically necessary, as its contrary would imply imperfection or moral absurdity [Leibniz]
|
|
Full Idea:
Although the world is not metaphysically necessary, such that its contrary would imply a contradiction or logical absurdity, it is necessary physically, that is, determined in such a way that its contrary would imply imperfection or moral absurdity.
|
|
From:
Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.139)
|
|
A reaction:
How does Leibniz know things like this? The distinction between 'metaphysical' necessity and 'natural' (what he calls 'physical') necessity is a key idea. But natural necessity is controversial. See 'Essentialism'.
|
19429
|
The principle of determination in things obtains the greatest effect with the least effort [Leibniz]
|
|
Full Idea:
There is always in things a principle of determination which is based on consideration of maximum and minimum, such that the greatest effect is obtained with the least, so to speak, expenditure.
|
|
From:
Gottfried Leibniz (On the Ultimate Origination of Things [1697], p.347)
|
|
A reaction:
This is obvious in human endeavours. Leibniz applied it to physics, producing a principle that shortest paths are always employed. It has a different formal name in modern physics, I think. He says if you make an unrestricted triangle, it is equilateral.
|