Results for 'J. M. P.'

1000+ found
Order:
  1. Revelation.J. M. P. Sweet - 1979
    No categories
     
    Export citation  
     
    Bookmark  
  2.  53
    Contributions to Logic and Methodology in Honor of J. M. Bochenski. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):607-607.
    This is the collection of essays presented to Bochenski on his 60th birthday, and it contains, as a mirror of Bochenski's own work, a broad spectrum of studies ranging from formal logic and history of logic, to the philosophy of logic and language, and to the methodology of explanation in Greek philosophy. Of the seventeen articles, these are some of the more important to the reviewer: "Betrachtungen zum Sequenzen Kalkül" by Paul Bernays, which is an extensive study of Gentzen-type formulations (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  34
    J. M. P. B. van der Putten: Arnobii Adversus Nationes 3, 1–19 uitgegeven met inleiding en commentaar. Pp. 150. Leiden: privately printed, 1970. Paper. [REVIEW]A. Hudson-Williams - 1972 - The Classical Review 22 (3):416-416.
  4.  20
    The Symbolic Philosophy of Susanne K. Langer.J. M. P. Jeunhomme - 1985 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 27 (1):159-176.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. J. M. Palacios, El Idealismo Transcendental: Teoría de la Verdad. [REVIEW]M. P. M. Caimi - 1985 - Kant Studien 76 (3):340.
  6. In D. Bar-Tal & AW Kruglanski.M. P. Zanna & J. K. Rempel - 1988 - In Daniel Bar-Tal & Arie W. Kruglanski (eds.), The Social Psychology of Knowledge. Editions de la Maison des Sciences de L'homme. pp. 315--354.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  7.  58
    M. P. Battin, L. P. Francis, J. A. Jacobson and C. B. Smith. The Patient as Victim and Vector: Ethics and Infectious Disease. [REVIEW]M. J. Selgelid - 2010 - Public Health Ethics 3 (1):87-88.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  8.  27
    Facts and Values. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):379-380.
    Subtitled "Studies in Ethical Analysis," this collection of eleven essays, most of which have previously appeared in journals, deals with a number of problems central to modern ethical theory: the emotive interpretation of ethical language, persuasive definitions and their role in ethical reasoning, the cognitive versus emotive conceptions of ethics: many of these problems were first raised and examined by Stevenson in his earlier book Ethics and Language. Other essays are of a less retrospective nature: studies on Moore and Dewey, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  9.  35
    The Ways of Paradox and Other Essays. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):158-159.
    This volume is published concurrently with the one reviewed below and together they unite a number of Quine's previously scattered papers into two compact volumes; this volume deals with his more philosophical work while the other is concerned with more purely technical logical studies. The twenty-one essays cover the period 1934-1964 and none have appeared between hard covers before. Several of the articles—"The ways of paradox," "Foundations of mathematics," "On the application of modern logic," and "Necessary truth"—are essentially popular expositions. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  13
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):810-810.
    This book is a translation of some of the more important parts of the Grundgesetze of Frege: the introduction, the first part of the first volume which gives an exposition of the construction, rules, axioms of Frege's formal system, and two appendices, one of which is from the second volume and gives Frege's analysis of the paradox found by Russell in his system. The editor has provided a long introduction "for those not familiar with Frege," although it will benefit those (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  11.  20
    Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):587-588.
    This rather compendious volume contains twelve articles, eleven of which have been published in the last twenty years; the last, from which the book takes its title, appears in print for the first time. There are four chapters: "Confirmation, Induction, and Rational Belief" contains the paper "Inductive Inconsistencies" as well as "Studies in the Logic of Confirmation"; "Empiricist Criteria of Cognitive Significance" appears in the section "Conceptions of Cognitive Significance"; the very well-known "The Theoretician's Dilemma" appears in the third chapter—"Structure (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. In Theories of Memory.J. M. Gardiner, R. I. Java, A. Collins, S. E. Gathercole, M. A. Conway & P. E. Morris - 1993 - In A. Collins, S. Gathercole, Martin A. Conway & P. E. Morris (eds.), Theories of Memory. Lawrence Erlbaum.
     
    Export citation  
     
    Bookmark   34 citations  
  13. Differentiating Global Categories.J. M. Mandler, P. J. Bauer & L. McDonough - 1988 - Bulletin of the Psychonomic Society 26 (6):507-507.
    No categories
     
    Export citation  
     
    Bookmark   28 citations  
  14. Einführung in die Mathematische Logik. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):812-812.
    This rigorous treatment of elementary logic can best be characterized by noting that it relies heavily on semantical analyses of systems of logic running from the propositional calculus right through to a system of second-order arithmetic. The first chapter covers a multiplicity of topics: the concept of consequence, proofs and calculi, the symbolization of mathematical propositions. Hermes then painstakingly constructs quantification theory: first, the language itself, then its semantics; he then presents a completely set up predicate calculus, giving special attention (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  26
    Of the Standard of Taste and Other Essays. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):813-813.
    All the essays contained herein, with the exception of the last two—"On Suicide" and "On the Immortality of the Soul"—have appeared in the author's Essays, Moral, Political, and Literary ; the others were published posthumously. In this wide-ranging collection Hume addresses himself to aspects of aesthetics and literary criticism, the philosophy of history, philosophical "types", human nature and belief. The volume conveys a side of Hume too often forgotten in our present admiration of his foreshadowing of analytical philosophy: the man (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  16
    Selected Logic Papers. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):159-159.
    This collection of twenty-three papers from the period 1934-1960 is concerned with formal number theory and syntax, axiomatic set theory, truth functions, and quantification theory. In the first group appear "Concatenation as a basis for arithmetic" and "Definition of substitution," among others; the second includes "Set-theoretic foundations for logic," "On ω-inconsistency," and "Element and number." Quine's important articles "Completeness of the propositional calculus" and "Cores and prime implicants of truth functions" are in the third section; the last one includes "A (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  58
    On the Philosophy of Science. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):818-818.
    This volume is a collection of papers and selections of previously published books of Russell. The six divisions concern themselves with the distinction between formal and empirical sciences, the connexion of sense data with the structure of physical reality and with the philosophy of science, problems concerning mental phenomena, cause vs. inference, and finally, the relation of science to its cultural matrix.—P. J. M.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  6
    Aspects of the Theory of Syntax. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):806-807.
    Chomsky is widely mentioned in those philosophical circles whose interest centers on the analysis of language, but until now he has really been little read; this new work will remedy that situation. Here Chomsky, building on a presupposed acquaintance with linguistics, provides a stimulating examination of four major areas of linguistic theory: first, generative grammars are studied in their relation to language learning and understanding, then they are further considered as theories of linguistic use and competence; Chomsky here sets out (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  45
    Probability, Confirmation, and Simplicity: Readings in the Philosophy of Inductive Logic.P. J. M. - 1966 - Review of Metaphysics 20 (2):385-386.
    As inductive logic and the philosophy of probability theory have become of wider interest, it has become clear that a book of readings in these and related topics would be useful for courses since most of the important articles are scattered and inaccessible. The editors have fashioned an extensive collection of papers in four main areas: the meaning of probability, confirmation theory, simplicity of theories and structures, the justification of induction. Each chapter is preceded by an introduction which sets out (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  36
    The Elements of Formal Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):813-813.
    This introductory logic text for philosophers stresses decision procedures for the propositional and predicate calculi. In the treatment of the former the authors first present the apparatus for constructing logical inferences and establishing their validity; they then reformulate the system in an axiomatic way and prove its consistency and completeness; they also discuss, for example, techniques for proving independence of axioms. The lower predicate calculus is then developed, first in a monadic form, then in an extended one for which decision (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  31
    The Foundations of Empiricism. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):585-585.
    In this lecture Evans studies one of the basic presuppositions of empiricism: the central doctrine of the theory of meaning of propositions, with special reference to the cleavage between verbal definition—the defining of words by reference to other words—and ostensive definition—the defining of a word by "pointing" to its object. The author shows that ostensive definition is wholly inadequate to the task of defining such words as nouns and adjectives—one can point only to their instances in the world and not (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  31
    Models and Analogies in Science. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):153-153.
    There is little doubt that in the actual practice of science, models, metaphors, analogies, reasoning by similar cases, and other "parallel" forms of argument are often essential for the discovery of new phenomena and their theoretical interpretation. The author has assembled in five essays, culled and developed from previous ones, her ideas on some basic questions concerning models and analogies. The first chapter considers in dialogue form the role of models in science; the next section is an exploration of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  29
    The Foundations of Intuitionistic Mathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-155.
    The aim of the authors is to present a comprehensive study of the basis of intuitionistic mathematics by means of modern meta-mathematical devices. The first author, for whom this book is a capstone of twenty years' work on the subject, contributes three chapters on a formal system of intuitionistic analysis, notions of realizability, and order in the continuum; the second provides an analysis of the intuitionistic continuum. An extensive bibliography which includes references to almost every article on the subject makes (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  28
    The Special Theory of Relativity. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):147-147.
    This is not a textbook in mathematical physics—excepting for one chapter one need not possess much more than geometry and elementary algebra—rather it is a philosophically reflective examination of the cardinal features of special relativity theory. Throughout the book Bohm is not merely doing physics, but thinking about doing physics as well. This metatheoretical reflexion appears in chapters concerning pre-Einsteinian notions of relativity, attempts to save the aether theories, the "ambiguity" of space-time measurements in the new cosmology, "common sense" notions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  24
    The Theory of Relativity and a Priori Knowledge. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):159-160.
    This book originally appeared in 1920 under the title Relativitätstheorie und Erkenntnis Apriori and was the first of Reichenbach's numerous writings on the philosophical problems of relativity theory, space, and time. In this book the author attempted to show how Kant's theory of the a priori, especially concerning the concept of the a priori as "constituting the concept of [the] object" in question, comes into irrevocable conflict with certain facts of both the General and Special theories of relativity; and that, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  23
    Studies in Subjective Probability. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):611-611.
    In this collection the authors have attempted to bring together a number of the essential papers in the subjective interpretation of probability theory; several of them—Borel's "Apropos of a theory on probability" and de Finetti's "Foresight: its logical laws, its subjective sources"—have never appeared before in English. Other articles include Venn's pioneering study as well as the more recent work of Ramsey, Koopman, and Savage. The editors provide an introduction which presents the three basic elements of any subjectivistic theory: probability (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  22
    The Mathematics of Metamathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):157-157.
    This extensive work is both a systematization of past developments, and an extension to new areas, of the application of mathematical apparatus to the study of logical systems; it does not aim to include all such metamathematical devices, Gödel-numbering for example, but to emphasize algebraic and topological ones. The first part surveys required algebraic and topological notions; in the second part they are applied to classical logic—propositional and predicate calculi; in the final section, modal and intuitionistic, non-classical logics come under (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  22
    The Theory of Sets and Transfinite Arithmetic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):578-579.
    This is a text for a one or two semester course on axiomatic set theory; the goal is to introduce and develop one system of set theory in a complete and thorough way, presupposing only the elusive "mathematical maturity" of the reader. There are nine chapters which begin with a development of propositional and predicate logic oriented toward set theory and develop the Zermelo-Fraenkel system in exceptional detail. The book starts slowly, the first 120 pages being devoted to logical preliminaries (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  21
    Untersuchungen Zur Operativen Logik der Gegenwart. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):598-599.
    This book is an attempt to relate the operative and constructive formulation of symbolic logic carried out by Lorenzen—and to a lesser degree Kolmogorov and Markov—to both Wittgenstein's philosophy of logic as set forth in the Tractatus and later modified in the Investigations, and to Brouwer's critique of classical logic, especially the principles of excluded middle. The first chapter contains an exposition of Wittgenstein's critical analysis of the "mythical" views of Russell and Frege; and it develops his own "operative" theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  20
    The Art of War. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):814-815.
    Although Machiavelli was never a military commander, he was throughout much of his life deeply concerned with the conduct of martial affairs; in short, a Renaissance Herman Kahn. This book is an essay on the technique of war: how on army is organized, who make the best soldiers, field manœuvers and battle formations, logistics, internal stability and control of military units, techniques of siege; these are considered both historically with reference to the ancients, as well as the present—the contemporary applications (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  20
    Time and Space, Weight and Inertia. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):810-810.
    In this monograph the author presents the special and general theories of relativity from a geochronometrical viewpoint. The amount of mathematics demanded is not too great, and one can get quite far along on the material on vectors presented early in the book. The first three chapters especially derive from the work of A. A. Robb several decades ago: they treat foundations of geochronometry, one-plus-one geochronometry and its generalization to a one-plus-three system. Later chapters cover such staples as the Lorentz (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  20
    The Undecidable. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):611-612.
    For this volume Professor Davis has assembled a number of the most important papers on undecidable propositions, unsolvable problems and computable functions. Several papers appear here in print for the first time: Gödel's remarks at the Princeton Bicentennial Conference on Problems in Mathematics, and Post's paper on Absolutely Unsolvable Problems. Other authors whose work is included are Church, Turing, Rosser, and Kleene. Gödel's classic "On Formally Undecidable Propositions..." appears in a new translation, and all papers have been corrected, many such (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  19
    The Axiomatic Method: An Introduction to Mathematical Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):592-592.
    Although this excellent introductory and intermediate level text is intended for students of mathematics, it could serve well in any course for philosophers on that level. The first two chapters present the propositional and predicate calculi, along with an informal discussion of some of the set-theoretic concepts needed to study logic. The third chapter discusses what exactly an axiomatic system is, and examples of various mathematical systems cast in axiomatic form are provided; the discussion here, as elsewhere in the book, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  18
    On the Syllogism and Other Logical Writings. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):157-157.
    This book is one of the series entitled "Rare Masterpieces of Philosophy and Science" and it is entitled to both distinctions. The papers collected here are virtually unobtainable except in the most complete libraries; and de Morgan's work is clearly that of a master-between Boole and Frege, he is the leading figure in formal logic. The papers found herein include the series of six on the syllogism published between 1846 and 1868, together with three shorter notes concerning logical phraseology, a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  18
    Set Theory and Syntactic Description. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):808-808.
    The author's central thesis is that a knowledge of set theory can be put to good use by the linguist interested in the syntax of natural languages. The author first points out the role of set theory in formal science, and then gives a short summary of some of the more important ideas. He then develops certain relations in set theory which are of special importance in the study of languages. A fair number of examples—admittedly in rather trivial form—which occur (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  18
    The Theory of Models. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):167-167.
    This volume contains the proceedings of the 1963 Berkeley symposium on the theory of models, and is one of the three or four most important collections of papers in logic ever to appear. There are forty-four papers, grouped into eight categories: model theory of first-order languages, model theory of richer classical languages, model theory of nonclassical languages, mathematical structures, model-theoretic results in set-theory, model-theoretic results in number theory and analysis, model-theoretic results in algebra and geometry, model-theoretic results in the empirical (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  14
    Abstract Set Theory. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):366-366.
    The first edition of this now classical work appeared in 1953, the second heavily revised edition in 1961; this most recent edition is a revision in detail only of the previous one. The book is divided into three parts, the first two dealing with finite and infinite sets, infinite cardinals and their arithmetic, and related remarks on non-standard mathematics and the equivalence of various definitions of finitude. The third part considers ordered sets and isomorphism types, the special case of linearly (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  13
    Techniques of Deductive Inference. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):155-155.
    This is a textbook in symbolic logic comprising sentential and quantificational theory only. The logic of the propositional calculus is developed in a natural-deduction form reminiscent of Fitch's technique; therefore, most of the theorems take the form of metamathematical assertions and possess corresponding meta-proofs. The classical propositional calculus SCc is then formulated in the Hilbert-style axiomatic way which naturally leads to consistency, completeness, and decidability theorems for the system. The theory of quantifiers is also first set up in natural deduction (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. The Art of War. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):814-814.
    Although Machiavelli was never a military commander, he was throughout much of his life deeply concerned with the conduct of martial affairs; in short, a Renaissance Herman Kahn. This book is an essay on the technique of war: how on army is organized, who make the best soldiers, field manœuvers and battle formations, logistics, internal stability and control of military units, techniques of siege; these are considered both historically with reference to the ancients, as well as the present—the contemporary applications (...)
    No categories
     
    Export citation  
     
    Bookmark  
  40.  12
    Recherches Sur la Théorie Générale des Systèmes Formels. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):158-158.
    The author is interested in discussing various aspects of the propositional calculus; in particular, the relationships among the various propositional connectives in various systems of logic such as Intuitionistic and modal are scrutinized. The first three chapters survey the notation to be used and describe the general notion of logistic system; the author then describes the concept of a deductive system in exceptional generality, then treats the connexions of equivalence and independence among such deductive systems in what are essentially algebraic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  39
    The Logic of Decision. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):813-814.
    For a long while Bayesian techniques in statistics in general, and decision theory in particular, were considered suspect at best, and to be avoided; but now along comes Jeffrey with a system of subjective probability and utility functions determined by the individual's preferences, and a strongly Bayesian approach to decision-making, and by so doing puts the whole matter in a new light and makes it quite important to reassess the prior rejection of Bayesian methods. There are twelve chapters, each with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Mathematics and Science: Last Essays. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 18 (4):778-778.
    A translation of the 1913 volume Dernières Pensées, this collection of papers contains much material of interest to the logician and the philosopher of science. In "The Logic of Infinity" Poincaré clarifies the notion of "predicative set" and discusses Zermelo's and Russell's approaches to set theory. "The Evolution of Laws" attempts to formulate the question "do laws of nature evolve?" Two papers concern space and time, two others, the electrostatic and quantum theories of matter. The collection concludes with a pair (...)
     
    Export citation  
     
    Bookmark   2 citations  
  43.  10
    Einführung in Die Grundbegriffe Und Probleme der Modernen Logik. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):812-813.
    In this compact volume the author gives a sprightly introduction to modern symbolic logic, at no time side-stepping philosophical problems concerning the nature of formal logic. The first chapter is a brief comparison of traditional syllogistic logic and modern "logistic"; the next three chapters deal with the nature of logic as illustrated through various elementary logical systems: logic as ontology, logic as theory of language, logic as methodology of deductive sciences. Hasenjaeger then examines richer systems—many-sorted, those with definite descriptors, etc.—and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. The Foundations of Mathematics: A Study in the Philosophy of Science. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):146-147.
    This is easily the most systematic survey of the foundations of logic and mathematics available today. Although Beth does not cover the development of set theory in great detail, all other aspects of logic are well represented. There are nine chapters which cover, though not in this order, the following: historical background and introduction to the philosophy of mathematics; the existence of mathematical objects as expressed by Logicism, Cantorism, Intuitionism, and Nominalism; informal elementary axiomatics; formalized axiomatics with reference to finitary (...)
     
    Export citation  
     
    Bookmark  
  45.  7
    Probability, Confirmation, and Simplicity: Readings in the Philosophy of Inductive Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):385-386.
    As inductive logic and the philosophy of probability theory have become of wider interest, it has become clear that a book of readings in these and related topics would be useful for courses since most of the important articles are scattered and inaccessible. The editors have fashioned an extensive collection of papers in four main areas: the meaning of probability, confirmation theory, simplicity of theories and structures, the justification of induction. Each chapter is preceded by an introduction which sets out (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  29
    Discourse on Method, Optics, Geometry, and Meteorology. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):809-809.
    Descartes considered the methods of reasoning put forth in the Discourse to be correct because, among other justifications, he had examples of scientific theories in which the techniques were successful: the Optics, Meteorology, and Geometry. The chief value of this edition is to have the Discourse back in its proper setting, as well as the more obvious one of having available three works of importance in the history of the exact sciences in one compact and readable edition. The Optics is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  28
    A Transfinite Type Theory with Type Variables. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):144-144.
    The author here constructs a system of simple type theory in which the type hierarchy does not extend merely to any finite height, but to an infinite height; this added part allows him to prove the existence of infinite sets within the theory, instead of taking it as an axiom in the usual simple type theory. The system has been presented in such sufficient generality so as to make it able to accommodate current scientific theories; the author has turned in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  28
    Languages with Expressions of Infinite Length. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-154.
    The infinitary languages studied in this book are those in which quantification of infinitely many variables simultaneously, and conjunctions or alternations of infinitely many are permitted. Infinitary concatenation and infinitary propositional logics are first discussed, and a completeness theorem is proved about the latter. The later chapters deal with infinitary predicate languages and Scott's proof of incompleteness is introduced. Throughout the discussion, unsolved problems are mentioned and areas undergoing current development are emphasized. A short bibliography lists most recent articles on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. The Language of Nature: An Essay in the Philosophy of Science. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (2):375-375.
    What is attempted in this book is a presentation of various areas of science in such ways that their attendant philosophical problems are displayed, and their philosophical relevance is made evident. Essentially, there are three parts to the book: the first, comprising chapters on the nature of number, geometry, and the mathematical treatments of motion and measurement, presents the usual problems of conventionalism in geometry, physical vs. formal geometry, but also discusses Turing machines and information theory. The next five chapters (...)
     
    Export citation  
     
    Bookmark  
  50.  25
    Logik Und Logikkalkül. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):607-608.
    This interesting collection is the Festschrift presented to W. Britzelmayr on his seventieth birthday, and it contains several excellent papers which ought to interest the logician and philosophical analyst alike. The most exciting paper is one by Stegmüller in which a system of set theory combining ideas from Bernays and Quine is formulated; one by Kurt Schütte discusses the limitations imposed by constructive logic on the theory of trans finite arithmetic; there are papers by each of the editors: the first (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000