281 ideas
| 7623 | For ancient Greeks being wise was an ethical value [Putnam] |
| 2352 | The job of the philosopher is to distinguish facts about the world from conventions [Putnam] |
| 6782 | Realism is the only philosophy of science that doesn't make the success of science a miracle [Putnam] |
| 6267 | A culture needs to admit that knowledge is more extensive than just 'science' [Putnam] |
| 6272 | 'True' and 'refers' cannot be made scientically precise, but are fundamental to science [Putnam] |
| 10237 | Coherence is a primitive, intuitive notion, not reduced to something formal [Shapiro] |
| 10204 | An 'implicit definition' gives a direct description of the relations of an entity [Shapiro] |
| 6276 | 'The rug is green' might be warrantedly assertible even though the rug is not green [Putnam] |
| 4714 | Putnam's epistemic notion of truth replaces the realism of correspondence with ontological relativism [Putnam, by O'Grady] |
| 6266 | We need the correspondence theory of truth to understand language and science [Putnam] |
| 7617 | Before Kant, all philosophers had a correspondence theory of truth [Putnam] |
| 6277 | Correspondence between concepts and unconceptualised reality is impossible [Putnam] |
| 4716 | The correspondence theory is wrong, because there is no one correspondence between reality and fact [Putnam, by O'Grady] |
| 8828 | Truth is rational acceptability [Putnam] |
| 7616 | Truth is an idealisation of rational acceptability [Putnam] |
| 18951 | For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam] |
| 13634 | Satisfaction is 'truth in a model', which is a model of 'truth' [Shapiro] |
| 6264 | In Tarski's definition, you understand 'true' if you accept the notions of the object language [Putnam] |
| 6265 | Tarski has given a correct account of the formal logic of 'true', but there is more to the concept [Putnam] |
| 6269 | Only Tarski has found a way to define 'true' [Putnam] |
| 2345 | Semantic notions do not occur in Tarski's definitions, but assessing their correctness involves translation [Putnam] |
| 2347 | Asserting the truth of an indexical statement is not the same as uttering the statement [Putnam] |
| 18953 | Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam] |
| 13643 | Aristotelian logic is complete [Shapiro] |
| 18949 | The universal syllogism is now expressed as the transitivity of subclasses [Putnam] |
| 18952 | '⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam] |
| 10206 | Modal operators are usually treated as quantifiers [Shapiro] |
| 18958 | In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam] |
| 13651 | A set is 'transitive' if contains every member of each of its members [Shapiro] |
| 9944 | We understand some statements about all sets [Putnam] |
| 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] |
| 13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
| 9915 | V = L just says all sets are constructible [Putnam] |
| 13631 | Are sets part of logic, or part of mathematics? [Shapiro] |
| 13654 | It is central to the iterative conception that membership is well-founded, with no infinite descending chains [Shapiro] |
| 13640 | Russell's paradox shows that there are classes which are not iterative sets [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] |
| 13627 | There is no 'correct' logic for natural languages [Shapiro] |
| 13642 | Logic is the ideal for learning new propositions on the basis of others [Shapiro] |
| 18954 | Before the late 19th century logic was trivialised by not dealing with relations [Putnam] |
| 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] |
| 13667 | Skolem and Gödel championed first-order, and Zermelo, Hilbert, and Bernays championed higher-order [Shapiro] |
| 18956 | Asserting first-order validity implicitly involves second-order reference to classes [Putnam] |
| 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] |
| 13626 | Semantic consequence is ineffective in second-order logic [Shapiro] |
| 13637 | If a logic is incomplete, its semantic consequence relation is not effective [Shapiro] |
| 10257 | Intuitionism only sanctions modus ponens if all three components are proved [Shapiro] |
| 18962 | Unfashionably, I think logic has an empirical foundation [Putnam] |
| 10253 | Either logic determines objects, or objects determine logic, or they are separate [Shapiro] |
| 10066 | Putnam coined the term 'if-thenism' [Putnam, by Musgrave] |
| 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] |
| 18961 | We can identify functions with certain sets - or identify sets with certain functions [Putnam] |
| 10209 | A function is just an arbitrary correspondence between collections [Shapiro] |
| 17505 | Using proper names properly doesn't involve necessary and sufficient conditions [Putnam] |
| 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] |
| 18955 | Having a valid form doesn't ensure truth, as it may be meaningless [Putnam] |
| 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] |
| 14203 | Intension is not meaning, as 'cube' and 'square-faced polyhedron' are intensionally the same [Putnam] |
| 10240 | Model theory deals with relations, reference and extensions [Shapiro] |
| 13644 | Semantics for models uses set-theory [Shapiro] |
| 10239 | The central notion of model theory is the relation of 'satisfaction' [Shapiro] |
| 13636 | An axiomatization is 'categorical' if its models are isomorphic, so there is really only one interpretation [Shapiro] |
| 14207 | If cats equal cherries, model theory allows reinterpretation of the whole language preserving truth [Putnam] |
| 10214 | Theory ontology is never complete, but is only determined 'up to isomorphism' [Shapiro] |
| 10238 | The set-theoretical hierarchy contains as many isomorphism types as possible [Shapiro] |
| 13670 | Categoricity can't be reached in a first-order language [Shapiro] |
| 10234 | Any theory with an infinite model has a model of every infinite cardinality [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] |
| 10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
| 9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
| 10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
| 10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [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] |
| 10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [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] |
| 10201 | Virtually all of mathematics can be modeled in set theory [Shapiro] |
| 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] |
| 18959 | Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam] |
| 13652 | The 'continuum' is the cardinality of the powerset of a denumerably infinite set [Shapiro] |
| 18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
| 9937 | I do not believe mathematics either has or needs 'foundations' [Putnam] |
| 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] |
| 9939 | It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam] |
| 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] |
| 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] |
| 3663 | How can you contemplate Platonic entities without causal transactions with them? [Putnam] |
| 10244 | Intuition is an outright hindrance to five-dimensional geometry [Shapiro] |
| 9940 | Maybe mathematics is empirical in that we could try to change it [Putnam] |
| 9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
| 10280 | A stone is a position in some pattern, and can be viewed as an object, or as a location [Shapiro] |
| 9941 | Science requires more than consistency of mathematics [Putnam] |
| 18199 | Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam] |
| 8857 | We must quantify over numbers for science; but that commits us to their existence [Putnam] |
| 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] |
| 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] |
| 6280 | Realism is a theory, which explains the convergence of science and the success of language [Putnam] |
| 17644 | Metaphysical realism is committed to there being one ultimate true theory [Putnam] |
| 2349 | Realists believe truth is correspondence, independent of humans, is bivalent, and is unique [Putnam] |
| 9943 | You can't deny a hypothesis a truth-value simply because we may never know it! [Putnam] |
| 22181 | Putnam says anti-realism is a bad explanation of accurate predictions [Putnam, by Okasha] |
| 14214 | If we try to cure the abundance of theories with causal links, this is 'just more theory' [Putnam, by Lewis] |
| 17648 | It is an illusion to think there could be one good scientific theory of reality [Putnam] |
| 14205 | The sentence 'A cat is on a mat' remains always true when 'cat' means cherry and 'mat' means tree [Putnam] |
| 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] |
| 7610 | A fact is simply what it is rational to accept [Putnam] |
| 13638 | Properties are often seen as intensional; equiangular and equilateral are different, despite identity of objects [Shapiro] |
| 10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
| 7618 | Very nominalistic philosophers deny properties, though scientists accept them [Putnam] |
| 18957 | Nominalism only makes sense if it is materialist [Putnam] |
| 2351 | Aristotle says an object (e.g. a lamp) has identity if its parts stay together when it is moved [Putnam] |
| 10272 | The notion of 'object' is at least partially structural and mathematical [Shapiro] |
| 18950 | Physics is full of non-physical entities, such as space-vectors [Putnam] |
| 17643 | Shape is essential relative to 'statue', but not essential relative to 'clay' [Putnam] |
| 10275 | A blurry border is still a border [Shapiro] |
| 11908 | Putnam bases essences on 'same kind', but same kinds may not share properties [Mackie,P on Putnam] |
| 18890 | Putnam smuggles essentialism about liquids into his proof that water must be H2O [Salmon,N on Putnam] |
| 10258 | Logical modalities may be acceptable, because they are reducible to satisfaction in models [Shapiro] |
| 4718 | If necessity is always relative to a description in a language, then there is only 'de dicto' necessity [Putnam, by O'Grady] |
| 10269 | Mathematics eliminates possibility, as being simultaneous actuality in sets [Putnam] |
| 9169 | A statement can be metaphysically necessary and epistemologically contingent [Putnam] |
| 5819 | Conceivability is no proof of possibility [Putnam] |
| 10266 | Why does the 'myth' of possible worlds produce correct modal logic? [Shapiro] |
| 6284 | If a tautology is immune from revision, why would that make it true? [Putnam] |
| 17642 | The old view that sense data are independent of mind is quite dotty [Putnam] |
| 8725 | Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro] |
| 6273 | Knowledge depends on believing others, which must be innate, as inferences are not strong enough [Putnam] |
| 6274 | Empathy may not give knowledge, but it can give plausibility or right opinion [Putnam] |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| 7620 | Some kind of objective 'rightness' is a presupposition of thought itself [Putnam] |
| 18960 | Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam] |
| 17508 | Science aims at truth, not at 'simplicity' [Putnam] |
| 14204 | Naïve operationalism would have meanings change every time the tests change [Putnam] |
| 17084 | You can't decide which explanations are good if you don't attend to the interest-relative aspects [Putnam] |
| 7705 | The Twin Earth theory suggests that intentionality is independent of qualia [Jacquette on Putnam] |
| 10203 | We apprehend small, finite mathematical structures by abstraction from patterns [Shapiro] |
| 2590 | Dispositions need mental terms to define them [Putnam] |
| 3460 | Superactors and superspartans count against behaviourism [Putnam, by Searle] |
| 2591 | Total paralysis would mean that there were mental states but no behaviour at all [Putnam] |
| 2588 | Is pain a functional state of a complete organism? [Putnam] |
| 2589 | Functionalism is compatible with dualism, as pure mind could perform the functions [Putnam] |
| 2592 | Functional states correlate with AND explain pain behaviour [Putnam] |
| 5495 | Instances of pain are physical tokens, but the nature of pain is more abstract [Putnam, by Lycan] |
| 2331 | Functionalism says robots and people are the same at one level of abstraction [Putnam] |
| 2071 | If concepts have external meaning, computational states won't explain psychology [Putnam] |
| 2332 | Functionalism can't explain reference and truth, which are needed for logic [Putnam] |
| 2348 | Is there just one computational state for each specific belief? [Putnam] |
| 2587 | Temperature is mean molecular kinetic energy, but they are two different concepts [Putnam] |
| 2344 | If we are going to eliminate folk psychology, we must also eliminate folk logic [Putnam] |
| 6376 | Neuroscience does not support multiple realisability, and tends to support identity [Polger on Putnam] |
| 2330 | If humans and molluscs both feel pain, it can't be a single biological state [Putnam, by Kim] |
| 2074 | Can we give a scientific, computational account of folk psychology? [Putnam] |
| 7611 | Rationality is one part of our conception of human flourishing [Putnam] |
| 2605 | If everything uses mentalese, ALL concepts must be innate! [Putnam] |
| 2606 | No machine language can express generalisations [Putnam] |
| 4099 | If Twins talking about 'water' and 'XYZ' have different thoughts but identical heads, then thoughts aren't in the head [Putnam, by Crane] |
| 12026 | We say ice and steam are different forms of water, but not that they are different forms of H2O [Forbes,G on Putnam] |
| 3208 | Does 'water' mean a particular substance that was 'dubbed'? [Putnam, by Rey] |
| 14200 | 'Water' on Twin Earth doesn't refer to water, but no mental difference can account for this [Putnam] |
| 2343 | Reference may be different while mental representation is the same [Putnam] |
| 9168 | I can't distinguish elm trees, but I mean by 'elm' the same set of trees as everybody else [Putnam] |
| 5820 | 'Water' has an unnoticed indexical component, referring to stuff around here [Putnam] |
| 7612 | Reference is social not individual, because we defer to experts when referring to elm trees [Putnam] |
| 7613 | Concepts are (at least in part) abilities and not occurrences [Putnam] |
| 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] |
| 10231 | Abstract objects might come by abstraction over an equivalence class of base entities [Shapiro] |
| 6282 | Theory of meaning presupposes theory of understanding and reference [Putnam] |
| 2346 | Meaning and translation (which are needed to define truth) both presuppose the notion of reference [Putnam] |
| 6281 | Truth conditions can't explain understanding a sentence, because that in turn needs explanation [Putnam] |
| 6278 | We should reject the view that truth is prior to meaning [Putnam] |
| 2354 | "Meaning is use" is not a definition of meaning [Putnam] |
| 2336 | Holism seems to make fixed definition more or less impossible [Putnam] |
| 2334 | Meaning holism tried to show that you can't get fixed meanings built out of observation terms [Putnam] |
| 2335 | Understanding a sentence involves background knowledge and can't be done in isolation [Putnam] |
| 6271 | How reference is specified is not what reference is [Putnam] |
| 2340 | We should separate how the reference of 'gold' is fixed from its conceptual content [Putnam] |
| 2341 | Like names, natural kind terms have their meaning fixed by extension and reference [Putnam] |
| 17506 | I now think reference by the tests of experts is a special case of being causally connected [Putnam] |
| 2338 | Reference (say to 'elms') is a social phenomenon which we can leave to experts [Putnam] |
| 14202 | Neither individual nor community mental states fix reference [Putnam] |
| 9170 | We need to recognise the contribution of society and of the world in determining reference [Putnam] |
| 14201 | Maybe the total mental state of a language community fixes the reference of a term [Putnam] |
| 2339 | Aristotle implies that we have the complete concepts of a language in our heads, but we don't [Putnam] |
| 3893 | Often reference determines sense, and not (as Frege thought) vice versa [Putnam, by Scruton] |
| 6268 | The claim that scientific terms are incommensurable can be blocked if scientific terms are not descriptions [Putnam] |
| 5817 | Language is more like a cooperative steamship than an individual hammer [Putnam] |
| 6279 | A private language could work with reference and beliefs, and wouldn't need meaning [Putnam] |
| 6270 | The correct translation is the one that explains the speaker's behaviour [Putnam] |
| 6283 | Language maps the world in many ways (because it maps onto other languages in many ways) [Putnam] |
| 14206 | There are infinitely many interpretations of a sentence which can all seem to be 'correct' [Putnam] |
| 6275 | You can't say 'most speaker's beliefs are true'; in some areas this is not so, and you can't count beliefs [Putnam] |
| 7624 | The word 'inconsiderate' nicely shows the blurring of facts and values [Putnam] |
| 11191 | The hidden structure of a natural kind determines membership in all possible worlds [Putnam] |
| 17507 | Natural kind stereotypes are 'strong' (obvious, like tiger) or 'weak' (obscure, like molybdenum) [Putnam] |
| 11904 | Express natural kinds as a posteriori predicate connections, not as singular terms [Putnam, by Mackie,P] |
| 2342 | "Water" is a natural kind term, but "H2O" is a description [Putnam] |
| 17645 | An alien might think oxygen was the main cause of a forest fire [Putnam] |
| 11192 | If causes are the essence of diseases, then disease is an example of a relational essence [Putnam, by Williams,NE] |
| 11190 | Archimedes meant by 'gold' the hidden structure or essence of the stuff [Putnam] |
| 5818 | If water is H2O in the actual world, there is no possible world where it isn't H2O [Putnam] |