8 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
Full Idea: Item x is said to be a sufficient truth-maker for truth-bearer p just in case necessarily if x exists then p is true. ...Every truth has a sufficient truth-maker. Hence, I take it, the sum of all sufficient truth-makers is a universal truth-maker. | |
From: Peter Forrest (General Facts,Phys Necessity, and Metaph of Time [2006], 1) | |
A reaction: Note that it is not 'necessary', because something else might make p true instead. |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
22076 | Being is only perceptible to itself as becoming [Schelling] |
Full Idea: Being is only perceptible to itself in the state of becoming. | |
From: Friedrich Schelling (Of Human Freedom [1809], p.403), quoted by Jean-François Courtine - Schelling p.90 | |
A reaction: Is the Enlightenment the era of Being, and the Romantic era that of Becoming? They like process, fluidity, even chaos. |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
22074 | We must show that the whole of nature, because it is effective, is grounded in freedom [Schelling] |
Full Idea: What is required is to show that everything that is effective (nature, the world of things) is grounded in activity, life, freedom. | |
From: Friedrich Schelling (Of Human Freedom [1809], p.351), quoted by Jean-François Courtine - Schelling | |
A reaction: I take the ancestor of this view of nature to be the monads of Leibniz, as the active principle in nature. Because this is an idealist view, it starts with the absolute freedom of the Self, and presumably sees nature in its own image. |
22075 | Only idealism has given us the genuine concept of freedom [Schelling] |
Full Idea: Until the discovery of idealism, the genuine concept of freedom has been missing from every modern system, whether it be that of Leibniz or of Spinoza. | |
From: Friedrich Schelling (Of Human Freedom [1809], p.345), quoted by Jean-François Courtine - Schelling p.87 | |
A reaction: Spinoza denied free will, and Leibniz fudged it. Evidently more medieval theological accounts were not good enough. I presume Fichte is Schelling's hero, and he seems to see freedom as axiomatic about the Self. |