{"collection":"philosophy-ethics","full_text_available":true,"graph_url":"https://unchartedknowledge.5gfusion.net/v2/api/page/wikisource_Tractatus_Logico_Philosophicus_Index/graph","html_url":"https://unchartedknowledge.5gfusion.net/v2/page/wikisource_Tractatus_Logico_Philosophicus_Index","id":"wikisource_Tractatus_Logico_Philosophicus_Index","license":"Public Domain / CC-BY-SA (see source)","rights_basis":"wikisource_site_inclusion_policy","source":"wikisource","source_url":"https://en.wikisource.org/wiki/Tractatus_Logico-Philosophicus/Index","summary":null,"tags":["Pages_using_automatic_headers","Subpages"],"text":"INDEX\n\n(Note\u00a0: Numbers in parentheses refer to paragraphs. Thus\n\"6.211 (2)\" indicates the second paragraph of section 6.211.)\n\nA priori\n\nall inference is, 5.133\nalways proves to be something logical, 6.3211\ncriterion of such a thought, 3.04\ngeometry is, 6.35 (1)\nintuitions, scientific principles as, 6.34\nno part of experience is, 5.634\npossibility of a logical form as, 6.33\nwhat logic's being, consists in, 5.4731\nAccident, none in logic, 2.012\n\nAesthetics, 6.421 (3)\n\nAffirmation, logical property of, 6.231 (1)\n\nAlphabet, 4.016 (2)\n\nAmbiguity, of \"property\" and other words, 4.123 (3)\n\nAnalysis of propositions, 2.0201, 3.201, 3.25, 4.221 (1)\n\n\"Ambulo,\" a composite proposition, 4.032 (2)\n\nAnalytical propositions, 6.11\n\nApplication, successive\n\ndefined, 5.2521 (1)\nequivalent to \"and so on\", 5.2523\nArgument\n\nfunction cannot be its own, 3.333 (1)\nplaces, and generality, 4.0411 (2)\nAssertion\n\nand deducibility, 5.124 (1)\ncannot give a sense, 4.064\nAssertion sign, meaningless, 4.442 (2)\n\nAtomic facts (Sachverhalt)\n\nare combinations of things, 2.01, 2.03\nare mutually independent, 2.061, 2.062, 4.27 (2)\nnumber of combinations of, 4.27 (1)\npossible infinity of, 4.2211\npossibility of, 2.012, 2.0124\npossibility of occurrence of things in, 2.0121 (2)\nrelation to elementary propositions, 4.21, 4.25\nrelation to facts, 2\nrelation to propositions, 4.1\nstructure of, 2.032\nAxiom of Infinity, 5.535 (2, 3)\n\nAxiom of Reducibility, 6.1232, 6.1233\n\nBrackets, their importance, 5.461\n\nCalculation\n\nnot an experiment, 6.2331 (2)\nof logical properties of symbols, 6.126 (i) Case, the (der Fall)\nand substance, 2.024\nand the world, 1\nequated with fact, 2\nis existence of atomic facts, 2\nCausality: no causal nexus, 5.136. 5.1361\n\nCausality, law of\n\nas limit of the describable, 6.362\ncannot be said, 6.36 (2)\nis form of a law, 6.32, 6.321, 6.361\nCertainty\n\nas limiting case of probability, 5.152 (3)\nof truth of tautology, 4.464 (1)\nopposed to possibility and impossibility, 4.464 (2)\nClarity: everything can be said and thought clearly, 4. 116\n\nClasses, theory of, superfluous in mathematics, 6.031 (1)\n\nColloquial language. See Ordinary language\n\nColour\n\na form of objects, 2.0251\nlogical structure of, 6.3751\n\"Complex,\" a formal concept, 4.1272 (7, 8)\n\nComplexes\n\nand definition, 3.24 (4)\ngiven only by descriptions, 324 (2)\nhow perceived, 5.5423\npropositions about, in internal relation to a statement about constituents, 3.24 (1)\nstatements about, analysable, 2.0201\nConfiguration of objects, 2.0272, 3.21. (See also Structure)\n\nConstant\u00a0: expression as, 3.312 (2)\n\nContradiction. (See also Denial)\n\ndefined, 4.46 (4)\nlimiting case of combination of symbols, 4.466 (4)\nnot a picture of reality, 4.462\nshared by propositions, 5.143\nCorrespondence\n\nbetween objects and picture elements, 2.13\nof configuration of simple signs and objects, 3.21\nDarwinian theory, irrelevant to philosophy, 4.1122\n\nDeath, 6.431, 6.4311\n\nDeducibility\n\nand identity, 5. 141\nand obviousness, 5.1363\nand relative content, 5.14\nand structure, 5.13\nrelation to form, illustrated, 5.1311 (1)\nDefinition\n\nas analysis, 3.26\nas rule of translation, 3.343\neffect upon signification, 3.261 (1)\nhow symbolized, 4.241 (3)\nof a symbol for a complex, 3.24 (4)\n'complete analysis' (of proposition), 3.201\nof 'contradiction', 4.46 (4)\nof 'expression', 3.31 (1)\nof 'feature', 4.1221\nof 'form', 2.033\nof 'form of an object', 2.0141\nof 'form of representation', 2.151\nof 'formal concept', 4.126 (1)\nof 'formal series', 4.1252 (1)\nof 'independent propositions', 5.152 (1)\nof 'logical picture', 2.181\nof 'logical place', 3.41\nof 'measure of probability', 515\nof 'name', 3.202\nof negation ' (in sense of simultaneous denial), 5.5\nof 'number', 6.022 (2)\nof numbers, 6.02\nof 'operation', 5.23\nof 'propositional sign', 3.12\nof ' propositional variable', 3.313 (3)\nof 'range', 4.463\nof 'sign', 3.32\nof 'simple sign', 3.201\nof 'structure' (of atomic facts) 2.032\nof 'successive application', 5.2521 (1)\nof 'successor', 4.1252 (4)\nof 'tautology', 4.46 (4)\nof 'truth-grounds', 5.101 (2)\nof 'truth-operations', 5.234\nof 'truth-possibilities', 4.3\nonly an expedient in presentation, 4.242\nrules for, 5.451 (2)\nDenial\n\nas determining logical place, 4.0641\nby means of what is common to all negation symbols, 5.512 (2)\nis an operation, 5.2341 (2)\nneeds a single definition, 5.451\npossibility of, presupposed in affirmation, 5.44 (4)\noccurrence of, does not characterize sense, 4.0621 (2)\nreverses sense, 5.2341 (3)\nDenial, sign of\n\ncorresponds to nothing in reality, 4.0621\ndoes not refer to an object, 5.44 (5)\nDescription\n\nof a fact by a proposition, 4.023 (3)\nof an object, 4.023 (4)\nof complex, 3.24 (2)\nof expressions, 3.33\nof propositions, 3.317 (2)\nof reality by a proposition, 4.023 (2)\nof states of affairs, 3.144\nof the world\nDescriptions, systems of, 6.341\n\nDistinguishability, 2.02331\n\n\"Dynamic models\", 4.04 (2)\n\nEgo, the non-psychological, 5.641\n\nElucidation of primitive signs, 3.263\n\nEquality, meaning of sign of, 6.23 (1)\n\nEquations\n\nas expressing substitutability, 6.24 (2)\ncharacterize a standpoint, 6.2323\nnot needed to express synonymity, 6.232 (2)\nEquiprobability, 5.154 (3)\n\nEssence\n\nand general form of proposition, 5.471\nof notation, 3.342\nof pictorial nature, 4.013\nof propositions, 3.341, 4.027, 4.03, 4.016, 4.5 (2), 5.471\nof representation, 4.016\nof symbol, 3.341, 3.343. 4.465\nof the world, 5.4711\nEssential property, of a thing, to be a possible constituent of atomic fact, 2.011\n\nEternity, 6.431 1\n\nEthics, 6.421, 6.422\n\nExistence\n\nof atomic facts, 2.1 1, 4.1\nof logical place, 3.4\nExpedients, in logic, 5.452\n\nExponent, of an operation, 6.021\n\nExpressions\n\nall that need to be translated, 4.025 (1)\n\nExpressions \u2014 continued\n\nguarantee existence of the logical place, 3.4\nhave meaning only in a proposition, 3.314 (1)\n\npresented by a variable, 3.313 (1)\nthe proposition is a function of them, 3.318\nthe term defined, 3.31 (1)\nExternal property, 2.01231, 2.0233. (See also Internal property)\n\n\"Fact\", a formal concept, 4.1272 (7, 8)\n\nFacts (Tatsache). (See also States of affairs and Atomic facts)\n\nand pictures, 2.1, 2. 11\ncompose the world, i.i, 1.2\nexistence of, 2\nmutual independence of, 1.21\nnegative, 2.06 (2)\nrequired for expression of sense, 3.142\nthe world divides into, 1.2\ntotality of, 1.11\nFate, and the ancients, 6.372 (1)\n\nFeature, explained, 4.1221\n\nFeatures of symbols, express formal properties, 4.125 (6)\n\nForm. (See also Possibility)\n\nand possibility of structure, 2.033\nand substance, 2.025\ncannot be said to have properties, 4. 1 241\ngeneral, of propositions, 4.5, 4.47\ngeneral prepositional,\nand truth operations, 5.54\nis a variable, 4.53\nlogical, 2.18. (See also Prototype)\nand variable, 3.315\ncannot be represented in proposition, 4.12, 4.121 (1)\nhow determined by a sign, 3.327\nof propositions, 4.0031\nof a spot, 4.063\nof expressions, 3.31 (4)\nshown by substitutability, 6.23 (2)\nof functions, 3.333 (2)\nof objects, 2.0141, 2.0233, 2.0251\nof propositions, 3.311\nof reality, 2.18\nof representation\ndefined, 2.151\nfunction of, in pictures, 2.22\nis shown forth, 2.172\nof the world consists of objects 2.022-3\nof values of a variable, 4.1271 (2)\nFormal, equated with logical 6.12 (1)\n\nFormal concept\n\nalready given with object to which it applies, 4.12721\nas primitive idea, 4.12721\ncharacteristics of, 4.126 (5, 7)\ndefined, 4.126 (1)\nexamples of, 4.1272 (7, 8)\nexpressed by variables, 4.126 (8), 4.127\nopposed to \"proper\" concept, 4.126 (2)\nquestions about existence of,\nsenseless, 4.127\nFormal law, as determining formal series, 5.501 (6)\n\nFormal properties\n\nconnexion with structure, 5.321\nexplained, 4.122 (1)\nexpressed by features of symbols, 4.126 (6)\nFormal series\n\ndefined, 4.1252 (1)\nexample of, 4.45 (2)\nexpression for general term of, 5.2522\ngeneral term of, 4.1273 (2)\nneeds variables, 4.1273\nof truth functions, 5.1 (1)\nprogress from term to term of, 5.252\nFreedom of the will, 5.1362 (1)\n\nFrege, 3.143, 3.318, 3.325, 4.063 (1), 4.1272 (8), 4-1273, 4.4431, 5.02 (3), 5.132 (4), 5.42, 5.451, 5.4733 (1), 5.521, 6.1271, 6.232 (1)\n\nFrequency, of occurrence of events, 5.154 (1)\n\n\"Function\", a formal concept, 4.1273 (7, 8)\n\nFunction\n\nand composition, 5.47 (3)\ncannot be its own argument, 3333. 5.251\ncannot present formal concepts, 4.126 (4)\ndistinct from operation, 5.25 (3)\nelementary proposition is a, of names 4.24 (2)\nproposition is a, of names, 3.318, 4.24 (2)\nFuture, no knowledge of, 6.26311\n\nGenerality\n\naccidental, 6.031 (2), 6.1232\nconcept of, separated from truth-function, 5.521\nessential\nneeded in mathematics, 6.031 (2)\nopposed to accidental generality, 6.1232\nhow shown, 5.1311 (2)\nhow symbolized, 4.0411\nits notation contains a prototype, 3.24 (3). 5.522\nsymbol for, occurs as an argument, 5.523\nsymbolism for, makes constants prominent, 5.522\nrefers to logical prototype, 5.522\nGeometrical place, and possibility, 3.41 1\n\nGeometry, as a priori, 6.35 (1)\n\nGod, 6.432, 6.372 (1)\n\n\"Green is green\", 3.323 (3)\n\nHertz, 4.04 (2), 6.361\n\nHieroglyphic writing, 4.016\n\nIdealists, their explanation of seeing spatial relations, 4.0412\n\nIdentity\n\ncannot be asserted, 6.2322\ncriticism of Russell's definition of, 5.5302\nhow expressed, 5.53, 5.531, 5.532. 5.5321\nnot a property, 5.473 (2)\nnot a relation between objects, 5.5301 (1)\nof sign-tokens, 3.203\nsign of\ndispensable, 5.533, 6.232 (2)\nits meaning, 4.241 (2)\nImmortality, 6.4312 (1)\n\nInconceivability, and internality of properties, 4.123\n\nIndependence, of propositions, defined, 5.152 (1)\n\nIndex (of a name)\n\nexplained, 5.02\nconfused with argument, 5.02 (3)\nInduction\n\nas assumption of simplicity, 6.363\nhas only psychological foundation, 6.3631 (1) Induction, law of\nnot a logical law, 6.31\nnot a priori, 6.31\nInference\n\nis a priori, 5.133\n\"Laws of\", senseless, 5.132(4)\nInternal properties. (See also Formal properties)\n\nand features, 4.1221\nand inconceivability, 4.123 (1)\nand structure, 4.122 (2)\nknowledge of, needed for knowledge of objects, 2.01231\nof a proposition, describe reality, 4.023 (4)\nof possible states of affairs, 4.124 (1), 4.125\ntheir holding is shown, 4.122(4)\nInternal relations\n\nand deducibility, 5.131\nand definition of formal series, 4.1252 (1)\nbetween structures of propositions, 5.2\nequivalent to operations, 5.232\nof statement about a complex to a statement about constituents, 3.24 (1)\nrepresentation as an instance, 4.014 (1)\nInternal similarity, 4.0141\n\n\"Is,\" meanings of, 3.323 (2)\n\nLanguage (See also Ordinary Language)\n\nable to express every sense, 4.022 (1)\nas supplying intuition, 6.233\n\"critique of\", 4.0031\ndisguises the thought, 4.002 (4)\nis totality of propositions, 4.001\nlimits of my, 5.6\nlogic of, 4.002 (3), 4.003 (1)\ntranslation of, 3.343\nLaw of least action, 6.3211\n\nLaws of nature, not explanations, 6.371\n\nLife, the problem of, 6.52, 6.521\n\nLogic. (See also Logical propositions)\n\nall is accident outside, 6.3\nall questions of, answerable off-hand, 5.551 (1)\nand mechanics, 6.342\napplication of, 5.5521, 5.557\nas all-embracing, world reflecting, 5.511\ncalculation in, 6.121 (1)\ncannot cross limits of world, 5.61 (3)\ndeals with possibilities, 2.0121 (3). 5.555 (3)\nevery proposition of, its proof, 6.1265\nexpedients in, 5.452, 5.511\nimpossibility of \" contradicting \", 3.03-3.032, 5.4731\nimpossibility of describing the world in, 5.61 (2)\nirrelevance of monism and dualism to, 4.128 (2)\nis a priori, 5.4541 (2), 5.4731, 5.551 (1)\nis transcendental, 6.13 (2)\nits propositions are tautologies, 6.1, 6.22\nlaws of, do not obey further laws, 6.123 (1)\nmust take care of itself, 5.454 (1)\nno classification in, 5.454 (1)\nno mistakes possible in, 5.473 (3)\nno numbers in, 5.453 (2)\nno primitive propositions in, 6.127 (1)\nno surprises in, 6.1251\nnot a natural science, 6.111\nnot a theory, 6.13 (1)\nnothing accidental in, 2.012\nof constituents, shown by tautologies, 6.12 (2)\nof facts, cannot be represented, 4.0312 (2)\npossibility in, 5.473 (2)\nprecedes every experience, 5.552 (2)\n\"primitive propositions \" of, arbitrary in number, 6.1271\nproblems of, concrete, (2)\nprocess and result equivalent in, 6.1261\nproof in, 6.126 (2-4), 6.1262\npropositions of, say nothing, 5.43 (2)\nreflects the world, 6.13 (1)\nrole of postulation in, 6.1223\nsearches for regularity, 6.3\nsimplicity of, 5.4541\nwhole philosophy of, 6.113\nwhy called theory of forms, 6.1224\n\"zero-method\" in, 6.121 (2)\nLogical, equated with formal, 6.12 (1)\n\nLogical constants\n\ndisappearance of, 5.441\ndo not represent, 4.0312 (2)\nonly one of them, 5.47 (4),\nthere are none, 5.4\nLogical coordinates, as determining logical place, 3.41\n\nLogical forms, are anumerical, 4.128 (1)\n\nLogical grammar, 3.325 (1) (See also Logical syntax)\n\n\"Logical objects\", there are no, 4.441, 5.4\n\nLogical place (See also Logical space)\n\ndenial as determining, 4.0641\nproposition determines one, 42 (1)\nrelation to propositional sign and logical coordinates, 3.41\nLogical properties of propositions, demonstrated by producing tautologies, 6.121\n\nLogical propositions\n\nas forms of a proof, 6.1264 (1)\nas modus ponens, 6.1264 (2)\nconnection with the world of, 6.124\ndispensable, 6.122\nhave a peculiar place among all propositions, 6.112\nhave equal rank, 6.127 (1)\nnot confirmable by experience, 6.1222\nnot distinguished by generality, 6.1231 (1)\npresent the scaffolding of the world, 6.124\ntheir truth discernible in the symbol, 6.113\n\"treat\" of nothing, 6.124\nLogical space {See also Logical place)\n\nand the world, 1.13\neverything is in, 2.013\nfacts in, 1.13\ngiven with every proposition, 3.42 (1)\npictures present facts in, 2.11, 2.202\nplace in, determined by proposition, 3.4\nLogical syntax\n\nand rules of translation, 3.344\nimplies all logical propositions, 6.124\nmeanings of signs plays no role in. 3.33\nneed for obeying, 3.325 (1)\nrules of, 3.334\nMathematics\n\nhas no need for theory of classes, 6.031 (1)\nintuition in, place of, 6.233\nis a logical method 6.2 (1), 6.234\n\nMathematics \u2014 continued\n\nmethod of, working with equations, 6.234 (1)\nno accidental generality in, 6.031 (2)\nproof in, significance of, 6.232 (1)\npropositions of\nall self-evident, 6.234 (1)\nare equations, 6.2 (2)\nas links in inference, 6.211\nexpress no thoughts, 6.21\nshow logic of the world, 6.22\nuses method of substitution, 6.24 (1)\nMauthner, 4.0031\n\nMechanics\n\nits generality, 6.3432\nnature of, 6.343\nrelation to logic, 6.342\nMicrocosm, the, 5.63\n\nMeaning\n\nof names, 3.3\nof primitive signs, 3.263\nModus Ponens, 6.1264 (2)\n\nMultiplicity\n\nand number of dimensions of signs, 5.474\nand symbol for generality, 4.0411 (3)\ncannot be represented, 4.04 (1)\nthe same in the proposition and the state of affairs represented, 4.04\nMystical, the, 6.44, 6.45, 6.522\n\nNames\n\nare primitive signs, 3.26\nare simple signs, 3.202\nare simple symbols, 4.24 (1)\nare unanalysable, 3.26\ncannot be defined, 3.261 (2)\ncannot express sense, 3.142\ndispensable in describing the world, 5.526\nelementary proposition a connexion of 4.22\nhave meaning only in context of proposition, 3.3\nhow they occur in propositions, 4.23\nindex of, 5.02 (i)\nno composition essential, 3.3411\nresemble points, 3.144 (2)\nthe \" real \", 33411\nvariable, 3.314 (2)\nNatural sciences\n\nare the totality of true propositions, 4. i (1)\ndo not include philosophy, 4.111\nNecessity: only logical necessity, 6.37\n\nNegation (See Denial)\n\nNegation (= Simultaneous denial)\n\nintroduced, 5.5\nsymbolized, 5.502\nNewtonian mechanics, 6.341, 6.342 (2)\n\nNonsense (Unsinn)\n\nexamples of, 5.5303, 5.5351 (2)\nimpossible to judge, 5. 5422\nNonsensical, logical propositions not, 4.461 (1)\n\nNotation (See also Language)\n\narbitrariness of, 3.342\nessence of, 3.342\n\"Number\", a formal concept, 4.1272 (7, 8)\nNumber\n\nconcept of, 6.022\nconcept of equality of, 6.1022 (3)\ngeneral form of, 6.022 (1), 6.03\nNumbers\n\nas exponents of operation, 6.021\ndefinitions of, 6.02\nordered by internal relation, 4.1252 (2)\n\"Object\", a pseudo-concept, 4.1272 (1)\n\nObjects\nand possibility, 2.014\n\nare colourless, 2.0232\nare referred to by names, 3.203, 3.22\nare simple, 2.02\nare substance of world, 2.021\nare the fixed form of the world, 2.023, 2.026\nas determining bounds of empirical reality, 5.5561 (1)\ncan only be named, 3.221\ncannot be asserted, 3.221\ncommon characteristics of, not\nshown by similarity of signs, 3.322\nconfiguration of, 3.21\nform of, 2.0141\nif given, all are given, 5.524 (1)\nindependence of, 2.0122\noccurrence in atomic facts of, 2.012-2.0123\npossible infinity of, 4.2211\npossibility of connexion with other objects, 2.0121 (4)\nsenseless to speak of their existence, 4.1272 (5)\nsenseless to speak of their number, 4.1272 (6)\nObviousness, and deducibility,\n\nOccam's razor, 3.328, 5.47321 (1)\n\nOperations\n\nassert nothing, 5.25 (2)\nbasis of, 5.21, 5.24 (3), 5.25 (2), 5.251\ncan cancel out, 5.253, 5.254\ncharacterize difference in forms, 5.24 (a), 5.241\nconnexion with structure, 5.22, 6.002\ndefined, 5.23\ndepend upon formal properties, 5.231\ndistinct from functions, 5.25 (3)\nexamples of, 5.2341 (2)\nexponent of, 6.021\nnot relations, 5.42 (1)\nnumber of basic, depends only on our notation, 5.474\noccurrence of, does not characterize sense, 5.25 (1)\nresult of, can be basis of same operations, 5.251\nshown in a variable, 5.24 (1)\nsigns for, are punctuations, 5.4611\nsuccessive application of, 5.2521, 5.2523\nOrdinary language\n\nall its propositions completely in order, 5.5563\nambiguity of, 3.323\nas complicated as the human organism, 4.002 (2)\nneeds complicated adjustments, 4.002 (5)\nPhilosophy\n\nan activity, not a theory, 4.112 (2)\nand the Darwinian theory, 4.1122\ndanger of confusion with psychology, 4.1121 (3)\ndemarcates natural science, 4.113\ndemarcates the thinkable, 4.114\ndisplays the speakable, 4.115\nimportance of possibility in, 3.421\nin no special relation to psychology, 4. 1121 (1)\nis full of confusions, 3.324\nits object the logical clarification of thoughts, 4.112 (1)\nmakes propositions clear, 4.112 (4)\nmostly consists of senseless statements, 4.003\nnot a natural science, 4.111\nresults in elucidations, 4.112(3) Philosophy \u2014 continued\nright method of, 6.53\nvalue of questions about purpose of symbolism in, 6.211 (1)\nPhysical laws, refer to obejcts of the world, 6.3431\n\nPictures\n\nand logical space, 2.1 1\nare compared with reality, 2.223\nare facts, 2.14, 2.141\nare models of reality, 2.12, 4.01\nform of representation of, 2.15\nhave form of representation in common with reality, 2.16, 2.171\nhow linked with reality, 2.151, 2.1511, 2.201, 2.21\ninclude representing relation, 2.1513\nlogical\nare thoughts, 3.\npropositions as, 4.03 (3)\nthe term defined, 2. 181\nmade by us, 2.1\nnone a priori true, 2.224, 2.225\npossibility of, requires substance, 2.0212\npropositions are, 4.012\npropositions as, of reality, 4.021\nrepresent their sense, 2.221\nPossibility, 2.0122-3\n\nand conceivability, 3.02\nand form of representation, 2.151\nand logic, 2.0121 (3), 5.473 (2)\nand logical place, 3.411\nand nature of the world, 3.3421\nof atomic facts, 2.012, 2.0124\nof connexion of things, 2.0121 (4)\nof method of symbolizing, 2.3421\nof projection, 3.13 (2)\nof propositions, 4.0312 (1)\nof states of affairs, 2.014, 2.202, 2.203\nhow shown, 5.525 (2)\nof structure is form, 2.033\n\"Postulation\" of \"logical truths\", 6.1223\n\nPrimitive ideas, formal concepts as, 4.12721\n\nPrimitive signs\n\nhow their meanings are elucidated, 3.263\nnames are, 3.26\nof logic\nas forms of combination, 5.46\nneed to be justified, 5.45\nrules of definition apply to, 5.451 (2)\nsignify differently from non-primitive signs, 3.261 (2)\nPrinciples, scientific, as a priori intuitions, 6.34\n\nProbability\n\nbased on series of truth-functions, 5.1\ndoes not apply to isolated propositions, 5.153\nhas certainty as a limiting case of, 5.152 (3)\ninvolves general description of propositional form, 5.156 (2)\nis a generalization, 5.156 (1)\nmeasure of, defined, 5.15, 5151\nneeded in default of certainty, 5.156 (2)\nof elementary propositions, 5.152 (2)\nproposition\nan extract from other proposition,s 5.156 (5)\nhas no special object, 5.1511\nrelation of experience to, 5.154(4)\nrelation to certainty, possibility, impossibility, 4.464 (2)\nunit of, 5.155\n\nProblems, the deepest, are no problems, 4.003 (3)\n\nProjection\n\nand translation, 4.0141\nmethod of, as thought, 3.11 (2)\npossibility of, belongs to proposition, 3.13 (2)\nProof\n\nin logic, a mechanical expedient, 6.1263\nof significant proposition contrasted with proof in logic, 6.1263\nof twice two, 6.241\nPropositional connexion {Satzverband), 4.221\n\nPropositional sign\n\nas determining logical place, 3.41\ncannot contain itself, 3. 332\ndefined, 3.12\nelements of, 3.2\nessential nature of, 3.1431 (1)\nis a fact, 3.14, 3.143\nrelation of, to proposition, 3.12\nsense of, needs no explanation, 4.02, 4.021\ntruth table as, 4.44, 4.442 (1)\nPropositional variable\n\nbar symbol for, 5.501\ndefined, 3.313 (3)\ndetermination of values of, 3.316\nexpresses a formal concept, 4.126 (8)\nevery variable conceivable as, 3.314\nrelation to logical form, 3.315\nPropositions\n\naccidental features of, 3.34\nabout complexes, 3.24\nall of equal value, 6.4\nalways complete pictures, 5.156 (4)\nanalysis of, 3.201, 3.25, 4.221 (1)\nand truth possibilities of elementary prepositions, 4.4\nare articulated, 3.141 (2), 3.251, 4.032 (1)\nare compared with reality, 4.05\nare composite, 4.032 (2), 5.5261 (1)\nare descriptions of facts, 4.023 (3)\nare expressions, 3.31 (2)\nare expressions of their truth conditions, 4.431 (2)\nare generalizations of elementary propositions, 4.52\nare pictures of reality, 4.021\nare truth-functions of elementary propositions, 5(1)\nas configurations of objects, 2.0231\nas functions of expressions, 3.318\nas logical pictures, 4.01 (1), 4.03 (3)\nas models of reality, 4.01 (2)\ncan say nothing about themselves, 3.332\ncannot assert their own truth, 4.442 (3)\ncannot be given sense by assertion, 4.064\ncannot represent logical form, 4.12 (1), 4.121\ncompletely generalized, 5.526 (1), 5.5261 (1)\ncontent of, 3.13 (4)\ndenial of, 4.0641\ndetermine one logical place each, 3.42\nelementary\nare truth-arguments of proposition, 5.01\nassignment of truth-values to, describes the world, 4.26\ncannot be given a priori, 5.5571\n\nPropositions \u2014 continued\n\ncannot contradict other elementary propositions, 4.211\ncomposition of, cannot be given, 5.55 (2)\nconcept of, 5.555 (1)\nconsist of names, 4.22, 5.55 (2)\ncontain all logical operations, 5.47 (2)\nforms of, no hierarchy of, 5.556\nif given, all are given, 5.524 (2)\nimportance of, for understanding other propositions, 4.411\nhow symbolized, 4.24 (2, 3)\nlogically independent, 5.134\npossible forms of, 5.55\npurely logical grounds for there being, 5.5562\nrange allowed by, 5.5262 (1)\nrelation of truth possibilities of, to other propositions, 4.4\nrelation to atomic facts, 4.21, 4.25\nrelation to tautology and contradiction, 6.3751(3)\nessential features of, 3.34\nexpression of thoughts in, 3.2\n\nfollow from elementary propositions, 4.52\ngeneral form of, 5.47 (5)\nhave elementary propositions as truth-arguments, 5.01\nhave sense independent of facts, 4.061\nhave truth-value because pictures of reality, 4.06\nhow understood, 4.024\nin them names stand for objects, 3.22\nlogical (See Logical propositions)\nlogical form of, 4.0031\nmost general form of, 4.5, 6\nneed only 'yes' or 'no' to fix reality, 4.023 (1)\nneither probable nor improbable in themselves, 5.153\nnumber of possibilities of agreement with truth-possibilities of elementary propositions, 4.42, 4.45 (1)\nopposition of, 5.513 (2)\npresent existence and non-existence of atomic facts, 4.1\npresuppositions of, 5.5151 (3)\n\"primitive\", 5.43 (1) probability, have no special object, 5.1511\n\npsychological, 5.541, 5.542\nreach through whole logical space, 3.42 (3)\nrelation of, to propositional sign, 3.12\nresemble arrows, 3.144 (2)\nsay how, not what a thing is, 3.221\nsense of, unchanged by adjoining tautology, 4.465\nshow their sense, 4.022\nshow what they say, 4.461 (1)\nsignificant\nare thoughts, 4\ncontent of, 3.13 (4, 5)\nwhat is common to, illustrated, 5.513 (1)\nwhat they say, 4.022 (2)\nwhat logical space given with, 3.42 (1)\nPrototype\n\nand logical form, 3.315\nand symbolism for generality, 5.522\nand variable, 3.315\nexamples of, 3.333 (1), 5.5351 (1)\nin notation for generality, 3.24 (3), 5.522\n\nPseudo-concept, 4.1272 (1)\n\nproposition and thing as, 5.5351 (1)\nPseudo-propositions, 5.535 (1)\n\narising from use of pseudo-concepts, 4.1272 (4)\nmathematical propositions are, 6.2 (2)\nPsychology, and philosophy, 4.1121\n\nRange, defined, 4.463\n\nReality\n\nas existence of atomic facts, 2.06 (1)\ncompletely described by proposition, 4.023 (2)\ndescribed by internal properties of proposition, 4.023 (4)\nempirical, bounded by totality of objects, 5.5561 (1)\nform of, 2.18\nhow linked to pictures, 2.1511-2.15121\nlogical features of, 4.023 (5)\nnot pictured by tautology or contradiction, 4.462\npictures are models of, 2.12\npictures compared with, 2.21, 2.223\nproposition as picture of, 4.01 (1), 4.021\npropositions are compared with, 4.05\ntotal, is the world, 2.063\nRepresentation, logic of, 4.015 (See also Form of representation)\n\nRepresenting relation, belongs to the picture, 2.1513\n\nRight and left hand, Kantian problem of, 6.361 11\n\nRules, as equivalent to symbols, 5.514\n\nRussell, 3.318, 3.325, 3.331, 3.333, 4.0031, 4.12721, 4.1272 (8), 4.1273, 4.241 (3), 5.02 (2), 5.132 (4), 5.252, 5.4, 5.42, 5.-452 (2), 5.513 (3), 5.521, 5.525. 5.5302, 5.535, 5.541 (4), 5.5422, 5.553 (1), 6.123 (2), 6.1232\n\nRussell's paradox, 3.333 (4)\n\nSaying\n\nby propositions, 4.022 (2)\nimpossibility of, what we cannot think, 5.61 (4)\nScaffolding, logical, 3.42 (3), 4.023 (5), 6.124\n\nScepticism, 6.51 (1)\n\nSelf-evidence (See also Obviousness)\n\nhow discarded in logic, 5.4731\nnot a criterion of logical propositions, 6. 1 271\nof mathematical propositions, 6.2341\nSense\n\nand deducibility, 5.122\ncannot be supplied by assertion, 4.064\ncharacterized by expressions, 3.31 (1)\nconnexion with method of projection, 3. 11 (2)\nequated with representation of state of affairs, 4.031 (2)\nexpressible only by facts, 3.142\nnew, how communicated, 403 (1)\nobjects occurring in, 4.1211 (1)\nof propositional sign, needs no explanation, 4.02, 4.021\nof propositions\nand possibilities of existence of atomic facts, 4.2\ncontained in sense of other propositions, 5.122\nexpressed by spatial position, 3.1431 (2)\nform only of, contained in proposition, 3.13 (4)\n\nSense \u2014 continued\n\nhow determined, 4.063 (2)\nindependent of facts, 4.061 (1)\nof truth-functions as a function, 5.2341 (i)\nonly propositions have it, 3.3\nopposite, 4.0621 (3)\npostulate of determinateness of, 3 23\nrequires substance, 2.021 1\nreversed by denial, 5.2341 (3)\nwhat a picture represents is its, 2.221\nSenseless (Sinnlos)\n\ndistinct from nonsensical, 4.461 (3), 4.4611\nexamples of the, 4.1272 (9), 4.1274, 5.1362 (2)\n\"laws of inference\" are, 5.132 (4)\ntautology and contradiction are, 4.461 (3)\nSeries, formal {See Formal series)\n\nShowing\n\nby tautologies and contradictions, 4.461 (1)\nby structure, 4.1211 (2)\ncorrectness of solipsism, 5.62 (2)\nexamples of, 4.1211, 6.12, 6.1201, 6.127 (2), 6.36 (2)\nexcludes saying, 4. 1212\ngenerality, 5.1311 (2)\nlogic of the world, 6.22\nlogical form, 4. 121 (4)\nneeded for form of representation, 2.172\nof operations, 5.24 (i)\nof sense, 4,022\nthat a formal concept applies, 4.126 (3)\nthat internal properties hold, 4.122 (4)\nthat one proposition follows\nfrom another, 4.1 211 (2)\nthat the world is my world, 5.62 (3)\nthe inexpressible, 6.522\nwhat it says, by proposition, 4.461 (1)\nSight, field of, 5.633, 5.6331\n\nSign\n\nand symbol, 3.326\napplication of, 3.262\nas likeness of the signified, 4.012\nas perceptible part of symbol, 3.12 3.32\ncannot receive a wrong sense, 5.4732\ncomplex, 3.1432\nequivalence of, 5.47321 (2)\nhow it determines a logical form, 3.327\nidentity of tokens of, 3.203\npossible, 5.473 (2)\nprimitive (See Primitive signs)\npropositional (See Propositional sign)\nsimple, 3.201, 3.202\nthe same, may belong to different symbols, 3.321\nunused, 3.328 (1)\nSimiles, 4.015\n\nSimplicity of objects, 2.02, 2.021\n\n\"Socrates is identical\", 5.473 (2), 5.4733 (3)\n\nSolipsism\n\ncoincides with realism, 5.64\ncorrect in intention, 5.62\nSoul, 5.5421 {See also Subject)\n\nSpace\n\na form of objects, 2.0251\ncongruence in, 6.36111\ngeometrical figures cannot contradict laws of, 3.032\nlogical (See Logical space)\nspatial objects must lie in, 2.0131 (1)\nspatial objects unthinkable apart from, 2.0121 (4)\nsymmetry in, 6.3611 (3)\nvisual, 2.0131 (2)\n\"Spatial spectacles\", 4.0412\n\nStates of affairs (Sachlage)\n\ncan be described, not named, 3.144 (i)\nconnexion of object with, 2.0122\npossibility of, 2.014\nStructure\n\nand form, 2.033\nand internal property, 4.122(2)\nconnexion with operation, 5.22\nlogical, 4.014 (2)\nlogical relations shown by, 4.1211 (2)\nof a picture, 2.15 (2)\nof atomic fact, 2.032, 2.034\nof propositions, and deducibility, 5.13\nof propositions, stand in internal relations, 5.2\nproperties of, and tautology, 6.12 (3)\nSubject, the\n\nand the body, 5.631 (2)\ndoes not belong to the world, 5.632\nis a limit of the world, 5.632, 5.641 (3)\nno such thing exists, 5.542 (1), 5.631 (1)\nSubstance\n\nof the world, identified with objects, 2.021\nexists independently of what is the case, 2.024\nis form and content, 2.025\nSuccessor, definition of, 4.1252(4)\n\nSuperstition, 5.1361 (2)\n\nSymbolizing, methods of, 3.322\n\nSymbols\n\nand signs, 3.326\nas equivalent to rules, 5.541\ncomposite, criterion of, 5.5261 (2)\ndifference of, 3.323 (3)\ndifferent, may have common sign, 3.321\nequated with expressions, 3.31\nessential features of, 3.34\nfor complexes, how defined, 3.24 (4)\nhave sign for perceptible part, 3.32\npresuppositions of, 5.5151 (3)\nwhat signifies in, 3.344\nTautology\n\na limiting case of combinations of symbols, 4.466 (4)\nan ungeneralized proposition can be, 6.1231 (2)\nand properties of structure, 6.12 (3)\nas showing logic of the world, 6.22\ndefined, 4.46 (4)\nderivation of tautology from, 6.126 (3)\neffect of adjoining, to a proposition, 4.465\nfollows from all propositions, 5.142\nhas no truth conditions, 5.461 (2)\nhow used in demonstrating logical properties, 6. 121\nis analytical proposition, 6. 11\nis without sense, 4.461 (3)\nits truth certain, 4.464 (1)\nlogical proposition is, 6.1\nmethod for recognizing, 6.1203\nnot a picture of reality, 4.462\nnot nonsensical, 4.4611\nprobability of, 5.152 (4)\nsays nothing, 4.461 (1), 5.142, 6.11\nshared by propositions, 5.143 (1)\nshows that it is a tautology, 6.127 (2)\nTheory of knowledge, how related to psychology and philosophy, 4.1121 (2)\n\nTheory of types, 3.33i-3.333, 5.252, 6.123 (2)\n\nThings (See Objects)\n\nThinkable\n\nand picturable, 3.001\nand possible, 3.02\nis demarcated by philosophy, 4.114\nonly uniform connexions are, 6.361\nThought\n\na priori, criterion of, 3.04\nas a logical picture, 3\nas method of projection, 3.11 (2)\ncontains possibility of a state of affairs, 3.02 (1)\ndisguised by language, 4.002(4)\nexpressed by signs, 3.1\nform of, 4.002 (4)\nhow expressed in propositions, 3.2\nis applied propositional sign, 3.5\nis the significant proposition, 4\nTime\n\na form of objects, 2.0251\n\"passage\" of, 6.3611 (i)\nsequence of events in, 6.3611 (1, 2)\ntemporal objects unthinkable apart from, 2.0121 (4)\nTotality of atomic facts, 2.05\n\nTranslation\n\nand projection, 4.0141\nas criterion for \"what is common\" to symbols, 3.343\nTruth\n\nand falsity, not coordinate relations, 4.061\nconcept of, explained, 4.063\nconcept of, Frege's account false, 4.431 (3)\nits connexion with pictorial nature of proposition, 4.06\nnot a property, 6.111\nTruth-arguments, elementary propositions are, 5.01\n\nTruth-conditions\n\ngroups of, can be ordered in a series, 4.45\nhow expressed, 4.442 (4)\nof propositions, and truth possibilities of elementary propositions, 4.41\nsymbolism for, 4.43\nrelation to truth-possibilities, 4.431 (1)\nTruth-functions\n\nand truth-operations, 5.3 (2, 3)\nare results of operations, 5.234\ncan be ordered in series, 5.1 (1)\ngeneral form of, 6 (1)\nnot material functions, 5.44 (1)\nnotations for, 3.3441\nof two variables, itemized, 5.101 (1)\nresult from application of simultaneous denial, 5.5 (1)\nthe term introduced, 5.\nTruth-grounds\n\nand deducibility, 5.11, 5.12, 5.121\nas measure of probability, 5.15, 5.151\ndefined, 5.101 (2)\nTruth-operations\n\nand truth-functions, 5.3 (2, 3)\ndefined, 5.234\nTruth-possibilities\n\ndefined, 4.3\nof combinations of elementary propositions, 4.28\nschemata for, 4.31\nUnderstanding\n\ndepends on understanding elementary propositions, 4.411\nof general propositions depends on understanding elementary propositions, 4.411\nof names, 4.243\nof propositions, 4.02, 4.024 INDEX\nof synonyms, 4.243\nUnspeakable, the, and philosophy, 4. 1 15\n\nValue, 6.4, 6.41\n\nVariable {See also Propositional variable)\n\nan expression presented by, 3.313\nis sign of formal concepts, 4.1271\ncan be regarded as propositional variable, 3.314\ndetermination of values of, 3.317\nform of, 4.1271 (2)\ngeneral propositional, 5.242\ngeneral propositional form is a, 4.53\nin expression of general term of series, 5.2522\nnames, as sign for pseudo-concept, object, 4.1272 (1)\nname, can be conceived as propositional variable, 3.314 (2)\nneeded for expressing general term of formal series, 4.1273 (1)\npropositional {See Propositional variable)\nused for operations, 5.24 (1)\nvalues of, 3.315, 5.501 (6)\n\nWhitehead, 5.452 (2), 5.252\n\nWill, the, 6.423, 6.43\n\nWords, cannot occur both in and out of propositions, 2.0122\n\nWorld, my\n\nI am, 5.63\nlimits of, 5.62 (3)\nWorld, the\n\nand life are one, 5.621\nand logical space, 1.13\nand what is the case, 1\ncompletely described by totality of true elementary propositions, 4.26\ncomposed of facts, not things, 1.1\nconnexion with logical propositions, 6.124\ndivides into facts, 1.2\nindependent of my will, 6.373, 6.374\ninformation about, given by simplicity of description, 6.342 (2)\nis total reality, 2.063\nis totality of atomic facts, 2.04\nits form consists of objects, 2.023\nlimits of, 5.61 (i)\nlogic of, shown in tautologies and equations, 6.22\nlogical properties of, 6.12, 6.124\nnames not needed for description of, 5.526\nnature of, revealed by possibility, 3.3421\nobjects its substance, 2.021\nprojective relation of propositional sign to, 3.12\nsense of, 6.41 (i)\nthe subject does not belong to it, 5.632\n\n\"Zero-method\", in logic, 6.121 (2)","title":"Tractatus Logico-Philosophicus/Index","tradition":"philosophy-ethics","translated_text":null,"word_count":5135}