Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 1995-1999  (18)
  • 1998  (18)
  • Dordrecht : Springer  (18)
  • Atlantic Highlands, NJ : Humanities Press
  • Logic  (18)
  • 1
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401717397
    Language: English
    Pages: Online-Ressource (VII, 333 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Defeasible Reasoning and Uncertainty Management Systems 2
    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 ; Mathematical logic.
    Abstract: This volume deals with approaches to handling contradictory information. These include approaches for actual contradiction - both A and not-A can be proven from the information - and approaches for potential contradiction - where the information may contain arguments for A and arguments for not-A, but the system suppresses the contradiction by, for example, preferring some arguments over others. Approaches covered include paraconsistent logics, modal logics, default logics, conditional logics, defeasible logics and paraconsistent semantics for logic programming. The volume is of interest to students, researchers and practitioners in artificial intelligence, software engineering, logic, language and philosophy. This volume is the first handbook to give a comprehensive coverage of handling contradictory information
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401591232
    Language: English
    Pages: Online-Ressource (XIII, 202 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Law and Philosophy Library 37
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Law ; Linguistics Philosophy ; Philosophy of law ; Logic ; Constitutional law ; Law—History. ; Language and languages—Philosophy. ; Law—Philosophy.
    Abstract: The main purpose of this book is to offer a logical analysis of legal propositions, especially of constitutional propositions. This analysis shows the relationship between truth-conditions of legal propositions and the problem of indeterminacy. Where the law is indeterminate, legal propositions lack truth-values. The background of this approach is the philosophical debate between realism and antirealism. The book deals with the notions of legal norms and legal systems and provides an analysis of the notion of legal indeterminacy and its relation to gaps, contradictions and the vagueness of legal concepts. It shows also that the simple model of a legal system is not sufficient to account for the complexity of legal propositions referring to legal systems of some degree of maturity. Several notions from legal dynamics are presented in order to bring to light the importance of concepts like applicability or hierarchy for the determination of the truth-value of a legal proposition. Thus the primacy of constitution becomes a central idea in the theoretical reconstruction of most contemporary legal systems; a conceptual explanation of this idea is presented and some conclusions from that explanation are drawn. Finally, a particular conception of constitutional interpretation is proposed. Special attention is paid to the relationship between interpretation and legal indeterminacy and, more specifically, to the problem of the discretion enjoyed by the organs entrusted with applying the constitution and also to the several theses that have been discussed controversially in the context of constitutional interpretation, such as the relevance of the intentions for the interpretation of the constitution and for the justification of judicial review
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401590990
    Language: English
    Pages: Online-Ressource (IX, 194 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Law and Philosophy Library 36
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Law ; Philosophy of law ; Logic ; Artificial intelligence ; Law—Philosophy. ; Law—History.
    Abstract: This book describes extensions of deontic logic. Deontic logic is a branch of philosophical logic involving reasoning with norms, obligations, prohibitions and permissions. The extensions concern the logical structure of legal rules and legal reasoning. Their function is to improve the representation of legal knowledge and enhance deontic logic through increased expressibility. The resulting formulas acquire new meanings, not expressible in standard deontic logic, which are subject to fresh interpretations. The author offers an extensive analysis of the representation of actors, to whom the norms are directed, and authorities who enact the norms. Moreover, a distinction is made between enactment and applicability. A modality of enactment can be used to express inconsistent enacted norms in a consistent way. An authority-hierarchy is introduced to filter out the applicable norms from the set of enacted norms. Some related philosophical questions will be discussed regarding the applications of formalisms that are intrinsic to practical science with respect to `consistency' and `universality'. The formalisms and applications considered here are relevant for law, philosophy and computer science, with a special focus on the improvement of legal expert systems and intelligent support for legal professionals
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401725316
    Language: English
    Pages: Online-Ressource (X, 310 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Jaakko Hintikka Selected Papers 4
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Philosophy—History. ; Linguistics. ; Knowledge, Theory of.
    Abstract: Several of the basic ideas of current language theory are subjected to critical scrutiny and found wanting, including the concept of scope, the hegemony of generative syntax, the Frege-Russell claim that verbs like `is' are ambiguous, and the assumptions underlying the so-called New Theory of Reference. In their stead, new constructive ideas are proposed
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401157360
    Language: English
    Pages: Online-Ressource (XVI, 310 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Nijhoff International Philosophy Series 54
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Logic ; Mathematical logic.
    Abstract: Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology. His research started in 1914 with studies on the general theory of sets (later named `Mereology'). Ontology followed between 1919 and 1921, and was the next step towards an integrated system. In order to combine these two systematically he constructed Protothetic - the system of `first principles'. Together they amount to what Z. Jordan called `.. most thorough, original, and philosophically significant attempt to provide a logically secure foundation for the whole of mathematics'. The volume collects many of the most significant commentaries on, and contributions to, Protothetic. A Protothetic Bibliography is included
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    ISBN: 9789401152600
    Language: English
    Pages: Online-Ressource (XIV, 242 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 271
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Social sciences Philosophy ; Distribution (Probability theory) ; Logic ; Statistics ; Science—Philosophy. ; Philosophy and social sciences. ; Probabilities.
    Abstract: There are two competing pictures of science. One considers science as a system of inferences, whereas another looks at science as a system of actions. The essays included in this collection offer a view which intends to combine both pictures. This compromise is well illustrated by Szaniawski's analysis of statistical inferences. It is shown that traditional approaches to the foundations of statistics do not need to be regarded as conflicting with each other. Thus, statistical rules can be treated as rules of behaviour as well as rules of inference. Szaniawski's uniform approach relies on the concept of rationality, analyzed from the point of view of decision theory. Applications of formal tools to the problem of justice and division of goods shows that the concept of rationality has a wider significance. Audience: The book will be of interest to philosophers of science, logicians, ethicists and mathematicians
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401589963
    Language: English
    Pages: Online-Ressource (VII, 216 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 269
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Phenomenology ; Philosophy of mind ; Knowledge, Theory of.
    Abstract: Intentionality is one of the most frequently discussed topics in contemporary phenomenology and analytic philosophy. This book investigates intentionality from the point of view of intentional objects. According to the classical approach to this concept, whatever can be consciously experienced is regarded as an intentional object. Thus, not only ordinary existing individuals but also various kinds of non-existents and non-individuals are considered as intentional (including such bizarre entities as quantifier objects: `some dog', `every dog'). Alexius Meinong, an Austrian philosopher, is particularly well-known as the `inventor' of an abundant ontology of objects among which even incomplete and impossible ones, like `the round square', find their place. Drawing inspirations from Meinong's ideas, the author develops a simple logic of intentional objects, M-logic. M-logic closely resembles classical first-order logic and, as opposed to the formally complicated contemporary theories of non-existent objects, it is much more friendly in apprehending and applications. However, despite this resemblance, the ontological content of M-logic far exceeds that of classical logic. In this book formal investigations are intertwined with philosophical analyses. On the one hand, M-logic is used as a tool for investigating formal features of intentional objects. On the other hand, the study of intentionality phenomena suggests further ways of extending and modifying M-logic. Audience: The book is addressed to logicians, cognitive scientists, philosophers of language and metaphysics with either a phenomenological or an analytic background
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401150545
    Language: English
    Pages: Online-Ressource (VIII, 453 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Handbook of Defeasible Reasoning and Uncertainty Management Systems 3
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Distribution (Probability theory) ; Logic ; Artificial intelligence ; Mathematical logic. ; Probabilities.
    Abstract: Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive coverage of, and seeks to reconcile, two traditions in the kinematics of belief that often ignore each other - the symbolic and the numerical (often probabilistic) approaches. Moreover, the work encompasses both revision and fusion problems, even though these two are also commonly investigated by different communities. Finally, the book presents the numerical view of belief change, beyond the probabilistic framework, covering such approaches as possibility theory, belief functions and convex gambles. The work thus presents a unified view of belief change operators, drawing from a widely scattered literature embracing philosophical logic, artificial intelligence, uncertainty modelling and database systems. The material is a clearly organised guide to the literature on the dynamics of epistemic states, knowledge bases and uncertain information, suitable for scholars and graduate students familiar with applied logic, knowledge representation and uncertain reasoning
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    ISBN: 9789401591270
    Language: English
    Pages: Online-Ressource (XII, 306 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The New Synthese Historical Library, Texts and Studies in the History of Philosophy 45
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Philosophy, classical ; Logic ; Metaphysics ; Philosophy, Ancient.
    Abstract: The Moment of Change is the first systematic history of one of the oldest problems in the philosophy of space and time: How is the change from one state to its opposite to be described? Authors treated in this book range from Plato, Aristotle, medieval logicians, Kant, Brentano and Russell to contemporary authors, taking into account such theories as interval semantics and paraconsistent logic. The texts are analysed under two main aspects: Which (if any) of the opposite states does the moment of change belong to? And does it contain an instantaneous event? In the last part a new way of treating the moment of change is developed, which leads to a solution to Zeno's Flying Arrow Paradox. Audience: The book will be of interest to advanced students and scholars of analytic philosophy and the history of philosophy
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401720458
    Language: English
    Pages: Online-Ressource (X, 249 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Jaakko Hintikka Selected Papers 3
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Logic, Symbolic and mathematical ; Mathematics ; Logic ; Mathematical logic. ; History.
    Abstract: The foundations of mathematics are examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401149686
    Language: English
    Pages: Online-Ressource (IX, 198 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Philosophical Studies Series 74
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Metaphysics ; Philosophy, modern ; Ontology ; Knowledge, Theory of.
    Abstract: In the `Preliminary Dissertation' of his Theodicy, Leibniz declares himself an apologist for the compatibilist doctrines of original sin, election and reprobation propounded by the theologians of the Augsburg Confession. According to those theologians, man's actions are determined but man retains the power to act otherwise and therefore is responsible for his actions. Savage argues that Leibniz, in formulating his apology, availed himself of both his doctrine of possible worlds and his finite-infinite analysis distinction (the latter being applied within the former). Savage challenges the dogma that Leibniz's metaphysical principles entail that individuals are powerless to act otherwise and that God cannot conceive of them acting otherwise. He argues that interpreters deduce the dogma from those principles with the aid of dubious extra-textual premises, for example, that a Leibnizian individual has only one complete concept or cannot be persons other than the person it actually is
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    ISBN: 9789401589949
    Language: English
    Pages: Online-Ressource (XV, 191 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Philosophical Studies Series 72
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Humanities ; Logic ; Artificial intelligence ; Linguistics. ; Philosophy. ; Cognitive psychology.
    Abstract: The papers in this volume represent leading-edge work by well-known scholars on the topics mentioned in the title: discourse, interaction, and communication. They report work done from widely divergent points on the theoretical spectrum of cognitive science, and from different disciplinary starting points (philosophy, logic, linguistics, artificial intelligence). Not only do these works faithfully represent the main topics and the wide range of differing positions presented at the Fourth International Colloquium on Cognitive Science (ICCS-95), but despite their differences (or perhaps because of these differences) they also display many clear directions for future research in these three central areas of cognitive science. This book is essential reading for all researchers in cognitive science
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401152921
    Language: English
    Pages: Online-Ressource (308p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 277
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Logic ; Computational linguistics ; Mathematical logic.
    Abstract: Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    ISBN: 9789401150521
    Language: English
    Pages: Online-Ressource (XXVII, 388 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Philosophical Studies Series 76
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Linguistics Philosophy ; Logic ; Ontology ; Phenomenology ; Artificial intelligence ; Language and languages—Philosophy.
    Abstract: The late Hector-Neri Castañeda, the Mahlon Powell Professor of Philosophy at Indiana University, and founding editor of Noûs, has deeply influenced current analytic pjilosophy with diverse contributions, including guise theory, the theory on indicators and quasi-indicators, and the proposition/practition theory. This volume collects 15 papers - for the most part previously unpublished - in ontology, philosophy of language, cognitive science and related areas by ex-students of Professor Castañeda, most of whom are now well-known researchers or even distinguished scholars. The authors share the conviction that Castañeda's work must continue to be explored and that his philosophical methodology must continue to be applied in an effort to further illuminate all the issues that he so deeply investigated. The topics covered by the contributions include intensional contexts, possible worlds, quasi-indicators, guise theory, property theory, Russell's substitutional theory of propositions, event theory, the adverbial theory of mental attitudes, existentialist ontology, and Plato's, Leibniz's, Kant's and Peirce's ontologies. An introduction by the editors relates all these themes to Castañeda's philosophical interests and methodology
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    ISBN: 9789400708488
    Language: English
    Pages: Online-Ressource (XIII, 192 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Law and Philosophy Library 34
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Law ; Philosophy of law ; Science Philosophy ; Logic ; Law—History. ; Science—Philosophy. ; Law—Philosophy.
    Abstract: Legal statements are, according to the authors, the most basic elements of the law. Nevertheless they must be considered not only as the pieces of a puzzle, but also as the components of a dynamic and highly complex reality: the law of contemporary society. The book presents an analysis of the different types of legal statements (mandatory rules, principles, power-conferring rules, definitions, permissions, values and the rule of recognition) from a threeefold perspective, that is, considering their logical structure, their function in legal reasoning as reasons for action, and their connections with the interests and power relationships among the individuals and the social groups. The result is conceived as a first step in the building of a general theory of law designed not as an isolated discourse but as a decisive element for the dynamization of the legal culture
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    ISBN: 9789401152501
    Language: English
    Pages: Online-Ressource (393p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 270
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Genetic epistemology ; Linguistics Philosophy ; Logic ; Metaphysics ; Language and languages—Philosophy. ; Knowledge, Theory of.
    Abstract: This collection of essays is the definitive version of a widely discussed debate over the origins of the New Theory of Reference. In new articles written especially for this volume, Quentin Smith and Scott Soames, the original participants in the debate, elaborate their positions on who was responsible for the ideas that Saul Kripke presented in his Naming and Necessity. They are joined by John Burgess, who weighs in on the side of Soames, while Smith adds a further dimension in discussing the contributions of philosophers such as Føllesdal, Geach, Hintikka, and Plantinga. Also included are lengthy excerpts from Føllesdal's 1961 Harvard dissertation and a careful examination by Sten Lindström of the respective contributions of Kripke and Stig Kanger to the development of modal semantics. The collection will be essential reading for anyone acquainted with these influential ideas
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401727068
    Language: English
    Pages: Online-Ressource (V, 386 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Linguistics and Philosophy 69
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Linguistics ; Linguistics Philosophy ; Semantics ; Grammar, Comparative and general Syntax ; Logic ; Grammar, Comparative and general—Syntax. ; Language and languages—Philosophy. ; Semiotics.
    Abstract: The eight papers collected in Plurality and Quantification address three central issues in the study of plurality and quantification in natural languages. The first major theme regards algebraic approaches to plurals and quantification that have emerged as the leading paradigm for the study of these empirical phenomena over the last decade. The second main issue concerns the philosophical and mathematical foundations of concepts such as distributivity and collectivity. Finally, the authors address a broad range of empirical phenomena in Germanic and Romance languages, including the influence of Aktionsart on plural noun phrases, negative polarity, mass terms, plural quantification, and noun phrase conjunction. Many of the papers shed new light on the question of how many readings have to be assigned to plural sentences and on the respective consequences for the architecture of the syntax-semantics interface. Furthermore, most of the contributions contain insights which bear upon the study of the structure of universal grammar. Audience: Plurality and Quantification will interest linguists, graduate students in semantics and syntax, philosophers of language and philosophical logicians interested in the semantics of natural language
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 18
    ISBN: 9789401736169
    Language: English
    Pages: Online-Ressource (IX, 469 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 276
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Information theory ; Logic, Symbolic and mathematical ; Logic ; Mathematical logic. ; Computer science. ; Science—Philosophy.
    Abstract: Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it. However, the meaning of the terms `construction' and `proof' has never been adequately explained (although Kriesel, Goodman and Martin-Löf have attempted axiomatisations). This monograph develops precise (though not wholly formal) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic logic. Interpretations of Heyting arithmetic and constructive analysis are given. The philosophical basis of constructivism is explored thoroughly in Part I. The author seeks to answer objections from platonists and to reconcile his position with the central insights of Hilbert's formalism and logic. Audience: Philosophers of mathematics and logicians, both academic and graduate students, particularly those interested in Brouwer and Hilbert; theoretical computer scientists interested in the foundations of functional programming languages and program correctness calculi
    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...