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 79
Página vii
... sentence operators. If the first half of the twentieth century can lay fair claim to having produced the deep and ... sentences — apart from the importance intrinsic to such an achievement — opened up an important tension between modal ...
... sentence operators. If the first half of the twentieth century can lay fair claim to having produced the deep and ... sentences — apart from the importance intrinsic to such an achievement — opened up an important tension between modal ...
Página 22
... sentences which consists of exactly one of α and ¬α for each atomic α. Statedescriptions are said to “represent Leibniz's possible worlds or Wittgenstein's possible states of affairs”. A sentence is called L-true if it holds in every ...
... sentences which consists of exactly one of α and ¬α for each atomic α. Statedescriptions are said to “represent Leibniz's possible worlds or Wittgenstein's possible states of affairs”. A sentence is called L-true if it holds in every ...
Página 23
... sentence α has n atomic components then there are 2n state-descriptions that have to be considered in evaluating it ... sentences of ordinary length. He attributes the completeness result to a paper of Mordchaj Wajsberg from 1933 ...
... sentence α has n atomic components then there are 2n state-descriptions that have to be considered in evaluating it ... sentences of ordinary length. He attributes the completeness result to a paper of Mordchaj Wajsberg from 1933 ...
Página 32
... sentence is that for non-modal quantificational logic, every model set is included in μ M for some actual model M. Hence a set of non-modal formulas is satisfiable in the Tarskian sense if it is included in some model set. The 1957 ...
... sentence is that for non-modal quantificational logic, every model set is included in μ M for some actual model M. Hence a set of non-modal formulas is satisfiable in the Tarskian sense if it is included in some model set. The 1957 ...
Página 49
... sentence is in SnS can run in elementary time, i.e. time bounded by some fixed number of compositions of exponential functions. Gabbay developed a method of coding Kripke models into the structure Sω and thereby reducing the ...
... sentence is in SnS can run in elementary time, i.e. time bounded by some fixed number of compositions of exponential functions. Gabbay developed a method of coding Kripke models into the structure Sω and thereby reducing the ...
Í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 |