Combining Texts

All the ideas for 'Logical Pluralism', 'The Nature of Existence vol.1' and 'works'

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


50 ideas

3. Truth / A. Truth Problems / 1. Truth
Some truths have true negations [Beall/Restall]
3. Truth / A. Truth Problems / 6. Verisimilitude
Truth does not admit of more and less [Frege]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
A truthmaker is an object which entails a sentence [Beall/Restall]
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
(∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall]
4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
Excluded middle must be true for some situation, not for all situations [Beall/Restall]
It's 'relevantly' valid if all those situations make it true [Beall/Restall]
Relevant logic does not abandon classical logic [Beall/Restall]
Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall]
A doesn't imply A - that would be circular [Beall/Restall]
Relevant logic may reject transitivity [Beall/Restall]
4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Frege did not think of himself as working with sets [Frege, by Hart,WD]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null set is indefensible, because it collects nothing [Frege, by Burge]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall]
Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
The view of logic as knowing a body of truths looks out-of-date [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Frege frequently expressed a contempt for language [Frege, by Dummett]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
The model theory of classical predicate logic is mathematics [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
There are several different consequence relations [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
A sentence follows from others if they always model it [Beall/Restall]
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn]
Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
Frege always, and fatally, neglected the domain of quantification [Dummett on Frege]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge]
Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / d. The Preface paradox
Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge]
Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
Frege's logic showed that there is no concept of being [Frege, by Scruton]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Substance has to exist, with no intrinsic qualities or relations [McTaggart]
9. Objects / F. Identity among Objects / 5. Self-Identity
Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA]
10. Modality / A. Necessity / 3. Types of Necessity
Relevant necessity is always true for some situation (not all situations) [Beall/Restall]
11. Knowledge Aims / A. Knowledge / 2. Understanding
To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge]
14. Science / B. Scientific Theories / 1. Scientific Theory
The building blocks contain the whole contents of a discipline [Frege]
18. Thought / A. Modes of Thought / 6. Judgement / a. Nature of Judgement
Judgement is always predicating a property of a subject [Beall/Restall]
18. Thought / E. Abstraction / 8. Abstractionism Critique
Frege said concepts were abstract entities, not mental entities [Frege, by Putnam]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A]
19. Language / C. Assigning Meanings / 5. Fregean Semantics
Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A]
'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A]
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall]
19. Language / D. Propositions / 1. Propositions
Propositions commit to content, and not to any way of spelling it out [Beall/Restall]
19. Language / E. Analyticity / 1. Analytic Propositions
'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner]
19. Language / E. Analyticity / 2. Analytic Truths
Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA]