Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • MPI Ethno. Forsch.  (6)
  • Kalliope (Nachlässe)
  • Ethnoguide
  • Benthem, Johan  (3)
  • Holmström-Hintikka, Ghita  (3)
  • Dordrecht : Springer  (6)
  • Logic  (6)
  • 1
    ISBN: 9789401006309
    Language: English
    Pages: Online-Ressource (XII, 281 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 304
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Philosophy of law ; Political science. ; Logic ; Law—Philosophy.
    Abstract: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers. The present volume contains critical essays on the various aspects of Kanger's work as well as some biographical sketches. Lennart Åqvist, Jan Berg, Brian Chellas, Anatoli Degtyarev, Lars Gustafsson, Sören Halldén, Kaj Børge Hansen, Sven Ove Hansson, Risto Hilpinen, Jaakko Hintikka, Ghita Holmström-Hintikka, Lars Lindahl, Sten Lindström, Ingmar Pörn, Dag Prawitz, Wlodek Rabinowicz, Krister Segerberg, Amartya Sen, Sören Stenlund, Göran Sundholm, and Andrei Voronkov have contributed to this volume
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISBN: 9789401005005
    Language: English
    Pages: Online-Ressource (XIV, 292 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 303
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Philosophy of law ; Political science. ; Logic ; Mathematical logic. ; Law—Philosophy.
    Abstract: Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action theory, preference logic, and the theory of measurement. This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    ISBN: 9789401704397
    Language: English
    Pages: Online-Ressource (XVII, 317 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 266
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Philosophy of law ; Humanities ; Logic ; Metaphysics ; Philosophy of mind ; Law—Philosophy.
    Abstract: Contemporary Action Theory, Volume I (Individual Action) is concerned with topics in philosophical action theory such as reasons and causes of action, intentions, freedom of will and of action, omissions and norms in legal and ethical contexts, as well as activity, passivity and competence from medical points of view. Cognitive trying, freedom of the will and agent causation are challenges in the discussion on computers in action. The Volume consists of contributions by leading experts in the field written specifically for this volume. No comparable volume currently exists
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    ISBN: 9789401704878
    Language: English
    Pages: Online-Ressource (XVIII, 534 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 259
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic, Symbolic and mathematical ; Logic ; Artificial intelligence ; Mathematical logic. ; Science—Philosophy.
    Abstract: This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    ISBN: 9789401579476
    Language: English
    Pages: Online-Ressource (XXII, 290 p) , digital
    Edition: Second Edition
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 156
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Logic ; Artificial intelligence ; Computational linguistics ; Mathematical logic.
    Abstract: I / Temporal Ontology -- I.1. / Primitive Notions -- I.2. / Points -- I.3. / Periods -- I.4. / Points and Periods -- I.5. / Events -- II / Temporal Discourse -- II.1. / Choice of Languages -- II.2. / Instant Tense Logic -- II.3. / Extended Tense Logic -- II.4. / Point Talk and Period Talk -- Appendix A / On Space -- Notes -- List of Important Principles -- Index of Names -- Index of Subjects -- Appendix “Sept Ans Après” -- Additional References.
    Abstract: The subject of Time has a wide intellectual appeal across different dis­ ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789400945401
    Language: English
    Pages: Online-Ressource (240p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Linguistics and Philosophy 29
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Linguistics ; Semantics ; Logic ; Semiotics.
    Abstract: I/Constraints on Denotations -- 1 / Determiners -- 2 / Quantifiers -- 3 / All Categories -- 4 / Conditionals -- 5 / Tense and Modality -- 6 / Natural Logic -- II/Dynamics of Interpretation -- 7 / Categorial Grammar -- 8 / Semantic Automata -- III/Methodology of Semantics -- 9 / Logical Semantics as an Empirical Science -- 10/ The Logic of Semantics -- References -- Index of Names -- Index of Subjects.
    Abstract: Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com­ position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably.
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...