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

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

Stganovich, K. A.      33
Stigler, G. J.      38
Stough, C. L.      69
Strategic plausibility      92 97
Strictness      32
Strong LP-model      336
Strong probability operator      343
Strong provability operator      202
Strong provability semantics      202
Subconscious abductive processes      47
Subconscious cognition      47
Subformula property      205
Subjective expected utility      52
Substructural logic      63
Supervenience      51
Surprise      80 81
Survival      116
Syllogism      15 21 114
Syllogistic consequence      20 114
Symbol manipulation      16
Symbolic logic      15
System GL      192
System of provability and explicit proofs LPP      199
T-complete      227
T-completion ${[L]}^{T}$       227
T-interpretation ${f}_{T}(\varphi)$       216
Tableau      198
Tableau system      336
Tallis, R.      46
Target concepts      66
Target properties      27
Target-modesty      58
Tarskian consequence relation      132
Tautologousness      24
Temporal logic      17
Testimony of experts      69
Thagard, P. M.      48 60
The Standard Picture      16
The worm principle      305
Thelen, E.      49
Theophrastus' rule      98
Theoretical agent      18 35 36
Theoretical poulation genetics      115
Theoretical reasoning      35 59
Theoretical-practical distinction      59
Theory      215
Tienson, J.      48
Time      18 33
Topological semantics      201
Trace $tr(\varphi)$       210
Trace tr(L) of a modal logic L      230
Treisman, A.      64
Treisman, A. M.      64
Trigger      82
Truth      23
Truth conditional semantics      25 27

Truth functionality      25
Truth provability logic      192
Truth provability logic of T      226
Truth value      135
Truth-preservation      21 40 41 78
Turing's conjecture      116
type checking      198
Typed $\lambda$ -calculus      202
Typed $\lambda$ -terms      199
Typed combinatory logic      202 315
Typed theories      202
Types of bimodal provability logics      262
Uglow, S.      101 102
Unboundedness theorem      219
Unconstrained fibring      135 162
Unexpectedness      81
Unification axiom      344
uniform      169
Uniform interpolation      208
Uniform reflection principle      218
union      315
Universal construction      134
Universal quantification      87
Universal quantifier      22
Universal semantics      201
Universal types      267
Universally quantified conditional      43 100
utilities      53
Validity      21 24 26 28—30 40 41 43
Valuation      26 40
Vector-to-vector transformation      47
Velleman, J. D.      31
Verification      203
Verification systems      347
Verified inference rules      347
Vertically persistent      170
Visser's rule $({V}_{n})$       287
Visser's theorem      280
Walton, D.      37 94 96 99 102
Wasserman, R.      59
Weak interpolation      337
Weak LP-model      336
Weak reflexivity      342
Weakening      319
Webb, B.      49
Weiner, J.      22
Wheeler, M.      49—51
Wimsatt, W.      51
Witness comparison      194
Witness function      334
Wolfram, S.      46
Wood, B.      64
Woodworth, R. S.      45
Worm principle      196
Wright, J. M. von      64
Yates, S.      45

1 2 3 4

О проекте