341 ideas
9414 | Metaphysics is the mapping of possibilities [Lowe, by Mumford] |
16414 | Science needs metaphysics to weed out its presuppositions [Lowe, by Hofweber] |
13917 | Metaphysics aims to identify categories of being, and show their interdependency [Lowe] |
4194 | Metaphysics is concerned with the fundamental structure of reality as a whole [Lowe] |
8282 | Only metaphysics can decide whether identity survives through change [Lowe] |
16127 | Metaphysics tells us what there could be, rather than what there is [Lowe] |
4214 | Maybe such concepts as causation, identity and existence are primitive and irreducible [Lowe] |
13919 | Philosophy aims not at the 'analysis of concepts', but at understanding the essences of things [Lowe] |
4222 | If all that exists is what is being measured, what about the people and instruments doing the measuring? [Lowe] |
10237 | Coherence is a primitive, intuitive notion, not reduced to something formal [Shapiro] |
4217 | It is more extravagant, in general, to revise one's logic than to augment one's ontology [Lowe] |
16539 | A definition of a circle will show what it is, and show its generating principle [Lowe] |
16540 | Defining an ellipse by conic sections reveals necessities, but not the essence of an ellipse [Lowe] |
16548 | An essence is what an entity is, revealed by a real definition; this is not an entity in its own right [Lowe] |
10204 | An 'implicit definition' gives a direct description of the relations of an entity [Shapiro] |
16549 | Simple things like 'red' can be given real ostensive definitions [Lowe] |
8262 | How can a theory of meaning show the ontological commitments of two paraphrases of one idea? [Lowe] |
18351 | Propositions are made true, in virtue of something which explains its truth [Lowe] |
8315 | Maybe facts are just true propositions [Lowe] |
8319 | One-to-one correspondence would need countable, individuable items [Lowe] |
13634 | Satisfaction is 'truth in a model', which is a model of 'truth' [Shapiro] |
13643 | Aristotelian logic is complete [Shapiro] |
10206 | Modal operators are usually treated as quantifiers [Shapiro] |
8309 | A set is a 'number of things', not a 'collection', because nothing actually collects the members [Lowe] |
13651 | A set is 'transitive' if contains every member of each of its members [Shapiro] |
8322 | I don't believe in the empty set, because (lacking members) it lacks identity-conditions [Lowe] |
13647 | Choice is essential for proving downward Löwenheim-Skolem [Shapiro] |
10208 | Axiom of Choice: some function has a value for every set in a given set [Shapiro] |
10252 | The Axiom of Choice seems to license an infinite amount of choosing [Shapiro] |
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
13631 | Are sets part of logic, or part of mathematics? [Shapiro] |
13640 | Russell's paradox shows that there are classes which are not iterative sets [Shapiro] |
13654 | It is central to the iterative conception that membership is well-founded, with no infinite descending chains [Shapiro] |
13666 | Iterative sets are not Boolean; the complement of an iterative set is not an iterative sets [Shapiro] |
13653 | 'Well-ordering' of a set is an irreflexive, transitive, and binary relation with a least element [Shapiro] |
10207 | Anti-realists reject set theory [Shapiro] |
13642 | Logic is the ideal for learning new propositions on the basis of others [Shapiro] |
13627 | There is no 'correct' logic for natural languages [Shapiro] |
13667 | Skolem and Gödel championed first-order, and Zermelo, Hilbert, and Bernays championed higher-order [Shapiro] |
13668 | Bernays (1918) formulated and proved the completeness of propositional logic [Shapiro] |
13669 | Can one develop set theory first, then derive numbers, or are numbers more basic? [Shapiro] |
13662 | First-order logic was an afterthought in the development of modern logic [Shapiro] |
13624 | The 'triumph' of first-order logic may be related to logicism and the Hilbert programme, which failed [Shapiro] |
13660 | Maybe compactness, semantic effectiveness, and the Löwenheim-Skolem properties are desirable [Shapiro] |
13673 | The notion of finitude is actually built into first-order languages [Shapiro] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
15944 | Second-order logic is better than set theory, since it only adds relations and operations, and nothing else [Shapiro, by Lavine] |
13629 | Broad standard semantics, or Henkin semantics with a subclass, or many-sorted first-order semantics? [Shapiro] |
13650 | Henkin semantics has separate variables ranging over the relations and over the functions [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
13645 | In standard semantics for second-order logic, a single domain fixes the ranges for the variables [Shapiro] |
13649 | Completeness, Compactness and Löwenheim-Skolem fail in second-order standard semantics [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
10259 | The two standard explanations of consequence are semantic (in models) and deductive [Shapiro] |
13637 | If a logic is incomplete, its semantic consequence relation is not effective [Shapiro] |
13626 | Semantic consequence is ineffective in second-order logic [Shapiro] |
10257 | Intuitionism only sanctions modus ponens if all three components are proved [Shapiro] |
10253 | Either logic determines objects, or objects determine logic, or they are separate [Shapiro] |
10251 | The law of excluded middle might be seen as a principle of omniscience [Shapiro] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
13632 | Finding the logical form of a sentence is difficult, and there are no criteria of correctness [Shapiro] |
10212 | Classical connectives differ from their ordinary language counterparts; '∧' is timeless, unlike 'and' [Shapiro] |
10209 | A function is just an arbitrary correspondence between collections [Shapiro] |
8312 | It is better if the existential quantifier refers to 'something', rather than a 'thing' which needs individuation [Lowe] |
13674 | We might reduce ontology by using truth of sentences and terms, instead of using objects satisfying models [Shapiro] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10268 | Maybe plural quantifiers should be understood in terms of classes or sets [Shapiro] |
6653 | Syntactical methods of proof need only structure, where semantic methods (truth-tables) need truth [Lowe] |
13633 | 'Satisfaction' is a function from models, assignments, and formulas to {true,false} [Shapiro] |
10235 | A sentence is 'satisfiable' if it has a model [Shapiro] |
10239 | The central notion of model theory is the relation of 'satisfaction' [Shapiro] |
10240 | Model theory deals with relations, reference and extensions [Shapiro] |
13644 | Semantics for models uses set-theory [Shapiro] |
13670 | Categoricity can't be reached in a first-order language [Shapiro] |
10238 | The set-theoretical hierarchy contains as many isomorphism types as possible [Shapiro] |
13636 | An axiomatization is 'categorical' if its models are isomorphic, so there is really only one interpretation [Shapiro] |
10214 | Theory ontology is never complete, but is only determined 'up to isomorphism' [Shapiro] |
13648 | The Löwenheim-Skolem theorems show an explosion of infinite models, so 1st-order is useless for infinity [Shapiro] |
13675 | Substitutional semantics only has countably many terms, so Upward Löwenheim-Skolem trivially fails [Shapiro] |
10234 | Any theory with an infinite model has a model of every infinite cardinality [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
13658 | Downward Löwenheim-Skolem: each satisfiable countable set always has countable models [Shapiro] |
13659 | Upward Löwenheim-Skolem: each infinite model has infinite models of all sizes [Shapiro] |
13635 | 'Weakly sound' if every theorem is a logical truth; 'sound' if every deduction is a semantic consequence [Shapiro] |
13628 | We can live well without completeness in logic [Shapiro] |
13630 | Non-compactness is a strength of second-order logic, enabling characterisation of infinite structures [Shapiro] |
13646 | Compactness is derived from soundness and completeness [Shapiro] |
13661 | A language is 'semantically effective' if its logical truths are recursively enumerable [Shapiro] |
4229 | An infinite series of tasks can't be completed because it has no last member [Lowe] |
10201 | Virtually all of mathematics can be modeled in set theory [Shapiro] |
4240 | It might be argued that mathematics does not, or should not, aim at truth [Lowe] |
13641 | Complex numbers can be defined as reals, which are defined as rationals, then integers, then naturals [Shapiro] |
8763 | The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro] |
13676 | Only higher-order languages can specify that 0,1,2,... are all the natural numbers that there are [Shapiro] |
13677 | Natural numbers are the finite ordinals, and integers are equivalence classes of pairs of finite ordinals [Shapiro] |
10213 | Real numbers are thought of as either Cauchy sequences or Dedekind cuts [Shapiro] |
18243 | Understanding the real-number structure is knowing usage of the axiomatic language of analysis [Shapiro] |
18249 | Cauchy gave a formal definition of a converging sequence. [Shapiro] |
18245 | Cuts are made by the smallest upper or largest lower number, some of them not rational [Shapiro] |
13652 | The 'continuum' is the cardinality of the powerset of a denumerably infinite set [Shapiro] |
10236 | There is no grounding for mathematics that is more secure than mathematics [Shapiro] |
8764 | Categories are the best foundation for mathematics [Shapiro] |
10256 | For intuitionists, proof is inherently informal [Shapiro] |
13657 | First-order arithmetic can't even represent basic number theory [Shapiro] |
10202 | Natural numbers just need an initial object, successors, and an induction principle [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
10205 | Mathematics originally concerned the continuous (geometry) and the discrete (arithmetic) [Shapiro] |
8297 | Numbers are universals, being sets whose instances are sets of appropriate cardinality [Lowe] |
8266 | Simple counting is more basic than spotting that one-to-one correlation makes sets equinumerous [Lowe] |
8302 | Fs and Gs are identical in number if they one-to-one correlate with one another [Lowe] |
8762 | Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro] |
13656 | Some sets of natural numbers are definable in set-theory but not in arithmetic [Shapiro] |
10222 | Mathematical foundations may not be sets; categories are a popular rival [Shapiro] |
10218 | Baseball positions and chess pieces depend entirely on context [Shapiro] |
10224 | The even numbers have the natural-number structure, with 6 playing the role of 3 [Shapiro] |
10228 | Could infinite structures be apprehended by pattern recognition? [Shapiro] |
10230 | The 4-pattern is the structure common to all collections of four objects [Shapiro] |
10249 | The main mathematical structures are algebraic, ordered, and topological [Shapiro] |
10273 | Some structures are exemplified by both abstract and concrete [Shapiro] |
10276 | Mathematical structures are defined by axioms, or in set theory [Shapiro] |
8760 | Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro] |
8761 | A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro] |
10270 | The main versions of structuralism are all definitionally equivalent [Shapiro] |
10221 | Is there is no more to structures than the systems that exemplify them? [Shapiro] |
10248 | Number statements are generalizations about number sequences, and are bound variables [Shapiro] |
10220 | Because one structure exemplifies several systems, a structure is a one-over-many [Shapiro] |
10223 | There is no 'structure of all structures', just as there is no set of all sets [Shapiro] |
8703 | Shapiro's structuralism says model theory (comparing structures) is the essence of mathematics [Shapiro, by Friend] |
10274 | Does someone using small numbers really need to know the infinite structure of arithmetic? [Shapiro] |
10200 | We distinguish realism 'in ontology' (for objects), and 'in truth-value' (for being either true or false) [Shapiro] |
10210 | If mathematical objects are accepted, then a number of standard principles will follow [Shapiro] |
10215 | Platonists claim we can state the essence of a number without reference to the others [Shapiro] |
10233 | Platonism must accept that the Peano Axioms could all be false [Shapiro] |
8298 | Sets are instances of numbers (rather than 'collections'); numbers explain sets, not vice versa [Lowe] |
8311 | If 2 is a particular, then adding particulars to themselves does nothing, and 2+2=2 [Lowe] |
4241 | If there are infinite numbers and finite concrete objects, this implies that numbers are abstract objects [Lowe] |
8310 | Does the existence of numbers matter, in the way space, time and persons do? [Lowe] |
10244 | Intuition is an outright hindrance to five-dimensional geometry [Shapiro] |
10280 | A stone is a position in some pattern, and can be viewed as an object, or as a location [Shapiro] |
13664 | Logicism is distinctive in seeking a universal language, and denying that logic is a series of abstractions [Shapiro] |
13625 | Mathematics and logic have no border, and logic must involve mathematics and its ontology [Shapiro] |
8744 | Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro] |
8749 | Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro] |
8750 | Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro] |
8752 | Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro] |
10254 | Can the ideal constructor also destroy objects? [Shapiro] |
10255 | Presumably nothing can block a possible dynamic operation? [Shapiro] |
8753 | Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro] |
8731 | Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro] |
13663 | Some reject formal properties if they are not defined, or defined impredicatively [Shapiro] |
8730 | 'Impredicative' definitions refer to the thing being described [Shapiro] |
10279 | Can we discover whether a deck is fifty-two cards, or a person is time-slices or molecules? [Shapiro] |
8321 | All possible worlds contain abstracta (e.g. numbers), which means they contain concrete objects [Lowe] |
4239 | Nominalists deny abstract objects, because we can have no reason to believe in their existence [Lowe] |
8300 | Perhaps possession of causal power is the hallmark of existence (and a reason to deny the void) [Lowe] |
4202 | Change can be of composition (the component parts), or quality (properties), or substance [Lowe] |
15541 | Maybe particles are unchanging, and intrinsic change in things is their rearrangement [Lowe, by Lewis] |
8281 | Heraclitus says change is new creation, and Spinoza that it is just phases of the one substance [Lowe] |
4201 | Four theories of qualitative change are 'a is F now', or 'a is F-at-t', or 'a-at-t is F', or 'a is-at-t F' [Lowe, by PG] |
8270 | Events are changes or non-changes in properties and relations of persisting objects [Lowe] |
4219 | Numerically distinct events of the same kind (like two battles) can coincide in space and time [Lowe] |
4221 | Maybe modern physics requires an event-ontology, rather than a thing-ontology [Lowe] |
8308 | Events are ontologically indispensable for singular causal explanations [Lowe] |
4220 | Maybe an event is the exemplification of a property at a time [Lowe] |
4225 | Events are changes in the properties of or relations between things [Lowe] |
10227 | The abstract/concrete boundary now seems blurred, and would need a defence [Shapiro] |
10226 | Mathematicians regard arithmetic as concrete, and group theory as abstract [Shapiro] |
10262 | Fictionalism eschews the abstract, but it still needs the possible (without model theory) [Shapiro] |
10277 | Structuralism blurs the distinction between mathematical and ordinary objects [Shapiro] |
8314 | Are facts wholly abstract, or can they contain some concrete constituents? [Lowe] |
8316 | Facts cannot be wholly abstract if they enter into causal relations [Lowe] |
8318 | The problem with the structured complex view of facts is what binds the constituents [Lowe] |
8323 | It is whimsical to try to count facts - how many facts did I learn before breakfast? [Lowe] |
8313 | Facts are needed for truth-making and causation, but they seem to lack identity criteria [Lowe] |
8258 | Two of the main rivals for the foundations of ontology are substances, and facts or states-of-affairs [Lowe] |
8301 | Some abstractions exist despite lacking causal powers, because explanation needs them [Lowe] |
8283 | Ontological categories are not natural kinds: the latter can only be distinguished using the former [Lowe] |
8284 | The top division of categories is either abstract/concrete, or universal/particular, or necessary/contingent [Lowe] |
13122 | Lowe divides things into universals and particulars, then kinds and properties, and abstract/concrete [Lowe, by Westerhoff] |
4196 | The main categories of existence are either universal and particular, or abstract and concrete [Lowe] |
18353 | Modes are beings that are related both to substances and to universals [Lowe] |
13638 | Properties are often seen as intensional; equiangular and equilateral are different, despite identity of objects [Shapiro] |
8273 | Is 'the Thames is broad in London' relational, or adverbial, or segmental? [Lowe] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
8285 | I prefer 'modes' to 'tropes', because it emphasises their dependence [Lowe] |
4234 | Trope theory says blueness is a real feature of objects, but not the same as an identical blue found elsewhere [Lowe] |
4235 | Maybe a cushion is just a bundle of tropes, such as roundness, blueness and softness [Lowe] |
4236 | Tropes seem to be abstract entities, because they can't exist alone, but must come in bundles [Lowe] |
8286 | Tropes cannot have clear identity-conditions, so they are not objects [Lowe] |
8294 | How can tropes depend on objects for their identity, if objects are just bundles of tropes? [Lowe] |
8295 | Why cannot a trope float off and join another bundle? [Lowe] |
8296 | Does a ball snug in plaster have one trope, or two which coincide? [Lowe] |
18352 | Tropes have existence independently of any entities [Lowe] |
8288 | Sortal terms for universals involve a substance, whereas adjectival terms do not [Lowe] |
4197 | The category of universals can be sub-divided into properties and relations [Lowe] |
8293 | Real universals are needed to explain laws of nature [Lowe] |
8307 | Particulars are instantiations, and universals are instantiables [Lowe] |
4232 | Nominalists believe that only particulars exist [Lowe] |
7720 | Two things can only resemble one another in some respect, and that may reintroduce a universal [Lowe] |
4205 | 'Is non-self-exemplifying' is a predicate which cannot denote a property (as it would be a contradiction) [Lowe] |
8967 | Not all predicates can be properties - 'is non-self-exemplifying', for example [Lowe] |
4233 | If 'blueness' is a set of particulars, there is danger of circularity, or using universals, in identifying the set [Lowe] |
10272 | The notion of 'object' is at least partially structural and mathematical [Shapiro] |
8267 | Perhaps concrete objects are entities which are in space-time and subject to causality [Lowe] |
8265 | Our commitment to the existence of objects should depend on their explanatory value [Lowe] |
8275 | Objects are entities with full identity-conditions, but there are entities other than objects [Lowe] |
16130 | To be an object at all requires identity-conditions [Lowe] |
7783 | Bodies, properties, relations, events, numbers, sets and propositions are 'things' if they exist [Lowe] |
8263 | An object is an entity which has identity-conditions [Lowe] |
8965 | Neither mere matter nor pure form can individuate a sphere, so it must be a combination [Lowe] |
8268 | Some things (such as electrons) can be countable, while lacking proper identity [Lowe] |
8303 | Criteria of identity cannot individuate objects, because they are shared among different types [Lowe] |
8292 | Diversity of two tigers is their difference in space-time; difference of matter is a consequence [Lowe] |
8291 | Individuation principles identify what kind it is; identity criteria distinguish items of the same kind [Lowe] |
4206 | Conventionalists see the world as an amorphous lump without identities, but are we part of the lump? [Lowe] |
16128 | A 'substance' is an object which doesn't depend for existence on other objects [Lowe] |
7712 | On substances, Leibniz emphasises unity, Spinoza independence, Locke relations to qualities [Lowe] |
4204 | Statues can't survive much change to their shape, unlike lumps of bronze, which must retain material [Lowe] |
16545 | The essence of lumps and statues shows that two objects coincide but are numerically distinct [Lowe] |
16546 | The essence of a bronze statue shows that it could be made of different bronze [Lowe] |
13918 | Holes, shadows and spots of light can coincide without being identical [Lowe] |
10275 | A blurry border is still a border [Shapiro] |
8279 | The identity of composite objects isn't fixed by original composition, because how do you identify the origin? [Lowe] |
16551 | Grasping an essence is just grasping a real definition [Lowe] |
13921 | All things must have an essence (a 'what it is'), or we would be unable to think about them [Lowe] |
16542 | Explanation can't give an account of essence, because it is too multi-faceted [Lowe] |
13922 | Knowing an essence is just knowing what the thing is, not knowing some further thing [Lowe] |
16552 | If we must know some entity to know an essence, we lack a faculty to do that [Lowe] |
6618 | A 'substance' is a thing that remains the same when its properties change [Lowe] |
8271 | An object 'endures' if it is always wholly present, and 'perdures' if different parts exist at different times [Lowe] |
8272 | How can you identify temporal parts of tomatoes without referring to tomatoes? [Lowe] |
4198 | If 5% replacement preserves a ship, we can replace 4% and 4% again, and still retain the ship [Lowe] |
4199 | A renovation or a reconstruction of an original ship would be accepted, as long as the other one didn't exist [Lowe] |
4200 | If old parts are stored and then appropriated, they are no longer part of the original (which is the renovated ship). [Lowe] |
8305 | A clear idea of the kind of an object must precede a criterion of identity for it [Lowe] |
8290 | One view is that two objects of the same type are only distinguished by differing in matter [Lowe] |
13920 | Each thing has to be of a general kind, because it belongs to some category [Lowe] |
4203 | Identity of Indiscernibles (same properties, same thing) ) is not Leibniz's Law (same thing, same properties) [Lowe] |
15079 | 'Conceptual' necessity is narrow logical necessity, true because of concepts and logical laws [Lowe] |
16533 | Logical necessities, based on laws of logic, are a proper sub-class of metaphysical necessities [Lowe] |
16063 | Metaphysical necessity is logical necessity 'broadly construed' [Lowe, by Lynch/Glasgow] |
16531 | 'Metaphysical' necessity is absolute and objective - the strongest kind of necessity [Lowe] |
10258 | Logical modalities may be acceptable, because they are reducible to satisfaction in models [Shapiro] |
8260 | Logical necessity can be 'strict' (laws), or 'narrow' (laws and definitions), or 'broad' (all logical worlds) [Lowe] |
16131 | The metaphysically possible is what acceptable principles and categories will permit [Lowe] |
4195 | It is impossible to reach a valid false conclusion from true premises, so reason itself depends on possibility [Lowe] |
16532 | 'Epistemic' necessity is better called 'certainty' [Lowe] |
16543 | If an essence implies p, then p is an essential truth, and hence metaphysically necessary [Lowe] |
16544 | Metaphysical necessity is either an essential truth, or rests on essential truths [Lowe] |
10266 | Why does the 'myth' of possible worlds produce correct modal logic? [Shapiro] |
4207 | We might eliminate 'possible' and 'necessary' in favour of quantification over possible worlds [Lowe] |
8320 | Does every abstract possible world exist in every possible world? [Lowe] |
16538 | We could give up possible worlds if we based necessity on essences [Lowe] |
6635 | Causal theories of belief make all beliefs true, and can't explain belief about the future [Lowe] |
6619 | Perhaps 'I' no more refers than the 'it' in 'it is raining' [Lowe] |
6643 | 'Ecological' approaches say we don't infer information, but pick it up directly from reality [Lowe] |
8280 | While space may just be appearance, time and change can't be, because the appearances change [Lowe] |
8276 | Properties or qualities are essentially adjectival, not objectual [Lowe] |
6638 | One must be able to visually recognise a table, as well as knowing its form [Lowe] |
6644 | Computationalists object that the 'ecological' approach can't tell us how we get the information [Lowe] |
6647 | Comparing shapes is proportional in time to the angle of rotation [Lowe] |
6639 | The 'disjunctive' theory of perception says true perceptions and hallucinations need have nothing in common [Lowe] |
7710 | Perception is a mode of belief-acquisition, and does not involve sensation [Lowe] |
7711 | Science requires a causal theory - perception of an object must be an experience caused by the object [Lowe] |
6640 | A causal theorist can be a direct realist, if all objects of perception are external [Lowe] |
6645 | If blindsight shows we don't need perceptual experiences, the causal theory is wrong [Lowe] |
6637 | How could one paraphrase very complex sense-data reports adverbially? [Lowe] |
8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
16534 | 'Intuitions' are just unreliable 'hunches'; over centuries intuitions change enormously [Lowe] |
6667 | There are memories of facts, memories of practical skills, and autobiographical memory [Lowe] |
6642 | Psychologists say illusions only occur in unnatural and passive situations [Lowe] |
4223 | Unfalsifiability may be a failure in an empirical theory, but it is a virtue in metaphysics [Lowe] |
7296 | 'Grue' is not a colour [Milsted] |
8968 | If the flagpole causally explains the shadow, the shadow cannot explain the flagpole [Lowe] |
4193 | The behaviour of persons and social groups seems to need rational rather than causal explanation [Lowe] |
6641 | Externalists say minds depend on environment for their very existence and identity [Lowe] |
6617 | The main questions are: is mind distinct from body, and does it have unique properties? [Lowe] |
6626 | 'Phenomenal' consciousness is of qualities; 'apperceptive' consciousness includes beliefs and desires [Lowe] |
6646 | The brain may have two systems for vision, with only the older one intact in blindsight [Lowe] |
10203 | We apprehend small, finite mathematical structures by abstraction from patterns [Shapiro] |
8966 | Properties are facets of objects, only discussable separately by an act of abstraction [Lowe] |
6665 | Persons are selves - subjects of experience, with reflexive self-knowledge [Lowe] |
6670 | If my brain could survive on its own, I cannot be identical with my whole body [Lowe] |
6671 | It seems impossible to get generally applicable mental concepts from self-observation [Lowe] |
7714 | Personal identity is a problem across time (diachronic) and at an instant (synchronic) [Lowe] |
6666 | All human languages have an equivalent of the word 'I' [Lowe] |
8289 | The idea that Cartesian souls are made of some ghostly 'immaterial' stuff is quite unwarranted [Lowe] |
6625 | If qualia are causally inert, how can we even know about them? [Lowe] |
6621 | You can only identify behaviour by ascribing belief, so the behaviour can't explain the belief [Lowe] |
6654 | A computer program is equivalent to the person AND the manual [Lowe] |
6623 | Functionalism can't distinguish our experiences in spectrum inversion [Lowe] |
6628 | Functionalism only discusses relational properties of mental states, not intrinsic properties [Lowe] |
6629 | Functionalism commits us to bizarre possibilities, such as 'zombies' [Lowe] |
6622 | Non-reductive physicalism accepts token-token identity (not type-type) and asserts 'supervenience' of mind and brain [Lowe] |
6634 | Physicalists must believe in narrow content (because thoughts are merely the brain states) [Lowe] |
6630 | Eliminativism is incoherent if it eliminates reason and truth as well as propositional attitudes [Lowe] |
6648 | Some behaviourists believe thought is just suppressed speech [Lowe] |
6652 | 'Base rate neglect' makes people favour the evidence over its background [Lowe] |
6651 | People are wildly inaccurate in estimating probabilities about an observed event [Lowe] |
7715 | Mentalese isn't a language, because it isn't conventional, or a means of public communication [Lowe] |
6655 | The 'Frame Problem' is how to program the appropriate application of general knowledge [Lowe] |
6657 | Computers can't be rational, because they lack motivation and curiosity [Lowe] |
6656 | The Turing test is too behaviourist, and too verbal in its methods [Lowe] |
6636 | The naturalistic views of how content is created are the causal theory and the teleological theory [Lowe] |
6633 | Twin Earth cases imply that even beliefs about kinds of stuff are indexical [Lowe] |
16535 | A concept is a way of thinking of things or kinds, whether or not they exist [Lowe] |
8299 | Abstractions are non-spatial, or dependent, or derived from concepts [Lowe] |
10229 | Simple types can be apprehended through their tokens, via abstraction [Shapiro] |
9626 | A structure is an abstraction, focussing on relationships, and ignoring other features [Shapiro] |
10217 | We can apprehend structures by focusing on or ignoring features of patterns [Shapiro] |
9554 | We can focus on relations between objects (like baseballers), ignoring their other features [Shapiro] |
4237 | Concrete and abstract objects are distinct because the former have causal powers and relations [Lowe] |
4238 | The centre of mass of the solar system is a non-causal abstract object, despite having a location [Lowe] |
8306 | You can think of a direction without a line, but a direction existing with no lines is inconceivable [Lowe] |
10231 | Abstract objects might come by abstraction over an equivalence class of base entities [Shapiro] |
7722 | If meaning is mental pictures, explain "the cat (or dog!) is NOT on the mat" [Lowe] |
16550 | Direct reference doesn't seem to require that thinkers know what it is they are thinking about [Lowe] |
6632 | The same proposition provides contents for the that-clause of an utterance and a belief [Lowe] |
6631 | If propositions are abstract entities, how can minds depend on their causal powers? [Lowe] |
6659 | The three main theories of action involve the will, or belief-plus-desire, or an agent [Lowe] |
6661 | Libet gives empirical support for the will, as a kind of 'executive' mental operation [Lowe] |
6662 | We feel belief and desire as reasons for choice, not causes of choice [Lowe] |
6663 | People's actions are explained either by their motives, or their reasons, or the causes [Lowe] |
4210 | If the concept of a cause says it precedes its effect, that rules out backward causation by definition [Lowe] |
4215 | It seems proper to say that only substances (rather than events) have causal powers [Lowe] |
4209 | The theories of fact causation and event causation are both worth serious consideration [Lowe] |
8317 | To cite facts as the elements in causation is to confuse states of affairs with states of objects [Lowe] |
4211 | Causal overdetermination is either actual overdetermination, or pre-emption, or the fail-safe case [Lowe] |
4213 | Causation may be instances of laws (seen either as constant conjunctions, or as necessities) [Lowe] |
4212 | Hume showed that causation could at most be natural necessity, never metaphysical necessity [Lowe] |
14581 | The normative view says laws show the natural behaviour of natural kind members [Lowe, by Mumford/Anjum] |
16547 | H2O isn't necessary, because different laws of nature might affect how O and H combine [Lowe] |
4208 | 'If he wasn't born he wouldn't have died' doesn't mean birth causes death, so causation isn't counterfactual [Lowe] |
4224 | If motion is change of distance between objects, it involves no intrinsic change in the objects [Lowe] |
8269 | Points are limits of parts of space, so parts of space cannot be aggregates of them [Lowe] |
4227 | Surfaces, lines and points are not, strictly speaking, parts of space, but 'limits', which are abstract [Lowe] |
4228 | If space is entirely relational, what makes a boundary, or a place unoccupied by physical objects? [Lowe] |