|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Curry H.B. — Foundations of mathematical logic |
|
|
|
| Предметный указатель |
Phase of shuttle algorithm 75
Philosophical logic 1
phrases 32—33
Pi rule 176
PI scheme 98 179 183
PI' 284
PK 179 183
Pk rule 182
PK, independence scheme 183
Place marker 75
Platonism 8 12—14 26 29 see
Ply operation 139
Ply operation, interpretation of 172
Ply operation, notation for 162
Ply operation, postulates for 140
Point notation 35—37
Point, in Boolean algebra 296
Point, left- or right-facing 36
Point, scope of 36
Point-set topology 129
Polish logic 24
Polyadic algebras 358
Polytectonic construction 41
Poretskii, P. 308
Porte, J. 80n. 84 288 296 305 368
Positive occurrence 216
Possibility, analysis of 360
Post algebras 163 309
Post algorithm 80
Post completeness 47—48 83 95
Post consistency 83
Post system 80
Post, E.L. 46n. 47 80n. 83—84 308—309
Postulate systems 10
Postulates 46
Pragmatics 90
Predicate 315
Predicate calculus 343
Predicate calculus with equality 348
Predicate calculus with generalization 344
Predicate calculus, applied 321
Predicate calculus, first-order 21
Predicate calculus, proper 344 346 357
Predicate calculus, pure 346
Predicate constant 321
Predicate symbol 65
Predicate variable 321
Predicate, verb and 33
Predicational types of systems 64
Predicators 33 315
prefixes 34
Premises 46
Premises, null set of 252
Prenex normal form 349ff. 357
Presentation of system 56
Presentation of system, (prime) 289
Prime assertion 283
Prime statement 192 202 322
Prime statement, elementary 202
Primitive constants 315—316
Primitive frame 46 51
Primitive operations 54 317
Primitive predicates 317
Primitive predicators 316
Primitive propositional constant 321
Primitive recursion scheme 110
Primitive term operators 316
Principal constituent 197 239
Principal operation 107
Principia Mathematical 6 12n. 17n. 19 22 84 89 95 159—160 246 295 304 307 314n. 390
Prior, A.N. 19 248 368
PRODUCT 161
Projective geometry 129
proof 87
Proof scheme 99
Proof tableaux 235 250 336—340 356
Proper combinations 101
Proper component 102
Proper definitional extension 108
Proper obs 113
Proper predicate calculus 344 346 357
Proposition 86 168—169 311 316
Proposition in quantification, defined 318
Proposition, clause and 33
Proposition, constant 319
Proposition, defined 171
Proposition, elementary versus compound 185
Proposition, eliminated 208
Proposition, morphology and 190—191
Proposition, real 319
Proposition, rules for, in quantification 317—321
Proposition, substitution prefixes in 319
Propositional algebras 175—184 see
Propositional algebras, absolute 181
Propositional algebras, classical 55
Propositional algebras, classical positive 182
Propositional algebras, classical, finite form 56
Propositional connectives 172—173 311
Propositional constant, primitive 321
Propositional function 315n.
Propositional interpretation 168—172
Prosequences 191
Prosequences, occurrence in 321ff.
Provable wef 87
PS 180 183
Pseudocomplement 285
Pseudocomplemented lattice 285
Pure predicate calculus 346
Purely syntactical statement 91
Putnam, H. 309
PW 183 194
Px 193 223 260n. 326
Quantification 311—358
Quantification rules 323
Quantification, H formulations of 343
Quantification, L formulations of 321—324
Quantification, rules for terms and propositions in 317—321
Quantification, T formulation of 342
Quantification, vacuous 319 344
Quantifiers, defined 311
Quantifiers, modal 368
Quantifiers, semantics of 312
quantum mechanics 160 163
Quasi atoms 113
Quasi quotation 31n.
Quasi-definable operation 292
Quasi-definitions 280 292—296
Quasi-ordered system 64 199n.
Quasi-parametric ancestor 204
Quasi-prime statements 202
Quasi-principal constituents 197 231—232
Quine, W.V. 17 19 22—26 31n. 62 82 121 308 348—349 356—358 368
Quotation functions 31
Quotation marks viii 31 82
R1-R8 (axiom schemes) 153—156
Ramified theory of types 22
Ramsey, F.P. 7 12n. 17
Range, in quantification 347
Range, in quantification, of statement 322
Rank in proof tree 206
Rasiowa and Sikorski 121 368
Rasiowa, H. 121 342 354
RD see "Rule of definitional reduction"
Real proposition 319
Real term 319
Real variables 314 316
Recursive arithmetic 24
recursive functions 122ff.
Recursive, in definitional extension 109
Recursively enumerable set 123
| Referativity Zhurnal Mathematika 20
Refutability 255 305
Refutability, classical 261
Refutability, complete 260—261
Refutability, direct 262
Refutability, simple 259 261
Regular deduction 199
Regular interpretations 174
Regular rule 198
Rejection 305
Relation algebra 163
Relation interpretation of logical algebras 127
Relational logical algebra 125—164
Relational logical algebra, relation to assertional 166—168
Relational system 64
Relatively pseudocomplemented lattice 162—163
replacement 103
Replacement Theorem 121 215—216
Representation of a system 57
Representation theorem in Boolean algebra 297
Residuated lattice 162—163
Resolution problem in Boolean algebra 302
Restriction of  275
Restrictions,singularity 323
rev. 369
Richard paradox 6
Richards, I.A. see "Ogden and Richards"
Right constituent 191
Right prosequence 191
Right-facing point 36
Rigor, mathematical 3 7 13—14
Rimes, D. 20
Ring logics 163
Ring, defined 153
Robinson, A. 121 124 358 see "Tarski"
Robinson, T. 253
Rogers, H., Jr. 123
Rosenbloom, P.C. 19 44 83 163 308—309
Rosser and Turquette 309
Rosser, J.B. 9n. 19 23 44 84 120—121 296 304 348 358 375
Rosskopf, M.F. see "Exner and Rosskopf"
RP see "Replacement theorem"
Rubin, J.E. 161 368
Rueckverlegung der Einsetzungen 115
Rule of definitional reduction 107
Russell paradox 4 26
Russell, Bertrand 4n. 5n. 6 12n. 22 27 61n. 84 159—160 246 295 304 306—307 see
Russian transliterations 369
S transformation 270
SAM 52—53 94
Sam, generalized 54
Schematic definitional extension 108
Schematic generalization 98
Schilpp, P.A. 4n.
Schmidt, H.A. 19—20 25—26 64 184 249 251 279 288 309 358 368
Schnitt rule 188 247 250
Scholz, H. 19—21 34n. 88 307 see
Schonfinkel, M. 357
Schroder, E. 22 159—163 246 308
Schroter, K. 83 248 307 358
Schutte, K. 19 22 25 27 348 358
Semantic tableaux, Beth's 25 237 see
Semantical paradox 7
Semantical study in quantification 312—313
Semantics 90—91
Semi-inductive class 47
Semideductive theory 47
Semigroups 163
Semilattices 131 161
Semilattices, equational formulation of 133
Semilattices, implicative 141 147—148
Semimodel 60
Semiotic systems 90
Semiotics 29 90
Semiregular rule 198
Semishuttle algorithm 75
Semishuttle algorithm, equivalence to Markov algorithm 76
Sentence 33—34 45 53 86 168—171
Sentence, defined 170
Sentence, versus statement 34 170
Sentential concepts defined 110
Sentential functor 315
Separated set 283
Separation property 225—227 250 276 332
Set difference 150
Set theory 17
Set theory, axiomatic 21—22
Shanm, N.A. 27 124 309
Sheffer stroke function 294
Sheffer, H.M. 294
Shuttle algorithms 74—79 85
Shuttle algorithms, composition of 76
Shuttle algorithms, equivalence to Markov algorithm 78
Shuttles 74
Sierpinski, W. 23
Sikorski, R. 121 310 354 see
Simp (axiom scheme) 159 295
Simple absurdity 260—261
Simple refutability 259—261
Simultaneous substitution 119
Single quotes versus double viii 31
Singular (prosequence, elementary statement, system) 191
Singular formulations, equivalence to multiple 219—224 250 271—275 329
Singular functor 33n.
Singular prosequence 191
Singularity restrictions 323
Skolem lattices 139—149 101—162
Skolem lattices, classical 149—158
Skolem lattices, nonderivability in 147
Skolem normal form 352—357
Skolem paradox 6
Skolem, T. 22 24 121 123—124 141 144 159 161
Slupecki, J. 24 34 see
Smeaton, Amethe 372
Smullyan, R.M. 25 121
Sobocinaki, B. 34n. 296 308
Special functors 35
Specker, E.P. 23 26
Speech, autonymous mode of 30
Stage, hypothesis of 208
Standard A language see "A language"
Standard formulations, HD, HC, HE, HK 286
Standard formulations, HJ 285
Standard formulations, HM 285
Standard Lukasiewiez representation 58
Standard presentation 56
Standardized definitional extension 108
Standardized definitional reduction 108
Stanley, R. 356
Starting command 72 75
Starting shuttle 75
Statement 33 86 170
Statement extension 94
Statement function 315
Statement, auxiliary 191 322
Statement, elementary 322
Statement, occurrence in 322
Statement, prime 322
Statement, range of 322
Statement, strictly semantical 91
Statement, versus sentence 34
Stegmuller, W. 82
Stenius, E. 26
Stone Representation Theorem 164 297 308
Stone, M.H. 161 164
stop commands 70
Strawson, P.F. 20
Strict implication 306
Strict system 285
Strictly semantical statement 91
|
|
|
| Реклама |
|
|
|
|
|
О проекте