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

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

Enquiry      21
entropy      45
Epistemic disadvantage      81 107
Epistemic logic      17
Epistemic logic with justification      337
Epistemic logic with justifications      199
Epistemic logics with justifications      341
Epistemically wrongful acquittal      110
Epistemically wrongful conviction      110
Equationally appropriate      165
EQUIVALENCE      142
Error-avoidance      40 55
Error-minimization      55
Esoteric logic      32
Esperanto      24
Essential reflexivity      262
Essentially reflexive theories      194
Estimation      50
evidence      97
Evidential presumption      103
Evidential sources      98
Evolutionary genetics      115
Evolutionary psychology      65
Exceptions      87
Exemplar      43
Existential quantifier      22
Existential semantics      201
Experimental confirmation      108
expertise      45
Explicit reflection      197
Explicit verification      348
Extension      264
Extensions      263
F-models      198
Factual      32
Fallacy      16 54 56
Fallacy theory      63
Fallibilism      92
Fast and frugal      34 56
Feferman's provability predicate      275
Fertility      116
Fibring logics      63
Fibring of deductive systems      133
Fibring of first-order based logic systems      174
Fibring of interpretation system presentations      161
Fibring of interpretation systems      138
Fibring to preserve strong global completeness      143
finding      108
Finger, M.      59
Finitely axiomatizable theories      194
First order provability logics      192
First-order based deductive system      168
First-order based interpretation system      173
First-order based signature      167
First-order based structure      171
First-order logic of proofs      200
fit      115
Fixed point equation      327
Fixed point property      191
Fodor, J. A.      64
For equality      170
Forcig conditions      340
Forcing conditions      342
Forcing relation      204
Formal logic      18 24 25 30
Formal model      66 70 111—113
Formal representation      113
Formalization      27—30 113 115
Formalization thesis      21 23 31
Formation rules      24
Foundations of verification      347
Four-colour problem      36
Fragments of Peano arithmetic      196
Frame      43 204
Franklin, J.      69
Frege, G.      16 22—24 26 62
full      141
Fully explanatory property      335
Fullyfully explanatory property      198
Functional completeness of PC      26
Functional proof      343
Functional proofs      199
Fuzzy logic      32
Gabbay, D. M.      62
Geffner, H.      44
Generality      87 100
Generalization      67 87 100
Generic claim      43 85 87—93
Generic inference      42—43
Genericity      44 89—90
Gentzen-style proof system GLG      205
Gigerenzer, G.      33 34
Global deduction      131
Global rules      129
Globally entailed      137 161
Globus, G.      49
GLP      271
Goal-directed logic      32
goals      35
Goedel modulated deductive system      145
Goedel provability calculus problem      201
Goedel's second incompleteness theorem      191 216
Goryachev's theorem      221
Green, J.      64
Grice, H. P.      45
Guarini, M.      49
Guessing, 93      94
Guilt      106
HA*      284
Hacking, I.      69
Hailperin, T.      70
Hamlyn, D. W.      46
Hansen, H.      102
Harman, G.      59
Hasty generalization      42 43 54
Hat trick      32
Height h(K)      210
Hendriks — Jansen, H.      49
Heresay      93
Heuristic fallacy      40
Heuristics      41 65
Heyting arithmetic      193
Heyting arithmetic HA      277
Hierarchy      33 58
Hierarchy of agency types      35
Holism      64
Homogeneous scenario      127
Homuncularity      51—52
Horgan, T.      48
Horizontally persistent      170
Human agent      34
Human language      26
Husbands, P.      50
Hypothesis formation      64
Hypothesis-discharge      108—110
Ideal conditions      15
Ideal model      58
Ideal reasoner      19 20
Idealized behaviour      58
Idealized description      113
Ideography      24
Ignorance      79
Ignorance preservation      78 92 101 105
Ignorance problem      78
Implausibility      83
Implication      142
Implicative intuitionistic logic      346
Inconsistency      24 30 72 73
Independent combinatorial principles      196
Indeterminacy      85

Individual agent      18 34 45
Individuals      36
Induction axiom scheme      214
Inductive logic      21
Inductive strength      43 54
Inequality      171
Inference      21 50
Inference rule      128
Infinitely confident      264
Informal logic      16 63
Informal logicians      16
Informality      28 31
information      18 33 45
Informational relevance      45
inheritance      116
Injective constant specifications      316
Innovation      39
Instantial defaulting      99
Institutional agent      18 35—37 45
Institutional entities      34 36
Intelligent behaviour      49 51
Internalization property      317 345
Interpolation property      336
Interpret ability logic      194
Interpretation structure      135
Interpretation system      136
Interpretation system presentation      158
Interpreter combinator      347
Interrogative logic      17 21
Interrogative sentences      28
Intra-abductive hypothesis-discharge      109
Intuitionistic logic      114 189
Intuitionistic propositional logic IPC      189
Intuitionistic provability logic      193
Invalidity      29
IQC      277
Irrebutable presumptions of law      104
Iterated consistency assesrtions      217
Jackson, S.      44 45
Jacobs, S.      44 45
Japaridze logic      271
Japaridze theorem      271
Juridicial pronouncement      106
Juridicial relevance      104
Kahneman, D.      64
Kalmar elementary functions      214
Kalmar elementary functions Ј      294
Klotter, J. C      104 111
Knowledge operators      201
Knowledge-base      64
Knowledge-set      78
Kripke model for GL      204
Kripke models      340
Kripke semantics      201
L-truth maximization      70
Labelled deductive system      63
Labelled deductive systems      197
Lakoff, I.      30
Law of evidence      110
Laws of logic      62
Laws of Thought      32 67
LE      278
Legal presumption      100 101
Leibniz, G      22
Letterless      210
Lewis modal system S4      189
Lewontin, R.      116
Lifting lemma      316
Linear logic      17
Linear symbol processor      64
Linguistic structures      66
Linguistics      66
Lob theorem      216
Local deduction      131
Local reflection principle      218
Local rules      129
Locally entailed      137 161
Locke, J      55
Logic of abduction      58 81 98
Logic of action      17
Logic of discovery      21
Logic of down below      47—49
Logic of functional proofs      344
Logic of functional proofs FLP      199
Logic of knowledge with justifications      201
Logic of labelled deduction      17
Logic of natural langauges      111
Logic of proofs      196 197 311
Logic of provability      191
Logic of reasoning      57
Logic of single-conclusion proofs      199
Logic of the standard proof predicate      199
Logic with quantifiers over proofs      201
Logical form      16 28 29
Logical form in PC      27
Logical inertia      29
Logical Inertia Rule      29 30
Logical omniscience      98 202
Logical omniscience problem      202
Logical particle      22
Logical system      23
Logicism      15
Logics of interpolability      195
Logics of knowledge      201
Logics of knowledge with justifications      341
Logics of proof and provability      198
Logics of proofs and provability      337
Logics of tolerance      195
Looping      84
LP-realization      318
M-model      334
M-models      198
MA      278
Magari algebraof T      195
Markov's rule      278
Massey, G.      30
Mathematical biophysics      116
Mathematical certainty      35
Mathematical formalisms      115
Mathematical logic      15—17 63
Mathematical reasoning      15
Mathematical structure      116
Mathematical turn in logic      15 17
Mathematics      115
Maxim of minimal mutilation      86
Maximal consistency      76
Maximal draws      20
Maximality assumption      20
Medin, D. L.      43
Meta-reasoning      203
Meta-signature      157
Metatehorem of Biconditionality      142
Metatheorem of Deduction      142
Metatheorem of Modus Ponens      142
Metatheorem of Substitutionof Equivalents      142
Metrization      70
Meyer, J. A.      50
Migration      116
Mill, J. S.      42
Minimal model of LP      198 335
Minsky, M.      43
Mistake      56
Mkrtychev model      334
Mkrytychev models      198
Modal logic      17
Modal logic K      136
Model theory      60
Modularity      52 64
Modulated deductive system      145
Modulated fibring of deductive systems      146

1 2 3 4

О проекте