89 ideas
13395 | If an analysis shows the features of a concept, it doesn't seem to 'reduce' the concept [Jubien] |
15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
9967 | 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien] |
13378 | It is a mistake to think that the logic developed for mathematics can clarify language and philosophy [Jubien] |
15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
15409 | All occurrences of variables in atomic formulas are free [Burgess] |
13402 | We only grasp a name if we know whether to apply it when the bearer changes [Jubien] |
13405 | The baptiser picks the bearer of a name, but social use decides the category [Jubien] |
13399 | Examples show that ordinary proper names are not rigid designators [Jubien] |
13398 | We could make a contingent description into a rigid and necessary one by adding 'actual' to it [Jubien] |
15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
13392 | Philosophers reduce complex English kind-quantifiers to the simplistic first-order quantifier [Jubien] |
15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
15412 | Models leave out meaning, and just focus on truth values [Burgess] |
15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
9968 | A model is 'fundamental' if it contains only concrete entities [Jubien] |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
9965 | There couldn't just be one number, such as 17 [Jubien] |
10185 | Set theory is the standard background for modern mathematics [Burgess] |
9966 | The subject-matter of (pure) mathematics is abstract structure [Jubien] |
10184 | Structuralists take the name 'R' of the reals to be a variable ranging over structures, not a structure [Burgess] |
10189 | There is no one relation for the real number 2, as relations differ in different models [Burgess] |
10186 | If set theory is used to define 'structure', we can't define set theory structurally [Burgess] |
10187 | Abstract algebra concerns relations between models, not common features of all the models [Burgess] |
10188 | How can mathematical relations be either internal, or external, or intrinsic? [Burgess] |
9963 | If we all intuited mathematical objects, platonism would be agreed [Jubien] |
9962 | How can pure abstract entities give models to serve as interpretations? [Jubien] |
9964 | Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien] |
13404 | To exist necessarily is to have an essence whose own essence must be instantiated [Jubien] |
13386 | If objects are just conventional, there is no ontological distinction between stuff and things [Jubien] |
13403 | The category of Venus is not 'object', or even 'planet', but a particular class of good-sized object [Jubien] |
11116 | Being a physical object is our most fundamental category [Jubien] |
9969 | The empty set is the purest abstract object [Jubien] |
13375 | The idea that every entity must have identity conditions is an unfortunate misunderstanding [Jubien] |
11117 | Haecceities implausibly have no qualities [Jubien] |
13393 | Any entity has the unique property of being that specific entity [Jubien] |
13388 | It is incoherent to think that a given entity depends on its kind for its existence [Jubien] |
13384 | Objects need conventions for their matter, their temporal possibility, and their spatial possibility [Jubien] |
13385 | Basically, the world doesn't have ready-made 'objects'; we carve objects any way we like [Jubien] |
13383 | If the statue is loved and the clay hated, that is about the object first qua statue, then qua clay [Jubien] |
13400 | If one entity is an object, a statue, and some clay, these come apart in at least three ways [Jubien] |
13401 | The idea of coincident objects is a last resort, as it is opposed to commonsense naturalism [Jubien] |
13380 | Parts seem to matter when it is just an object, but not matter when it is a kind of object [Jubien] |
13376 | We should not regard essentialism as just nontrivial de re necessity [Jubien] |
13381 | Thinking of them as 'ships' the repaired ship is the original, but as 'objects' the reassembly is the original [Jubien] |
13382 | Rearranging the planks as a ship is confusing; we'd say it was the same 'object' with a different arrangement [Jubien] |
13379 | If two objects are indiscernible across spacetime, how could we decide whether or not they are the same? [Jubien] |
15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
13394 | Entailment does not result from mutual necessity; mutual necessity ensures entailment [Jubien] |
15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
11119 | De re necessity is just de dicto necessity about object-essences [Jubien] |
15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
13391 | Modality concerns relations among platonic properties [Jubien] |
13374 | To analyse modality, we must give accounts of objects, properties and relations [Jubien] |
11118 | Modal propositions transcend the concrete, but not the actual [Jubien] |
11108 | Your properties, not some other world, decide your possibilities [Jubien] |
11111 | Modal truths are facts about parts of this world, not about remote maximal entities [Jubien] |
11105 | We have no idea how many 'possible worlds' there might be [Jubien] |
11107 | If there are no other possible worlds, do we then exist necessarily? [Jubien] |
11106 | If all possible worlds just happened to include stars, their existence would be necessary [Jubien] |
11112 | Possible worlds just give parallel contingencies, with no explanation at all of necessity [Jubien] |
11109 | If other worlds exist, then they are scattered parts of the actual world [Jubien] |
11113 | Worlds don't explain necessity; we use necessity to decide on possible worlds [Jubien] |
13389 | The love of possible worlds is part of the dream that technical logic solves philosophical problems [Jubien] |
13390 | Possible worlds don't explain necessity, because they are a bunch of parallel contingencies [Jubien] |
11110 | We mustn't confuse a similar person with the same person [Jubien] |
13396 | Analysing mental concepts points to 'inclusionism' - that mental phenomena are part of the physical [Jubien] |
13377 | First-order logic tilts in favour of the direct reference theory, in its use of constants for objects [Jubien] |