Combining Texts

All the ideas for 'Perpetual Peace', 'Letters to Russell' and 'The Establishment of Scientific Semantics'

expand these ideas     |    start again     |     specify just one area for these texts

20 ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
13338 '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
13337 A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
13335 Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski]
13336 A language containing its own semantics is inconsistent - but we can use a second language [Tarski]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
13339 A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski]
13340 Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski]
5. Theory of Logic / K. Features of Logics / 2. Consistency
13341 Using the definition of truth, we can prove theories consistent within sound logics [Tarski]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
18253 I wish to go straight from cardinals to reals (as ratios), leaving out the rationals [Frege]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
18166 The loss of my Rule V seems to make foundations for arithmetic impossible [Frege]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
18269 Logical objects are extensions of concepts, or ranges of values of functions [Frege]
24. Political Theory / A. Basis of a State / 1. A People / b. The natural life
21075 The state of nature always involves the threat of war [Kant]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
20569 Kant made the social contract international and cosmopolitan [Kant, by Oksala]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / d. General will
21079 The a priori general will of a people shows what is right [Kant]
24. Political Theory / B. Nature of a State / 3. Constitutions
21077 Each nation should, from self-interest, join an international security constitution [Kant]
21078 A constitution must always be improved when necessary [Kant]
25. Social Practice / B. Equalities / 3. Legal equality
21076 Equality is where you cannot impose a legal obligation you yourself wouldn't endure [Kant]
25. Social Practice / C. Rights / 1. Basis of Rights
20570 There is now a growing universal community, and violations of rights are felt everywhere [Kant]
20571 There are political and inter-national rights, but also universal cosmopolitan rights [Kant]
25. Social Practice / E. Policies / 1. War / c. Combatants
21073 Hiring soldiers is to use them as instruments, ignoring their personal rights [Kant]
25. Social Practice / E. Policies / 1. War / e. Peace
21074 Some trust in the enemy is needed during wartime, or peace would be impossible [Kant]