Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • English  (21)
  • 1975-1979  (21)
  • Dordrecht : Springer  (21)
  • Hoboken : Taylor and Francis
  • Logic  (21)
Datasource
Material
Language
  • English  (21)
Years
Year
Author, Corporation
Publisher
Keywords
  • 1
    Online Resource
    Online Resource
    Selected Papers in Logic and Foundations, Didactics, Economics (1979)
    Dordrecht : Springer
    Details
    ISBN: 9789400993471
    Language: English
    Pages: Online-Ressource (XII, 341 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Vienna Circle Collection 10
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Genetic epistemology ; Algebra ; Logic ; Algebra, Homological. ; Knowledge, Theory of.
    Abstract: I. Papers Introducing Logical Tolerance -- Logical Tolerance in the Vienna Circle -- 1 The New Logic (1933) -- 2 On Intuitionism (1930) -- II. Opuscula logica -- 3 Meaningfulness and Structure (1930) -- 4 A New Point of View on the Logical Connectives (1978) -- 5 An Intuitionistic-Formalistic Dictionary of Set Theory (1928) -- 6 Ultrasets and the Paradoxes of Set Theory (1928) -- 7 A Logic of the Doubtful. On Optative and Imperative Logic (1939) -- III. Fundamental Concepts in Pure and Applied Mathematics -- 8 A Counterpart of Occam’s Razor (1960, 1961) -- 9 A Theory of the Application of the Function Concept to Science (1970) -- 10 Variables, Constants, Fluents (1961) -- 11 Wittgenstein on Formulae and Variables (1978) -- IV. Didactics of Mathematics -- 12 A New Approach to Teaching Intermediate Mathematics (1958) -- 13 Why Johnny Hates Math (1956) -- 14 On the Formulation of Certain Questions in Arithmetic (1956) -- 15 On the Design of Grouping Problems and Related Intelligence Tests (1953) -- 16 The Geometry Relevant to Modern Education (1971) -- V. Philosophical Ramifications of some Geometric Ideas -- 17 On Definition, Especially of Dimension (1921–1923, 1928) -- 18 Square Circles (The Taxicab Geometry) (1952, 1978) -- 19 The Algebra of Geometry (1978) -- 20 Geometry and Positivism. A Probabilistic Microgeometry (1970) -- VI. -- 21 My Memories of L. E. J. Brouwer (1978) -- VII. Economics. Meta-Economics -- 22 The Role of Uncertainty in Economics (1934) -- 23 Remarks on the Law of Diminishing Returns. A Study in Meta-Economics (1936) -- VIII. Gulliver’s Interest in Mathematics -- 24 Gulliver in the Land without One, Two, Three (1959) -- 25 Gulliver’s Return to the Land without One, Two, Three (1960) -- 26 Gulliver in Applyland (1960) -- Bibliography of Works by Karl Menger -- Index of Names.
    Abstract: This volume brings together those papers of mine which may be of interest not only to various specialists but also to philosophers. Many of my writings in mathematics were motivated by epistemological considerations; some papers originated in the critique of certain views that at one time dominated the discussions of the Vienna Cirele; others grew out of problems in teaching fundamental ideas of mathematics; sti II others were occasioned by personal relations with economists. Hence a wide range of subjects will be discussed: epistemology, logic, basic concepts of pure and applied mathematics, philosophical ideas resulting from geometric studies, mathematical didactics and, finally, economics. The papers also span a period of more than fifty years. What unifies the various parts of the book is the spirit of searching for the elarification of basic concepts and methods and of articulating hidden ideas and tacit procedures. Part 1 ineludes papers published about 1930 which expound an idea that Carnap, after a short period of opposition in the Cirele, fully adopted ; and, under the name "Princip/e of To/erance", he eloquently formulated it in great generality in his book, Logica/ Syntax of Language (1934), through which it was widely disseminated. "The New Logic" in Chapter 1 furthermore ineludes the first report (I932) to a larger public of Godel's epochal discovery presented among the great logic results of ali time. Chapter 2 is a translation of an often quoted 1930 paper presenting a detailed exposition and critique of intuitionism.
    DOI: 10.1007/978-94-009-9347-1
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 2
    Online Resource
    Online Resource
    Universalizability : A Study in Morals and Metaphysics (1979)
    Dordrecht : Springer
    Details
    ISBN: 9789400994843
    Language: English
    Pages: Online-Ressource (190p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 141
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: 1. Introduction -- 1. Introduction -- I Theory of Universalistic Conditions -- 2. Questions -- 3. Answers -- 4. Formalities -- II Universalizability and Automorphisms -- 5. Introductory Remarks -- 6. Theory of Automorphisms -- 7. Morality without Purity -- III Beyond Similarity -- 8. The Universalizability Dilemma -- 9. Universal Aspects -- 10. Universality and Relevance -- 11. Universality and Universalizability -- 12. Extensions of Leibnizianism -- IV Individuals Do Not Matter -- 13. Universalizability in Morals and Elsewhere -- 14. Intensions and Extensions -- 15. Universality and Intensions -- 16. Leibnizianism Once Again -- Appendix to Part IV -- Index of Names and Subjects.
    Abstract: 1. 1. The Principle of Universalizability-an informal explication This work is concerned with the so-called Principle of Universalizability. As we shall understand it, this principle represents a claim that moral properties of things (persons, actions, state of affairs, situations) are essentially independent of their purely 'individual' or-as one often says -'numerical' aspects. l Thus, if a thing, x, is better than another thing, y, then this fact is not dependent on x's being x nor on y's being y. If a certain person, a, has a duty to help another person, b, then this duty does not arise as a consequence of their being a and b, respectively. And if in a certain situation, W, it ought to be the case that certain goods are transferred from one person to another, then this moral obligation does not depend on the individual identities of the persons involved. The Universalizability Principle may also be expressed in terms of similarities. Instead of saying that the moral properties of x are essentially independent of the individual aspects of x, we may say that any object which is exactly similar to x, which is precisely like x in all non-individual, 'qualitative' respects, must exhibit exactly similar moral properties. Thus, if two persons are exactly similar to each other, (if they are placed in exactly similar circumstances, have exactly similar information, preferences, character, etc. ), then they will have exactly similar rights and duties.
    DOI: 10.1007/978-94-009-9484-3
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 3
    Online Resource
    Online Resource
    The New Rhetoric and the Humanities : Essays on Rhetoric and its Applications (1979)
    Dordrecht : Springer
    Details
    ISBN: 9789400994829
    Language: English
    Pages: Online-Ressource (197p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 140
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic ; Social sciences
    Abstract: 1. The New Rhetoric: a Theory of Practical Reasoning -- 2. Rhetoric and Philosophy -- 3. Philosophy, Rhetoric, Commonplaces -- 4. The Philosophy of Pluralism and the New Rhetoric -- 5. Dialectic and Dialogue -- 6. Rhetorical Perspectives on Semantic Problems -- 7. Analogy and Metaphor in Science, Poetry and Philosophy -- 8. Scientific Methodology and Open Philosophy -- 9. Behaviorism’s Enlightened Despotism -- 10. Disagreement and Rationality -- 11. The Rational and the Reasonable -- 12. Reflections on Practical Reason -- 13. The Role of the Model in Education -- 14. Authority, Ideology and Violence -- 15. Meaning and Categories in History -- 16. Classicism and Romanticism in Argumentation.
    Abstract: Modern logic has Wldergone some remarkable developments in the last hun­ dred years. These have contributed to the extraordinary use of formal logic which has become essentially the concern of mathematicians. This has led to attempts to identify logic with formal logic. The claim has even been made that all non-formal reasoning, to the extent that it cannot be formalized, no longer belongs to logic. This conception leads to a genuine impoverishment of logic as well as to a narrow conception of reason. It means that as soon as demonstrative proofs are no longer available reason will no longer dominate. Even the idea of the 'reasonable' becomes foreign to logic and such expres­ sions as 'reasonable decisions', 'reasonable choice' or 'reasonable hypotheses' would be put aside as meaningless. The domain of action, including method­ ology and everything that is given over to deliberation or controversy - i.e., foreign to formal logic - would become a battleground where necessarily the reason of the strongest would always prevail.
    DOI: 10.1007/978-94-009-9482-9
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 4
    Online Resource
    Online Resource
    The Logical Structure of Mathematical Physics (1979)
    Dordrecht : Springer
    Details
    ISBN: 9789400995222
    Language: English
    Pages: Online-Ressource (352p) , digital
    Edition: Second Edition, Revised
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: A Pallas Paperback 35
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 35
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic ; Science—Philosophy. ; Social sciences. ; Humanities.
    Abstract: I. Logical Structure and Axiomatization -- II. The Traditional View -- III. The Ramsey View -- IV. The Ramsey View Emended -- V. Theoretical Functions with Special Forms -- VI. Classical Particle Mechanics -- VII. Identity, Equivalence and Reduction -- VIII. The Dynamics of Theories -- Updated Bibliography.
    Abstract: This book is about scientific theories of a particular kind - theories of mathematical physics. Examples of such theories are classical and relativis­ tic particle mechanics, classical electrodynamics, classical thermodynamics, statistical mechanics, hydrodynamics, and quantum mechanics. Roughly, these are theories in which a certain mathematical structure is employed to make statements about some fragment of the world. Most of the book is simply an elaboration of this rough characterization of theories of mathematical physics. It is argued that each theory of mathematical physics has associated with it a certain characteristic mathematical struc­ ture. This structure may be used in a variety of ways to make empirical claims about putative applications of the theory. Typically - though not necessarily - the way this structure is used in making such claims requires that certain elements in the structure play essentially different roles. Some playa "theoretical" role; others playa "non-theoretical" role. For example, in classical particle mechanics, mass and force playa theoretical role while position plays a non-theoretical role. Some attention is given to showing how this distinction can be drawn and describing precisely the way in which the theoretical and non-theoretical elements function in the claims of the theory. An attempt is made to say, rather precisely, what a theory of mathematical physics is and how you tell one such theory from anothe- what the identity conditions for these theories are.
    DOI: 10.1007/978-94-009-9522-2
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 5
    Online Resource
    Online Resource
    Model Theory for Modal Logic : Kripke Models for Modal Predicate Calculi (1979)
    Dordrecht : Springer
    Details
    ISBN: 9789401576420
    Language: English
    Pages: Online-Ressource (X, 139 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 127
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: Syntactic Considerations -- Modal Structures and Morphisms -- Validity -- Completeness -- Löwenheim-Skolem Theorems -- Ultraproducts -- Ultrafilter Pairs and Elementary Embeddings -- Direct Limits -- Model Extensions -- Inductive Theories -- Joint Consistency and Interpolation -- Model Completeness -- Finite Forcing -- Forcing and Model Completions -- Omitting Types and a Two-Cardinal Theorem.
    DOI: 10.1007/978-94-015-7642-0
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 6
    Online Resource
    Online Resource
    Quantum Logic (1978)
    Dordrecht : Springer
    Details
    ISBN: 9789400998711
    Language: English
    Pages: Online-Ressource (157p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 126
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic ; Philosophy and science.
    Abstract: 1 / The Hilbert Space Formulation of Quantum Physics -- 1.1 The Hilbert Space -- 1.2 The Lattice of Subspaces of Hilbert Space -- 1.3 Projection Operators -- 1.4 States and Properties of a Physical System -- 2 / The Logical Interpretation of the Lattice Lq -- 2.1 The Quasimodular Lattice Lq -- 2.2 The Relation of Commensurability -- 2.3 The Material Quasi-implication -- 2.4 The Relation between Lattice Theory and Logic -- 3 / The Material Propositions of Quantum Physics -- 3.1 Elements of a Language of Quantum Physics -- 3.2 Argument-rules for Compound Propositions -- 3.3 Commensurability and Incommensurability -- 3.4 The Material Dialog-game -- 4 / The Calculus of Effective Quantum Logic -- 4.1 Formally True Propositions -- 4.2 Formal Dialogs with Material Commensurabilities -- 4.3 The Formal Dialog-game -- 4.4 The Calculus Qeff of Effective Quantum Logic -- 5 / The Lattice of Effective Quantum Logic -- 5.1 The Quasi-implicative Lattice Lqi -- 5.2 Properties of the Lattice Lqi -- 5.3 The Relation between Lqi and the Lattice Li -- 5.4 The Relation between Lqi and the Lattice Lq -- 6 / The Calculus of Full Quantum Logic -- 6.1 Value-definite Material Propositions -- 6.2 The Value-definiteness of Compound Propositions -- 6.3 The Extension of the Calculus Qeff -- 6.4 The Principle of Excluded Middle -- Concluding Remarks: Classical Logic and Quantum Logic.
    Abstract: In 1936, G. Birkhoff and J. v. Neumann published an article with the title The logic of quantum mechanics'. In this paper, the authors demonstrated that in quantum mechanics the most simple observables which correspond to yes-no propositions about a quantum physical system constitute an algebraic structure, the most important proper­ ties of which are given by an orthocomplemented and quasimodular lattice Lq. Furthermore, this lattice of quantum mechanical proposi­ tions has, from a formal point of view, many similarities with a Boolean lattice L8 which is known to be the lattice of classical propositional logic. Therefore, one could conjecture that due to the algebraic structure of quantum mechanical observables a logical calculus Q of quantum mechanical propositions is established, which is slightly different from the calculus L of classical propositional logic but which is applicable to all quantum mechanical propositions (C. F. v. Weizsacker, 1955). This calculus has sometimes been called 'quan­ tum logic'. However, the statement that propositions about quantum physical systems are governed by the laws of quantum logic, which differ from ordinary classical logic and which are based on the empirically well-established quantum theory, is exposed to two serious objec­ tions: (a) Logic is a theory which deals with those relationships between various propositions that are valid independent of the content of the respective propositions. Thus, the validity of logical relationships is not restricted to a special type of proposition, e. g. to propositions about classical physical systems.
    DOI: 10.1007/978-94-009-9871-1
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 7
    Online Resource
    Online Resource
    Essays on Mathematical and Philosophical Logic : Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 (1978)
    Dordrecht : Springer
    Details
    ISBN: 9789400998254
    Language: English
    Pages: Online-Ressource (488p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 122
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic ; Science—Philosophy.
    Abstract: I Proof Theory -- Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory -- Proofs and the Meaning and Completeness of the Logical Constants -- Theory of Quantification and ‰-calculi -- Two Kinds of Extensions of Primitive Recursive Arithmetic -- Equality in the Presence of Apartness -- II Infinitary Languages -- Game-Theoretical Semantics and Back-and-Forth -- Infinitary Languages N?? and Generalized Partial Isomorphisms -- III Set Theory and Model Theory -- Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets -- Hierarchies of Model Theoretic Definability — An Approach to Second Order Logics -- Open Problems in the Theory of Ultrafilters -- IV Generalized Quantifiers -- The Reals Cannot Be Characterized Topologically with Strictly Local Properties and Countability Axioms -- On the Expressive Power of the Language Using the Henkin Quantifier -- Remarks on Free Quantifier Variables -- V Recursion Theory -- Recursion in 3E and a Splitting Theorem -- Retracts of Post’s Numbering and Effectivization of Quantifiers -- VI Logic and Natural Language -- Quantifiers in Natural Languages: Some Logical Problems, I -- Models for Natural Languages -- Backwards-Looking Operators in Tense Logic and in Natural Language -- VII Philosophical Logic -- Paradoxes in a Semantic Perspective -- Hintikka’s Possible Worlds and Rigid Designators -- On the Content Analysis of Two Normative Notions -- Singular Terms, Existence and Truth: Some Remarks on a First Order Logic of Existence -- VIII Truthlikeness -- On Distance From the Truth as a True Distance -- Truthlikeness in First-Order Languages -- Index of Names.
    Abstract: The Fourth Scandinavian Logic Symposium and the First Soviet-Finnish Logic Conference were held in JyvaskyIa, Finland, June 29-July 6, 1976. The Conferences were organized by a committee which consisted of the editors of the present volume. The Conferences were supported financially by the Ministry of Education of Finland, by the Academy of Finland, and by the Division of Logic, Methodology, and Philosophy of Science of the International Union of History of Science. The Philosophical Society of Finland and the Jyvaskyla Summer Festival gave valuable help in various practicalities. 35 papers by authors representing 10 countries were presented at the two meetings. Of those papers 24 appear here. THE EDITORS v TABLE OF CONTENTS PREFACE v PART 1/ PROOF THEORY GEORG KREISEL / Some Facts from the Theory of Proofs and Some Fictions from General Proof Theory 3 DAG PRAWITZ / Proofs and the Meaning and Completeness of the Logical Constants 25 v. A. SMIRNOV / Theory of Quantification and tff-calculi 41 LARS SVENONIUS/Two Kinds of Extensions of Primitive Recursive Arithmetic 49 DIRK VAN DALEN and R. STATMAN / Equality in the Presence of Apartness 95 PART II / INFINITARY LANGUAGES VEIKKO RANTALA / Game-Theoretical Semantics and Back-and- Forth 119 MAARET KAR TTUNEN / Infinitary Languages N oo~.
    DOI: 10.1007/978-94-009-9825-4
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 8
    Online Resource
    Online Resource
    Studies in Inductive Probability and Rational Expectation (1978)
    Dordrecht : Springer
    Details
    ISBN: 9789400998308
    Language: English
    Pages: Online-Ressource (XII, 154 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioural Sciences 123
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 123
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic ; Science—Philosophy.
    Abstract: 1. Introduction -- 1. Concept Explication -- 2. Objectives and Survey -- 2. Cognitive Rationality -- 1. On the Explication of the Concept of Rationality -- 2. Cognitive Rationality and Patterns of Expectation -- 3. Inductive Reasoning and Inductive Probability Theory -- 3. Logico-Mathematical Preliminaries -- 1. Logical Vocabulary -- 2. Set-theoretical Vocabulary -- 3. Some Elements of Probability Theory -- 4. Formally Rational Expectation in a Paradigmatic Context -- 1. Paradigmatic Contexts -- 2. Two Conditions for Rational Expectation -- 3. A Framework for a Paradigmatic Context -- 4. First Analysis of a Rational Expectation Pattern -- 5. A Framework for a Paradigmatic Context (continued) -- 6. Third Formal Condition for Rational Expectation -- 7. Decidable Contexts -- 5. Generalized Carnapian Systems -- 1. Introduction -- 2. Constitutive Principles and Definition of GC-systems -- 3. General Analysis of GC-systems -- 4. Analysis of Positive Inductive GC-systems (0 〈 ? 〈 oo) -- 5. Analysis of Negative Inductive GC-systems (? 〈 0) -- Appendix to Section 2 (Proof of T2) -- 6. Hintikka and Universalized Carnapian Systems -- 1. Introduction -- 2. NH-systems -- 3. Hintikka-systems (H-systems) -- 4. Some Fundamental Properties of H-systems -- 5. An Urn-model for H-systems -- 6. The Equivalence of NH- and SH-systems: Universalized Carnapian systems (UC-systems) -- 7. Analysis of UC-systems -- 8. Fundamental Discussion Related to Applications -- 9. Finite Parameters for H-systems -- 10. Reformulation of H-systems; k ? ? -- 11. GH-systems and G UC-systems -- 12. Survey of Systems -- Appendix to Section 2 (Proof of T1 ) -- 7. Rational Expectation in Multinomial Contexts -- 1. Carnap’s Intended Application -- 2. The Multinomial Context -- 3. Formally Rational Patterns for Open Multinomial Contexts -- 4. Material Conditions of Adequacy; UC-systems as Expectation Pattern for Open Multinomial Contexts -- 5. Constitutional Distributions for Open Multinomial Contexts -- 6. The Hypergeometric Context -- 8. Some Problems and Related Topics -- 1. PER-systems -- 2. On Weakening WPERR -- 3. *UC*-systems and k ? ? -- 4. Confirmation Theory -- 5. Falsification -- 6. Rules of Acceptance in UC-systems -- 9. Concluding Remarks -- References -- Index of Names -- Index of Subjects -- Recurring Symbols -- Conditions/Principles/Axioms -- Definition of Systems.
    Abstract: 3 in philosophy, and therefore in metaphilosophy, cannot be based on rules that avoid spending time on pseudo-problems. Of course, this implies that, if one succeeds in demonstrating convincingly the pseudo-character of a problem by giving its 'solution', the time spent on it need not be seen as wasted. We conclude this section with a brief statement of the criteria for concept explication as they have been formulated in several places by Carnap, Hempel and Stegmiiller. Hempel's account ([13J, Chapter 1) is still very adequate for a detailed introduction. The process of explication starts with the identification of one or more vague and, perhaps, ambiguous concepts, the so-called explicanda. Next, one tries to disentangle the ambiguities. This, however, need not be possible at once. Ultimately the explicanda are to be replaced (not necessarily one by one) by certain counterparts, the so-called explicata, which have to conform to four requirements. They have to be as precise as possible and as simple as possible. In addition, they have to be useful in the sense that they give rise to the formulation of theories and the solution of problems. The three requirements of preciseness, simplicity and usefulness. have of course to be pursued in all concept formation.
    DOI: 10.1007/978-94-009-9830-8
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 9
    Online Resource
    Online Resource
    Modern Uses of Multiple-Valued Logic (1977)
    Dordrecht : Springer
    Details
    ISBN: 9789401011617
    Language: English
    Pages: Online-Ressource (352p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Episteme, A Series in the Foundational, Methodological, Philosophical, Psychological, Sociological, and Political Aspects of the Sciences, Pure and Applied 2
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic ; Pragmatism
    Abstract: A Useful Four-Valued Logic -- Ternary Simulation of Binary Gate Networks -- A Survey of the Theory of Post Algebras and Their Generalizations -- Many-Valued Algorithmic Logic as a Tool to Investigate Programs -- Local and Fuzzy Logics -- Appendix I: A Survey of Many-Valued Logic (1966–1974) -- Appendix II: List of Presentations -- Appendix III: List of Participants -- Index of Names -- Index of Subjects.
    Abstract: This is a collection of invited papers from the 1975 International Sym­ posium on Multiple-valued Logic. Also included is an extensive bib­ liography of works in the field of multiple-valued logic prior to 1975 - this supplements and extends an earlier bibliography of works prior to 1965, by Nicholas Rescher in his book Many-Valued Logic, McGraw-Hill, 1969. There are a number of possible reasons for interest in the present volume. First, the range of various uses covered in this collection of papers may be taken as indicative of a breadth which occurs in the field of multiple-valued logic as a whole - the papers here can do no more than cover a small sample: question-answering systems, analysis of computer hazards, algebraic structures relating to multiple-valued logic, algebra of computer programs, fuzzy sets. Second, a large part of the interest in such uses and applications has occurred in the last twenty, even ten years. It would be too much to expect this to be reflected in Rescher's 1969 book. Third, in the 1970's a series of annual symposia have been held on multiple-valued logic, which have brought much of this into a sharp focus. * The 1971 and 1972 symposia were held at the SUNY at Buffalo, the 1973 symposium at the Uni­ versity of Toronto, and the 1974 symposium at West Virginia Uni­ versity. Papers from these symposia are included in the bibliography which may be found in an appendix of this book.
    DOI: 10.1007/978-94-010-1161-7
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 10
    Online Resource
    Online Resource
    Models of Discovery : And Other Topics in the Methods of Science (1977)
    Dordrecht : Springer
    Details
    ISBN: 9789401095211
    Language: English
    Pages: Online-Ressource (475p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Boston Studies in the Philosophy of Science 54
    Series Statement: Boston Studies in the Philosophy and History of Science 54
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Social sciences Philosophy ; Logic ; Philosophy and social sciences. ; Science—Philosophy.
    Abstract: Section 1 — Testing Theories of Empirical Phenomena -- to Section 1 -- 1.1. Symmetric Tests of the Hypothesis That the Mean of One Normal Population Exceeds That of Another -- 1.2. Statistical Tests as a Basis for ‘Yes—No’ Choices -- 1.3. Prediction and Hindsight as Confirmatory Evidence -- 1.4. On Judging the Plausibility of Theories -- Section 2 — Causes and Possible Worlds -- to Section 2 -- 2.1. Causal Ordering and Identifiability -- 2.2. On the Definition of the Causal Relation -- 2.3. Spurious Correlation: A Causal Interpretation -- 2.4. Cause and Counterfactual (with Nicholas Rescher) -- Section 3 — The Logic of Imperatives -- to Section 3 -- 3.1. The Logic of Rational Decision -- 3.2. The Logic of Heuristic Decision Making -- Section 4 — Complexity -- to Section 4 -- 4.1. Theory of Automata: Discussion -- 4.2. Aggregation of Variables in Dynamic Systems (with Albert Ando) -- 4.3. The Theory of Problem Solving -- 4.4. The Organization of Complex Systems -- Section 5 — Theory of Scientific Discovery -- to Section 5 -- 5.1. Thinking by Computers -- 5.2. Scientific Discovery and the Psychology of Problem Solving -- 5.3. The Structure of Ill-Structured Problems -- 5.4. Does Scientific Discovery Have a Logic? -- 5.5. Discussion: The Meno Paradox -- Section 6 — Formalizing Scientific Theories -- to Section 6 -- 6.1. The Axioms of Newtonian Mechanics -- 6.2. Discussion: The Axiomatization of Classical Mechanics -- 6.3. Definable Terms and Primitives in Axiom Systems -- 6.4. A Note on Almost-Everywhere Definability -- 6.5. The Axiomatization of Physical Theories -- 6.6. Ramsey Eliminability and the Testability of Scientific Theories (with Guy J. Groen) -- 6.7. Identifiability and the Status of Theoretical Terms -- Name Index.
    Abstract: We respect Herbert A. Simon as an established leader of empirical and logical analysis in the human sciences while we happily think of him as also the loner; of course he works with many colleagues but none can match him. He has been writing fruitfully and steadily for four decades in many fields, among them psychology, logic, decision theory, economics, computer science, management, production engineering, information and control theory, operations research, confirmation theory, and we must have omitted several. With all of them, he is at once the technical scientist and the philosophical critic and analyst. When writing of decisions and actions, he is at the interface of philosophy of science, decision theory, philosophy of the specific social sciences, and inventory theory (itself, for him, at the interface of economic theory, production engineering and information theory). When writing on causality, he is at the interface of methodology, metaphysics, logic and philosophy of physics, systems theory, and so on. Not that the interdisciplinary is his orthodoxy; we are delighted that he has chosen to include in this book both his early and little-appreciated treatment of straightforward philosophy of physics - the axioms of Newtonian mechanics, and also his fine papers on pure confirmation theory.
    DOI: 10.1007/978-94-010-9521-1
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 11
    Online Resource
    Online Resource
    Collected Papers on Epistemology, Philosophy of Science and History of Philosophy : Volume I (1977)
    Dordrecht : Springer
    Details
    ISBN: 9789401011297
    Language: English
    Pages: Online-Ressource (268p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge and on the Mathematical Methods of Social and Behavioral Sciences 91
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 91
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Knowledge, Theory of.
    Abstract: 1. The Problem of Universals Then and Now -- 1. The Problem -- 2. Platonism and Nominalism -- 3. Historical Background -- 4. Epistemological Discussion of Platonism and Nominalism -- 5. Constructive Conceptualism -- 6. The Three Ontological Positions -- 7. Summary -- 2. Towards a Rational Reconstruction of Kant’s Metaphysics of Experience -- I: Kant’s Riddle of Experience -- 1. On Rational Reconstructions of Philosophical Theories -- 2. The Place of Kant’s Theory of Experience within His Theoretical Philosophy -- 3. Synthetic a priori Propositions -- 4. The Existential Hypothesis in Kant’s Fundamental Question -- 5. The Influence of Isaac Newton, Chr. Wolff and D. Hume upon Kant’s Conception of Science -- 6. Kant’s Antinomy of Experience -- 7. Kant’s Project for a Solution: Synthetic a priori Statements as the Way out of the Dilemma -- 8. A Remark on the Relation between the ‘Regressive’ and the ‘Progressive’ Argument -- II: The Logical Structure of the Progressive Argument -- 1. The Aim of the Progressive Argument -- 2. Kant as a Rationalist Precursor of the Theory of Eliminative and Enumerative Induction -- 3. Kant’s Theory of Structural Reduction or a priori Elimination (The Modal Argument) -- 4. Empirical Confirmation and Consolidation -- 5. The Gap in Kant’s Argument -- 6. Concluding Remarks -- 3. A Model Theoretic Explication of Wittgenstein’s Picture Theory -- 1. Introduction -- 2. Intensional Relational Systems, Model Worlds, Categorical Identity -- 3. Isomorphism, Homomorphism, Picture, Truth and Falsity -- 4. Logical Spaces, Isomorphism between Logical Spaces, Logically Adequate and Inadequate Pictures -- 5. Application of the Picture Theory to Language -- 4. Phenomenalism and Its Difficulties -- 1. Philosophy of Quantum Mechanics and Phenomenalism -- 2. A Characterization of Phenomenalism -- 3. Motives for Phenomenalism -- 4. Difficulties in Carrying out the Phenomenalistic Programme -- 5. Conclusion -- 5. Ontology and Analyticity -- 1. The Ontological Problem -- 2. The Problem of Analytic Statements -- 3. Concluding Remarks -- Index of Names.
    Abstract: These two volumes contain all of my articles published between 1956 and 1975 which might be of interest to readers in the English-speaking world. The first three essays in Vol. 1 deal with historical themes. In each case I as far as possible, meets con­ have attempted a rational reconstruction which, temporary standards of exactness. In The Problem of Universals Then and Now some ideas of W.V. Quine and N. Goodman are used to create a modern sketch of the history of the debate on universals beginning with Plato and ending with Hao Wang's System L. The second article concerns Kant's Philosophy of Science. By analyzing his position vis-a-vis I. Newton, Christian Wolff, and D. Hume, it is shown that for Kant the very notion of empirical knowledge was beset with a funda­ mental logical difficulty. In his metaphysics of experience Kant offered a solution differing from all prior as well as subsequent attempts aimed at the problem of establishing a scientific theory. The last of the three historical papers utilizes some concepts of modern logic to give a precise account of Wittgenstein's so-called Picture Theory of Meaning. E. Stenius' interpretation of this theory is taken as an intuitive starting point while an intensional variant of Tarski's concept of a relational system furnishes a technical instrument. The concepts of inodel world and of logical space, together with those of homomorphism and isomorphism be­ tween model worlds and between logical spaces, form the conceptual basis of the reconstruction.
    DOI: 10.1007/978-94-010-1129-7
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 12
    Online Resource
    Online Resource
    Advanced Logic for Applications (1977)
    Dordrecht : Springer
    Details
    ISBN: 9789401011914
    Language: English
    Pages: Online-Ressource (181p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: A Pallas Paperback 110
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 110
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: I. Henkin Sets and the Fundamental Theorem -- II. Derivation Rules and Completeness -- III. Gentzen Systems and Constructive Completeness Proofs -- IV. Quantification Theory with Identity and Functional Constants -- V. First Order Theories with Equality -- VI. Gödel’s Incompleteness Theorems: Preliminary Discussion -- VII. Undecidability and Incompleteness -- VIII. Gödel’s Second Incompleteness Theorem -- IX. Tarski’s Theorems and the Definition of Truth -- X. Some Recursive Function Theory -- XI. Intuitionistic Logic -- XII. Second Order Logic -- XIII. Algebraic Logic -- XIV. Anadic Logic -- Selected Bibliography -- Index of Names -- Index of Subjects -- Index of Symbols.
    Abstract: This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intended to be accessible to philosophers. I have assumed the mathematical sophistication acquired· in an introductory logic course or in reading a basic logic text. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof. For example, the completeness of quantification theory is proved both constructively and non-constructively and relative ad­ vantages of each type of proof are discussed. Similarly, constructive and non-constructive versions of Godel's first incompleteness theorem are given. I hope that the reader· will develop facility with the methods of proof and also be caused by reflect on their differences. I assume familiarity with quantification theory both in under­ standing the notations and in finding object language proofs. Strictly speaking the presentation is self-contained, but it would be very difficult for someone without background in the subject to follow the material from the beginning. This is necessary if the notes are to be accessible to readers who have had diverse backgrounds at a more elementary level. However, to make them accessible to readers with no background would require writing yet another introductory logic text. Numerous exercises have been included and many of these are integral parts of the proofs.
    DOI: 10.1007/978-94-010-1191-4
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 13
    Online Resource
    Online Resource
    Collected Papers on Epistemology, Philosophy of Science and History of Philosophy : Volume II (1977)
    Dordrecht : Springer
    Details
    ISBN: 9789401011327
    Language: English
    Pages: Online-Ressource (312p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge and on the Mathematical Methods of Social and Behavioral Sciences 91
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 91
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Knowledge, Theory of.
    Abstract: 1. The So-Called Circle of Understanding -- 2. ’The Problem of Causality’ -- 3. Explanation, Prediction, Scientific Systematization and Non-Explanatory Information -- 1. Introduction -- 2. On Possible Conventions Governing the Use of ’Explanation’ and ’Prediction’ -- 3. An Additional Argument of Plausibility in favour of the Counterthesis -- 4. A Systematic Approach -- 5. Non-Explanatory Information -- 4. The Problem of Induction: Hume’s Challenge and the Contemporary Answers -- 1. Introduction -- 2. The Humean Challenge -- 3. Deductivism: K. Popper -- 4. Inductivism 1 -- 5. Inductivism 2 -- 6. Concluding Remarks -- 5. Carnap’s Normative Theory of Inductive Probability -- 6. Logical Understanding and the Dynamics of Theories -- 7. Structures and Dynamics of Theories: Some Reflections on J.D. Sneed and T.S. Kuhn -- 8. Language and Logic -- 1. Preface -- 2. The Functions of ‘Is’ -- 3. ‘All’, ‘Something’, and ‘Nothing’ -- 4. ‘I’, ‘You’, ‘He’, ‘She’, ‘It’ -- 5. ‘Not’, ‘And’, ‘Or’, ‘If …Then’ -- 6. Logical Truth -- 7. ‘The’ -- 8. ‘It is Possible That … ’, ‘It is Necessary That …’ -- 9. Remarks on the Completeness of Logical Systems Relative to the Validity-Concepts of P. Lorenzen and K. Lorenz -- Index of Names.
    Abstract: These two volumes contain all of my articles published between 1956 and 1975 which might be of interest to readers in the English-speaking world. The first three essays in Vol. 1 deal with historical themes. In each case I have attempted a rational reconstruction which, as far as possible, meets con­ temporary standards of exactness. In The Problem of Universals Then and Now some ideas of W.V. Quine and N. Goodman are used to create a modem sketch of the history of the debate on universals beginning with Plato and ending with Hao Wang's System :E. The second article concerns Kant's Philosophy of Science. By analyzing his position vis-a-vis I. Newton, Christian Wolff, and D. Hume, it is shown that for Kant the very notion of empirical knowledge was beset with a funda­ mental logical difficulty. In his metaphysics of experience Kant offered a solution differing from all prior as well as subsequent attempts aimed at the problem of establishing a scientific theory. The last of the three historical papers utilizes some concepts of modem logic to give a precise account of Wittgenstein's so-called Picture Theory of Meaning. E. Stenius' interpretation of this theory is taken as an intuitive starting point while an intensional variant of Tarski's concept of a relational system furnishes a technical instrument. The concepts of model world and of logical space, together with those of homomorphism and isomorphism be­ tween model worlds and between logical spaces, form the conceptual basis of the reconstruction.
    DOI: 10.1007/978-94-010-1132-7
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 14
    Online Resource
    Online Resource
    Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975 (1977)
    Dordrecht : Springer
    Details
    ISBN: 9789401011389
    Language: English
    Pages: Online-Ressource (416p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The University of Western Ontario Series in Philosophy of Science 9
    Series Statement: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields 9
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic ; History ; Science—Philosophy.
    Abstract: I/Mathematical Logic -- Constructions ‘by Finite’ -- Some Eastern Two Cardinal Theorems -- Functional Interpretation and Kripke Models -- Axioms for Intuitionistic Mathematics Incompatible with Classical Logic -- II/Foundations of Mathematical Theories -- Ineffability Properties of Cardinals II -- Non-Standard Analysis -- Some Purely Mathematical Results Inspired by Mathematical Logic -- Interpretability of Elementary Theories -- III/Category Theory -- Categorical Foundations and Foundations of Category Theory -- IV/Computability Theory -- Re Sets Higher Up (Dedicated to J. B. Rosser) -- Computable Numberings -- On the Basic Notions in the Theory of Induction -- Basic Concepts of Computer Science and Logic -- Structural Relations between Programs and Problems -- Algorithmic Logic, a Tool for Investigations of Programs -- V/Philosophy of Logic and Mathematics -- On a Semantical Language Hierarchy in a Constructive Mathematical Logic -- VI/On The Concept of a Set -- Large Sets -- What is the Iterative Conception of Set? -- VII/Philosophy of Logic -- Do-it-yourself Semantics for Classical Sequent Calculi, including Ramified Type Theory -- Some Philosophical Problems of Hintikka’s Possible Worlds Semantics -- Index of Names.
    Abstract: The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. 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, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre­ sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun­ dational Problems in the Special Sciences, Basic Problems in Methodol­ ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science.
    DOI: 10.1007/978-94-010-1138-9
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 15
    Online Resource
    Online Resource
    Foundational Problems in the Special Sciences : Part Two of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975 (1977)
    Dordrecht : Springer
    Details
    ISBN: 9789401011419
    Language: English
    Pages: Online-Ressource (444p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The University of Western Ontario Series in Philosophy of Science 10
    Series Statement: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields 10
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Science Philosophy ; Logic ; History ; Science—Philosophy.
    Abstract: I/Foundations of The Physical Sciences -- Genesis and Observership -- The Methodology of Physics and Topology -- Axiomatics and the Search for the Foundations of Physics -- II/The Interpretation of Quantum Mechanics -- What is Philosophically Interesting about Quantum Mechanics? -- Completeness and Realism in Quantum Mechanics -- III/Foundations of biology -- The Ontological Status of Species as Evolutionary Units -- Theories and Observations of Developmental Biology -- Organic Determinism and Teleology in Biological Research -- Explicit and Implicit Semantic Content of the Genetic Information -- IV/Foundations of Psychology -- Consciousness and the Brain -- Causality and Action -- Methodological Aspects of Analysis of Activity -- V/The Status of Learning Theories -- A Survey of Contemporary Learning Theories -- Conditioning as the Perception of Causal Relations -- Leanable Functions -- VI/Foundations of The Social Sciences -- The Methodology of Social Knowledge and the Problem of the Integration of the Sciences -- VII/Justice and Social Change -- Welfare Inequalities and Rawlsian Axiomatics -- Nonlinear Social Welfare Functions: A Rejoinder to Prof. Sen -- Non Linear Social Welfare Functions: A Reply to Prof. Harsanyi -- The Measurement of Social Inequality -- VIII/Rationality in Social Sciences -- Advances in Understanding Rational Behavior -- Towards a Unified Decision Theory: A Non-Bayesian Approach -- On the Rationale of the Bayesian Approach: Comments on Prof. Watkins’s Paper -- The Dual Function of Rationality -- Index of Names.
    Abstract: The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. 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, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over the years know weIl, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre­ sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun­ dational Problems in the Special Sciences, Basic Problems in Methodol­ ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science.
    DOI: 10.1007/978-94-010-1141-9
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 16
    Online Resource
    Online Resource
    Tense Logic (1976)
    Dordrecht : Springer
    Details
    ISBN: 9789401732192
    Language: English
    Pages: Online-Ressource (VII, 91 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences 111
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 111
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: 1/An Overview of Tense Logic -- 2/Linear Tense Logics -- 3/Branching Tense Logic and Temporal Modality -- 4/Quantificational Tense Logics -- 5/Soundness and Completeness Theorems for Tense Logic -- Appendix I/SC Tautologies Used in Proofs -- Appendix II/Summary of the Systems.
    Abstract: This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi­ cal theory, especially modal logic. The first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import­ ant to recognize that the unadorned Prior-symbolism can be enriched in vari­ ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri­ ate literature. Specialists will notice that only the first of several quantifi­ cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi­ cation.
    DOI: 10.1007/978-94-017-3219-2
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 17
    Online Resource
    Online Resource
    Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics (1976)
    Dordrecht : Springer
    Details
    ISBN: 9789401014533
    Language: English
    Pages: Online-Ressource (317p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences 92
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 92
    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: 0: An Introduction to General Intensional Logics -- 0 / Consequence Relations -- 1: An Introduction to One Dimensional Modal Logics -- 1 / Basic Notions -- 2 / General Theory of Unary Intensional Connectives -- 3 / Basic Necessity Systems -- 4 / Basic Tense Systems -- 5 / Possible Worlds with Varying Domains -- 6 / Equality and Proper Names -- 7 / Propositional Statability Operators -- 2: Technical Results for Propositional Calculi -- 8 / The Finite Model Property -- 9 / Selective Filtration -- 3: Introduction to Many Dimensionel Modal Logics and Applications -- 10 / Two Dimensional Propositional Tense Logics -- 11 / An Appendix -- 12 / Some Applications -- 4: Special Systems -- 13 / Relative Necessity Operators and the Subjunctive Conditional -- 14 / Propositional Quantifiers -- 15 / Basic Entailment Type Logics -- 5: The Decision Problem -- 16 / The Reduction Method -- 17 / Some Decidability Results -- 18 / The Decision Problem for Predicate Systems -- 6: Special Topics -- 19 / Completeness for Frames -- 20 / The Interpolation Theorem -- 7: Notes and Some References -- Scheme of the Book -- References -- Index of Names.
    Abstract: This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer­ ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature.
    DOI: 10.1007/978-94-010-1453-3
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 18
    Online Resource
    Online Resource
    Words and Objections : Essays on the Work of W. V. Quine (1975)
    Dordrecht : Springer
    Details
    ISBN: 9789401017091
    Language: English
    Pages: Online-Ressource (380p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences 21
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 21
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Linguistics Philosophy ; Logic ; Language and languages—Philosophy.
    Abstract: Editorial Introduction -- Quine’s Philosophy of Science -- An Introduction to ‘Translation and Meaning’, Chapter Two of Word and Object -- Beginning with Ordinary Things -- Quine’s Empirical Assumptions -- Behavioral Criteria of Radical Translation -- Conventionalism and the Indeterminacy of Translation -- Singular Terms and Predication -- Vacuous Names -- Quine’s Syntactical Insights -- On Saying That -- Quine on Modality -- Some Problems about Belief -- Quantifying In -- Logic with Platonism -- On the Consistency of a Slight (?) Modification of Quine’s New Foundations -- Replies -- Publications of W. V. Quine.
    Abstract: It is gratifying to see that philosophers' continued interest in Words and Objections has been so strong as to motivate a paperback edition. This is gratifying because it vindicates the editors' belief in the permanent im­ portance of Quine's philosophy and in the value of the papers com­ menting on it which were collected in our volume. Apart from a couple of small corrections, only one change has been made. The list of Professor Quine's writings has been brought up to date. The editors cannot claim any credit for this improvement, however. We have not tried to imitate the Library of Living Philosophers volumes and to include Professor Quine's autobiography in this volume, but we are fortunate to publish here his brand-new auto bibliography. 1975 THE EDITORS TABLE OF CONTENTS V PREFACE 1 EDITORIAL INTRODUCTION 1. 1. C. SMAR T / Quine's Philosophy of Science 3 GILBERT HARMAN / An Introduction to 'Translation and Meaning', Chapter Two of Word and Object 14 ERIK STENIUS / Beginning with Ordinary Things 27 NOAM CHOMSKY / Quine's Empirical Assumptions 53 1AAKKO HINTIKKA / Behavioral Criteria of Radical Translation 69 BARRY STROUD / Conventionalism and the Indeterminacy of Translation 82 P. F. STRA WSON / Singular Terms and Predication 97 118 H. P. GRICE / Vacuous Names P. T.
    DOI: 10.1007/978-94-010-1709-1
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 19
    Online Resource
    Online Resource
    The Logic of Conditionals : An Application of Probability to Deductive Logic (1975)
    Dordrecht : Springer
    Details
    ISBN: 9789401576222
    Language: English
    Pages: Online-Ressource (XIII, 161 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge. And on the Mathematical Methods of Social and Behavioral Sciences 86
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 86
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: I. The Indicative Conditional -- II. Mathematical Theory of Probabilistic Consistency and Universal Probabilistic Soundness -- III. Motives for Wanting to Assure the Soundness of Reasoning: Truth and Probability as Desirable Attributes of Conclusions Reached in Reasoning -- IV. A Hypothesis Concerning Counterfactuals; Probability Change Aspects of Inference -- Index of Names -- Index of Subjects.
    Abstract: Of the four chapters in this book, the first two discuss (albeit in consider­ ably modified form) matters previously discussed in my papers 'On the Logic of Conditionals' [1] and 'Probability and the Logic of Conditionals' [2], while the last two present essentially new material. Chapter I is relatively informal and roughly parallels the first of the above papers in discussing the basic ideas of a probabilistic approach to the logic of the indicative conditional, according to which these constructions do not have truth values, but they do have probabilities (equal to conditional probabilities), and the appropriate criterion of soundness for inferences involving them is that it should not be possible for all premises of the inference to be probable while the conclusion is improbable. Applying this criterion is shown to have radically different consequences from the orthodox 'material conditional' theory, not only in application to the standard 'fallacies' of the material conditional, but to many forms (e. g. , Contraposition) which have hitherto been regarded as above suspi­ cion. Many more applications are considered in Chapter I, as well as certain related theoretical matters. The chief of these, which is the most important new topic treated in Chapter I (i. e.
    DOI: 10.1007/978-94-015-7622-2
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 20
    Online Resource
    Online Resource
    Contemporary Research in Philosophical Logic and Linguistic Semantics : Proceedings of a Conference Held at the University of Western Ontario, London, Canada (1975)
    Dordrecht : Springer
    Details
    ISBN: 9789401017565
    Language: English
    Pages: Online-Ressource (348p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The University of Western Ontario Series in Philosophy of Science, A Series of Books on Philosophy of Science, Methodology, and Epistemology Published in Connection with the University of Western Ontario Philosophy of Science Programme 4
    Series Statement: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields 4
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Linguistics Philosophy ; Logic ; Language and languages—Philosophy.
    Abstract: Counterfactuals and Comparative Possibility -- Presuppositions -- Incomplete Assertion and Belnap Connectives -- Dimensions of Truth -- Speaking of Nothing -- The Structure of Efficacy -- Harris and Chomsky at the Syntax-Semantics Boundary -- Some Transformational Extensions of Montague Grammar -- Hedges: A Study in Meaning Criteria and the Logic of Fuzzy Concepts -- Comments: Lakoff’s Fuzzy Propositional Logic -- On the Semantics of Negation -- Verbs of Bitching.
    Abstract: In 1973 a workshop was held at The University of Western Ontario on topics of common interest to philosophers and linguists. This volume con­ tains most of the papers presented at the workshop. Also included are previously unpublished essays by R. Dougherty and H. Lasnik as well as a comment on G. Lakoff's paper by B. van Fraassen. K. Donnellan's paper was presented at the workshop and subsequently appeared in The Philosophical Review. We thank the editors of this journal for permission to publish the paper here. The papers by D. Lewis, R. Stalnaker, G. Lakoff, B. Partee and H. Herzberger appeared earlier in Journal of Philosophical Logic by arrangement of the editors with B. van Fraassen and D. Reidel Publishing Company. The editors thank the officers of The University of Western Ontario for making the workshop possible and Pauline Campbell for making the workshop work. THE EDITORS DAVID LEWIS COUNTERFACTUALS AND COMPARATIVE POSSIBILITY* In the last dozen years or so, our understanding of modality has been much improved by means of possible-world semantics: the project of analyzing modal language by systematically specifying the conditions under which a modal sentence is true at a possible world. I hope to do the same for counterfactual conditionals. I write A 0-C for the counter­ factual conditional with antecedent A and consequent C. It may be read as 'H it were the case that A, then it would be the case that C' or some more idiomatic paraphrase thereof.
    DOI: 10.1007/978-94-010-1756-5
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
  • 21
    Online Resource
    Online Resource
    Models for Modalities : Selected Essays (1975)
    Dordrecht : Springer
    Details
    ISBN: 9789401017114
    Language: English
    Pages: Online-Ressource (229p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Monographs on Epistemology, Logic, Methodology, Philosophy of Science, Sociology of Science and of Knowledge, and on the Mathematical Methods of Social and Behavioral Sciences 23
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 23
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Philosophy (General) ; Logic
    Abstract: I. Methodological Orientation -- Epistemic Logic and the Methods of Philosophical Analysis -- II. The Logic of Existence -- Existential Presuppositions and Their Elimination -- On the Logic of the Ontological Argument: Some Elementary Remarks -- III. The Semantics of Modality -- Modality and Quantification -- The Modes of Modality -- Semantics for Propositional Attitudes -- Existential Presuppositions and Uniqueness Presuppositions -- IV. Conceptual Analyses -- On the Logic of Perception -- Deontic Logic and Its Philosophical Morals -- Note on the Origin of the Different Essays -- Index of Names -- Index of Subjects.
    Abstract: The papers collected in this volume were written over a period of some eight or nine years, with some still earlier material incorporated in one of them. Publishing them under the same cover does not make a con­ tinuous book of them. The papers are thematically connected with each other, however, in a way which has led me to think that they can naturally be grouped together. In any list of philosophically important concepts, those falling within the range of application of modal logic will rank high in interest. They include necessity, possibility, obligation, permission, knowledge, belief, perception, memory, hoping, and striving, to mention just a few of the more obvious ones. When a satisfactory semantics (in the sense of Tarski and Carnap) was first developed for modal logic, a fascinating new set of methods and ideas was thus made available for philosophical studies. The pioneers of this model theory of modality include prominently Stig Kanger and Saul Kripke. Several others were working in the same area independently and more or less concurrently. Some of the older papers in this collection, especially 'Quantification and Modality' and 'Modes of Modality', serve to clarify some of the main possibilities in the semantics of modal logics in general.
    DOI: 10.1007/978-94-010-1711-4
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    MPI Ethno. Forsch.
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...