Logic and the Modalities in the Twentieth CenturyDov M. Gabbay, John Woods Elsevier, 10/05/2006 - 732 páginas Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas. This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings in logic’s long history. Written by the leading researchers and scholars in the field, the volume explores the logics of necessity and possibility, knowledge and belief, obligation and permission, time, tense and change, relevance, and more. Both this volume and the Handbook as a whole are definitive reference tools for students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, artificial intelligence, for whom the historical background of his or her work is a salient consideration. · Detailed and comprehensive chapters covering the entire range of modal logic. · Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic. |
No interior do livro
Resultados 1-5 de 78
Página vii
... language meanings. It is not wholly clear how to understand this proliferation. One possibility is that logic has a greater capacity to identify different concepts of possibility than do native speakers of languages such as English. It ...
... language meanings. It is not wholly clear how to understand this proliferation. One possibility is that logic has a greater capacity to identify different concepts of possibility than do native speakers of languages such as English. It ...
Página ix
... language introduced by the linguist C.W. Morris — the trichotomony between syntax, semantics and pragmatics — we would be reminded that a pragmatic approach to language is one that takes expressly into account the roles of language ...
... language introduced by the linguist C.W. Morris — the trichotomony between syntax, semantics and pragmatics — we would be reminded that a pragmatic approach to language is one that takes expressly into account the roles of language ...
Página 29
... language which has a remarkable aspect. Kanger wishes to have the symbol ε interpreted as the genuine set membership relation, and he applies the (much-overused) adjective normal to a primary valuation V which does give this ...
... language which has a remarkable aspect. Kanger wishes to have the symbol ε interpreted as the genuine set membership relation, and he applies the (much-overused) adjective normal to a primary valuation V which does give this ...
Página 40
... language of Prior's PF-calculus for tense logic (section 4.4). A model structure for this language would in principle have the form (K, RP ,RF), with RP and RF being binary relations on K interpreting the modalities P and F. But for ...
... language of Prior's PF-calculus for tense logic (section 4.4). A model structure for this language would in principle have the form (K, RP ,RF), with RP and RF being binary relations on K interpreting the modalities P and F. But for ...
Página 46
... language. In addition to a set of postulates for linearly-ordered frames it has the axioms Gp → Fp Pp → P(p ∧ ¬Pp) GFp → FGp. The first of these is valid in a frame (K, R) only if the “endless time” condition ∀x∃y(xRy) is ...
... language. In addition to a set of postulates for linearly-ordered frames it has the axioms Gp → Fp Pp → P(p ∧ ¬Pp) GFp → FGp. The first of these is valid in a frame (K, R) only if the “endless time” condition ∀x∃y(xRy) is ...
Índice
1 | |
99 | |
Deontic Logic Paul McNamara | 197 |
Relevant and Substructural Logics Greg Restall | 289 |
A N Priors Logic Peter Øhrstrøm and Per F V Hasle | 399 |
The Philosophical Background Peter Øhrstrøm and Per F V Hasle | 447 |
The Gamut of Dynamic Logics Jan van Eijck and Martin Stokhof | 499 |
Situation Theory and Situation Semantics Keith Devlin | 601 |
Dialogue Logic Erik Krabbe | 665 |
Index | 705 |
Palavras e frases frequentes
½ ½ A.N. Prior accessibility relation agent algebra axiom axiomatisation belief Belnap Benthem bisimulation Boolean calculus characterised classical coalgebra complete Computer Science conjunction construction context defined definition deontic logic described situation disjunction doxastic doxastic logic dynamic logic entailment epistemic logic equivalent example expresses fact finite first-order formal formula frame function Gabbay Goldblatt Hintikka implication infon instance interpretation intuitionistic intuitionistic logic Journal of Symbolic Kripke language lattice linear logic Lorenzen means Meyer modal logic negation notion Ô Õ Ô obligations obligatory ÔÕ operator Philosophical Logic possible worlds predicate problem programs proof theory propositional content propositional logic provable quantifier relevant logic result satisfies Segerberg semantics sentence situation semantics statement structural rules substructural logics Symbolic Logic Tarski temporal logic tense logic theorem true truth utterance valid variables
Passagens conhecidas
Página 111 - I conclude then that the necessary and sufficient conditions for knowing that something is the case are first that what one is said to know be true, secondly that one be sure of it, and thirdly that one should have the right to be sure.
Página 151 - Take, for instance, the possible fat man in that doorway; and, again, the possible bald man in that doorway. Are they the same possible man, or two possible men? How do we decide? How many possible men are there in that doorway ? Are there more possible thin ones than fat ones? How many of them are alike?
Página 442 - So far, then, as I have anything that you could call a philosophical creed, its first article is this: I believe in the reality of the distinction between past, present, and future. I believe that what we see as a progress of events is a progress of events, a coming to pass of one thing after another, and not just a timeless tapestry with everything stuck there for good and all.
Página 144 - If we could recover our pre-Fregean semantic innocence, I think it would seem to us plainly incredible that the words "The earth moves", uttered after the words "Galileo said that", mean anything different, or refer to anything else, than is their wont when they come in other environments.
Página 414 - ... happening and that it isn't about to happen, and after it has happened we say that it has happened, that it is no longer happening and that it is not going to happen. Stated in words these semantic rules might seem circular, but taught in connection with a concrete situation they are wholly clear. And our conventions with regard to tenses are so well worked out that we have practically the materials in them for a formal calculus.17 Where all is so desirably definite, what room is there for puzzles...
Página 142 - It provides that, given a true statement of identity, one of its two terms may be substituted for the other in any true statement and the result will be true.
Página 155 - But it is clear that Pierre, as long as he is unaware that the cities he calls 'London' and 'Londres' are one and the same, is in no position to see, by logic alone, that at least one of his beliefs must be false. He lacks information, not logical acumen. He cannot be convicted of inconsistency: to do so is incorrect. We can shed more light on this if we change the case. Suppose that, in France, Pierre, instead of affirming "Londres est jolie," had affirmed, more cautiously...
Página 486 - ... definition of an absolute time. No doubt it is possible to refine the procedure so as to obtain a precise definition, but perhaps only by introducing more or less arbitrary elements (such as, eg, the size of the regions or the weight function to be used in the computation of the mean motion of matter).
Página 667 - is useful for three things : for exercise of the mind, for converse with other men, and for knowing how to question and handle the principles of philosophy." And the object of his ' Topics ' is, as he tells us, " to discover a method by which we shall be able to reason from probabilities on any given question, and to defend a position without being driven to contradict our own assertions.
Página 151 - Quine, in addressing the comparison between the transworld and the transtemporal, concludes that « the devastating difference is that the series of momentary cross-sections of our real world is uniquely imposed on us, for better or for worse, whereas all manner of paths of continuous gradation from one possible world to another are free for the thinking up...
Referências a este livro
Lectures on the Curry-Howard Isomorphism, Volume 10 Morten Heine Sørensen,Paweł Urzyczyn Pré-visualização indisponível - 2006 |