Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13) :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Gabbay D.M. (ed.), Guenthner F. (ed.) — Handbook of Philosophical Logic (Volume 13)

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Handbook of Philosophical Logic (Volume 13)

Авторы: Gabbay D.M. (ed.), Guenthner F. (ed.)

Аннотация:

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic.

The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc.

The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters.

Язык:

Рубрика: Философия, религия и культура/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: Second Edition

Год издания: 2005

Количество страниц: 373

Добавлена в каталог: 14.09.2007

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

      293
$I\Pi_{n}^{-}$       292
$I\Sigma_{n}$       292
$I\Sigma_{n}^{-}$       292
$I\Sigma_{n}^{R}$       292
      34 36 56
$\exists$ -sickness      196
$\Gamma\vdash^{*}_{T}\varphi$       227
$\Gamma\vdash_{{\bf GL},sub}\varphi$       227
$\Pi_{1}$ -axiomatized extensions      264
$\Pi_{1}$ -essentially reflexive      263
$\Sigma_{1}$ -preservativity      289
$\Sigma_{1}$ -realization      279
${D}_{\beta}$       228
${EA}^{+}$       292
${F}_{n}$       210
${GL}_{\alfa}$       227
${GL}_{\beta}^{-}$       227
${PL}_{T}(U)$       226
${RFN}_{{\Sigma}_{n}}(T)$       218
${S}_{\beta}$       228
${X}^{T}$       216
${\epsilon}_{0}$       303
${\rm n-Prov}_{T}(x)$       270
${\Sigma}_{n}$ and ${\Pi}_{n}$ -formulas      213
${\Sigma}_{n}$ -sound      215
${\varphi}^{T}$       216
(Arithmetical) realization      216
Abduction      78 79 92 94
Abduction problem      84 108
Abduction target      87
Abductive logic      21 48
Abductive reasoning      93
Abelson, R.      43
Absolute inconsistency      41
Abstraction      32 113 115
Actions      57
Actual circumstances      15
Actual language      22
Ad ignorantiam      44 54 55
Ad verecundiam      54
Adaptive logic      17
Admissible      209
Admissible propositional rules in arithmetic      344
Agency      33
Agency-type      33 58
Agenda      33
Agent causation      61
Aggregate system      51 52
AI      16 18 50
Aizawa, K.      48
Aletheic      32
Allen, M.      45
Ambiguity      22
Ampliative reasoning      38
Ampliative reliability      21
Analogy      67
Analyticity rationale      39
Anderson, K.      64
Anglo-American law      101
Anti-psychologism      62
Application      315
Approximation      16 58
Approximation problem      115
Argumentation theory      16 18 63
Aristotle      15 16 21 68 69
Arithmetical hierarchy      213
Arithmetical interpretation      323
Arithmetical semantics      343
Arithmetically complete modal logic      226
artificial intelligence      203
Artificial language      16 17 22 24 25
Assent      59
Asset enhancement      46
Atomic sentences of PC      24 28
Attention      64 65
Authoritative source      45 98
Auto rule      85
Autoepistemic arguments      55
Autoepistemic inference      86
Automated deduction      203
Automaticity      64
Axiom necessitation      315
Axsom, D. S.      45
Backwards reflection      27—29
Bacon      84
Bandwith      45
Barwise, J.      60
Bayes' decision rule      52
Bayesian inference      105
Bayesianism      77
Beer, R. D.      49
Beeson — Visser translation      281
Begriffsschrift      16 23
Behaviour-based robotics      50
Belief      59
Belief modification      57
Belief revision      73
Belief-sets      64
Bernays — Loeb derivability conditions      191
BHK semantics      189 196
Bidirectional coverage      115
Bimodal provability logic      194
biology      115
bits      45
Black body radiation      92
Bodily behaviour      31
Boole, C      62
Bootstrapping problem      30
Botterill, C      65
Bridge      146
Brooks, R. A.      49 50
Brouwer — Heyting — Kolmogorov (BHK) semantics      189
Burden of proof      102
Burton, R.      48
Bushy problems      52 53
Byrne, E.      69
Cacioppo, J. T.      45
Cadoli, M.      59
Calculus of plausibility      72
Calculus of probability      69
Candidate space      82 84
Canonical model fo rLP      198
Carlson model      260
Carlson, G. N.      42
Carneades      69
Carruthers, P.      65
Categories      22
Causal epistemology      61
Causal spread      50
Causes      61
Central cognition      65
Central nervous system      49
Chaiken, S.      45
Chaos      46
Characteristic ch(T) of T      218
Characteristic formula      26
Characteristicness      77 87 88 90—94
Cherry, C.      46
Choices      53
Churchland, P. M.      47
Circumstantial Conviction Dilemma      105
Circumstantial evidence      104 106 108
Civil standards      110
Clark, A.      50 51
Classical consequence      20 114
Classical entailment      114
Classical logic      63 73
Classification of provability logics      193
Classification Theorem      228

Coding combinator      347
Cognitive agency      37
Cognitive agenda      96
Cognitive agent      32 33 60 67
Cognitive ambition      47
Cognitive economics      54
Cognitive economies      34 43 45
Cognitive goal      33 35 37 46 54
Cognitive psychology      64
Cognitive resources      18 32 35 60
Cognitive science      37 63
Cognitive systems      17 32 60 64—66
Cognitive target      18 21 32
Cognitive tasks      33 60
Collapsing phenomenon      138
Combinators      315 346
Combinatory logic      345
Combinatory terms      199
Common knowledge      44 93
Common sense      93
Competence      33 110
Complete logic LPGL      199
Completeness      341
Completeness of LP      332
Completeness principle      284
Completeness theorems      326
Complexity-overload      54
Computational capacity      18 33
Computational interpretation      311
Computational intractability      64
Computational tractability      65
Computationally realizable optimal rationality      38
Computer science      18
Conceptual account      113
Conceptual analysis      66 112
Conceptual data      112
Conceptual model      112 115
Conclusion determination      21
Conclusional plausibility      102
Conclusive presumption      104
Conditional probability      21
Conditional unification      344
Congruent      141
Conjecture      97 108
Conjoinability      322
Conjunction      26
Connectionist logic      47 48
Connectionist nets      48
Connective Rule      27
Connectives      22 25
Consciousness      45 46 48 65
Consequence      24 26 30 54 67 70 71
Consequence system      132
Consequence-attenuation      19—21
Consequences      53 66 114
Consequentialism      21
Consequentialist reasoning      21
Conservatism      39
Conservativity interpretation      195
Conservativity logic      194
Conservativity logics      195
Consistency      24 30 54 66
Consistency assertion      215
Consistency formula      196
Consistency proof      196
Constant specification      315 338
Constrained fibring      135 163
Constructive necessitation      340
Content      18 22
Continuous reciprocal causation      51
Contraction      319
Contradictoriness      24
Control      64
Convention T      25
Conversation      44
Cooper, W. S.      52 53
Cooperative acceptance      55
Copula      22
Corteen, R. S.      64
Craig interpolation theorem for GL      207
Credibility      96
Criminal law      102 104 107
Criminal standards      110
Curry — Howard isomorphism      311 345
Cut      205 319
Cut elimination in LP      198
Cut-elimination theorem      205
Cut-free derivation      319
D      228
Daston, L.      69
Davidson, D.      61
Davies, D. R.      65
Dawson, M. E.      64
De Jongh's theorem      279
Decidability      31
Decision dynamics      58
Decision theory      52
Decision theory of 'down below'      53
Decision trees      52
Decisional agent      52
Deducibility      67
Deduction rules      38
Deduction Theorem      209
Deductive closure      72
Deductive logic      21
Deductive reasoning      38
Deductive system      129
default      43 44 89 90
Default logic      63
Default reasoning      44
Dennis, I. EL      101—103
Denotate combinator      346
Deontic logic      17
Deontic paraconsistent logic      156
Depth function      210
Derivability conditions      215
Derivable      209
Descriptive adequacy      15
Descriptive model      37 38
Determinacy      85
Developmental genetics      116
Dialetheic logic      17
Dialogue logic      17 21
Direct evidence      104 106
Disambiguation rule      28—30
Discourse economies      44
Discrimination      50
Disjunction property      278
Disjunctive property      335
Disjunctive property of hte logic of proofs      198
Doubt      109
Down below      46 48 116
Doxastic satisfaction      109
Doxastic satsifaction      110
DP      278
Drawability      20
Dumais, S. T.      64
Dynamic feedback loops      51
Dynamic logic      17
Dynamic logics      318
Dynamic turn      68
Eagly, A. EL      45
Effective recognizability      31
Elementary arithmetic EA      193 213
Elementary formulas      213
Elementary presented      215
Eliminative induction rule      84
Ellis, B.      67
Energy-to-energy transductions      46
Energy-to-information transformations      46

1 2 3 4

О проекте