Results for 'S. P. J. M. Horbach'

1000+ found
Order:
  1.  42
    Promoting Virtue or Punishing Fraud: Mapping Contrasts in the Language of ‘Scientific Integrity’.S. P. J. M. Horbach & W. Halffman - 2017 - Science and Engineering Ethics 23 (6):1461-1485.
    Even though integrity is widely considered to be an essential aspect of research, there is an ongoing debate on what actually constitutes research integrity. The understanding of integrity ranges from the minimal, only considering falsification, fabrication and plagiarism, to the maximum, blending into science ethics. Underneath these obvious contrasts, there are more subtle differences that are not as immediately evident. The debate about integrity is usually presented as a single, universal discussion, with shared concerns for researchers, policymakers and ‘the public’. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  2.  9
    Correction to: The changing forms and expectations of peer review.Willem Halffman & S. P. J. M. Horbach - 2018 - Research Integrity and Peer Review 3 (1).
    Following publication of this article [1] it was brought to our attention that we omitted to provide credit for Table 1. While the content of the table and the systematization of blinding in review have been referenced in the text as coming from [2], the credit line for Table 1 should have been added as follows: “Reproduced with permission from [2] licensed under a CC BY-NC-ND 3.0 License”. The original publication of this article has been corrected accordingly.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  22
    Innovating editorial practices: academic publishers at work.Willem Halffman & Serge P. J. M. Horbach - 2020 - Research Integrity and Peer Review 5 (1).
    BackgroundTriggered by a series of controversies and diversifying expectations of editorial practices, several innovative peer review procedures and supporting technologies have been proposed. However, adoption of these new initiatives seems slow. This raises questions about the wider conditions for peer review change and about the considerations that inform decisions to innovate. We set out to study the structure of commercial publishers’ editorial process, to reveal how the benefits of peer review innovations are understood, and to describe the considerations that inform (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  30
    On the Willingness to Report and the Consequences of Reporting Research Misconduct: The Role of Power Relations.Serge P. J. M. Horbach, Eric Breit, Willem Halffman & Svenn-Erik Mamelund - 2020 - Science and Engineering Ethics 26 (3):1595-1623.
    While attention to research integrity has been growing over the past decades, the processes of signalling and denouncing cases of research misconduct remain largely unstudied. In this article, we develop a theoretically and empirically informed understanding of the causes and consequences of reporting research misconduct in terms of power relations. We study the reporting process based on a multinational survey at eight European universities. Using qualitative data that witnesses of research misconduct or of questionable research practices provided, we aim to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  30
    Journal Peer Review and Editorial Evaluation: Cautious Innovator or Sleepy Giant?Serge P. J. M. Horbach & Willem Halffman - 2020 - Minerva 58 (2):139-161.
    Peer review of journal submissions has become one of the most important pillars of quality management in academic publishing. Because of growing concerns with the quality and effectiveness of the system, a host of enthusiastic innovators has proposed and experimented with new procedures and technologies. However, little is known about whether these innovations manage to convince other journal editors. This paper will address open questions regarding the implementation of new review procedures, the occurrence rate of various peer review procedures and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Nietzsche on tragedy.M. S. Silk & J. P. Stern - 1981 - New York: Cambridge University Press. Edited by J. P. Stern.
    This is the first comprehensive study of Nietzsche's earliest (and extraordinary) book, The Birth of Tragedy (1872). When he wrote it, Nietzsche was a Greek scholar, a friend and champion of Wagner, and a philosopher in the making. His book has been very influential and widely read, but has always posed great difficulties for readers because of the particular way Nietzsche brings his ancient and modern interests together. The proper appreciation of such a work requires access to ideas that cross (...)
  7.  17
    The movement of volterra disclinations and the associated mechanical forces.E. S. P. Das, M. J. Marcinkowski, R. W. Armstrong & R. De Wit - 1973 - Philosophical Magazine 27 (2):369-391.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  22
    Essays in the Philosophy of Mathematics. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):150-151.
    This is a collection of papers, all but one of which were previously published, by one of England's leading logicians. Goodstein has described his position in the philosophy of mathematics as that of a "constructive formalist": leaning toward the Hilbert school, but emphasizing the constructive nature of mathematical entities. The papers are more or less technical and symbolic; those most difficult are "The Nature of Mathematics," "The Decision Problem," and "The Definition of Number." Other titles are "Proof by Reductio ad (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  23
    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  
  10.  17
    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.  40
    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  
  12.  70
    The Teacher and the Community, School Culture and Organizational Leadership.L. B. Capulso, G. C. Magulod Jr, J. N. S. Nisperos, J. M. M. Dela Cruz, Jupeth Pentang, A. M. Dizon, J. B. Ilagan, G. C. Salise, C. J. E. Vidal & M. A. P. Dugang - 2021 - Macabebe, Pampanga, Philippines: Beyond Books Publication.
  13.  34
    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  
  14.  28
    Psychology and the Other Disciplines. A Case of Cross-Disciplinary Interaction (1250-1750).P. J. J. M. Bakker, S. W. De Boer & C. H. Leijenhorst - unknown
  15.  18
    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  
  16. 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  
  17.  15
    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  
  18.  24
    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  
  19.  23
    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  
  20. 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  
  21.  56
    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  
  22.  16
    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  
  23.  24
    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  
  24.  27
    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  
  25.  21
    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  
  26.  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  
  27. Cultivating continuity and creating change: women's homegarden practices in north-eastern Thailand. Multi-cultural considerations from cropping to consumption.G. M. Black, P. Somnasang, S. Thamathawan & J. M. Newman - 1996 - Agriculture Human Values 13:3-11.
  28.  27
    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  
  29.  63
    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  
  30.  17
    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  
  31.  13
    A Study of Frege. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):819-819.
    Although Frege is now one of the most important figures in analytical philosophy, there are virtually no full-length studies available. Walker does not try to present all of Frege—that would be a monumental undertaking—but only to consider the philosophical aspects of his thought. Frege's theory of functions, concepts, and objects is first studied; then naming and describing are related to predication and thence to concepts; the notion of the sense of words and expressions, and then the notion of truth, especially (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  31
    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  
  33.  16
    Beyond the Edge of Certainty. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 18 (4):780-780.
    The second volume in the Pittsburgh Series in the Philosophy of Science, this collection of papers covers a wide range of topics: the development of Newton's First Law comes under scrutiny in papers by Hanson and Ellis; Putnam attempts to clarify certain conceptual issues at the foundations of quantum theory; David Hawkins discusses the relation of teleology and thermodynamics from a neo-Aristotelian viewpoint; Morrison examines certain topics in astronomy; empiricism is studied by Feyerabend from a number of aspects, and is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  21
    Continuous Model Theory. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):364-364.
    This monograph is the first really systematic study of the model theory of many-valued logic. The authors develop model theory for systems of logic whose truth-values lie in a compact topological space; the results are analogous to those for two-valued logic—they yield the two valued logics as special cases—but often the methods of proof are more complicated and tend to reveal some of the deep structure of these logics. There is presupposed a fair knowledge of naive set theory and point-set (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  42
    Duration and Simultaneity. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):804-805.
    Hitherto unavailable except in the original French, Bergson's Durée et Simultanéité is an engaging contribution to the philosophy of relativity theory, space, and time. The book appeared during a period of great debate on the philosophical status of Einstein's Special Theory, and it treats, therefore, of it to the exclusion of the more conceptually difficult General Theory. Bergson is mainly concerned with trying to explicate the problems of the twin and clock 'paradoxes' which are presently again under some critical discussion. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  21
    Enumerability, Decidability, Computability. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):588-588.
    This well-written introduction to the theory of recursive functions and effective computability is an English translation of the 1960 German edition. The seven chapters deal with all the usual material, beginning with a treatment of Turing machines and their relation to the intuitive idea of computability, through general recursive functions, to a chapter on such diverse topics as the hierarchy of arithmetical predicates and Fitch's basic logic system. Rather than try to cover the whole subject sketchily, the author confines himself (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. 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  
  38.  32
    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  
  39.  84
    Benefits of an external focus of attention: Common coding or conscious processing?J. M. Poolton, J. P. Maxwell, R. S. W. Masters & M. Raab - 2006 - Journal of Sports Sciences 24 (1):89-99.
  40.  34
    Passing thoughts on the evolutionary stability of implicit motor behaviour: Performance retention under physiological fatigue.J. M. Poolton, R. S. W. Masters & J. P. Maxwell - 2007 - Consciousness and Cognition 16 (2):456-468.
    Heuristics of evolutionary biology dictate that phylogenetically older processes are inherently more stable and resilient to disruption than younger processes. On the grounds that non-declarative behaviour emerged long before declarative behaviour, Reber argues that implicit learning is supported by neural processes that are evolutionarily older than those supporting explicit learning. Reber suggested that implicit learning thus leads to performance that is more robust than explicit learning. Applying this evolutionary framework to motor performance, we examined whether implicit motor learning, relative to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  11
    Elements of Mathematical Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):816-816.
    Novikov is one of Russia's leading logicians and the appearance of this fine textbook is a good indicator of increasing American interest in Soviet logic. The book contains some new material, including a new independence proof of the rule of complete induction from the remaining axioms of first-order arithmetic. The first third of this work consists in chapters on propositional algebra and the propositional calculus. The first-order predicate calculus comes next under discussion: here a number of important classical results—Gödel's incompleteness (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  17
    Freedom and Determinism. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):164-164.
    This collection of seven papers by six authors centers about the relation of free action to determinism as both a metaphysical as well as a methodological hypothesis. Chisholm is concerned with the problem of whether a human whose behavior is completely controlled by outside forces can still be considered free; Danto studies the old problem of whether it can be said that actions of men are caused in the same way as the activities of other objects. Richard Taylor examines the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  22
    Foundations of Mathematical Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):583-584.
    Although conceived as a textbook, this extraordinary work contains a great deal of material which is either completely new or which has not appeared before in book form. It is intended as an upperlevel text for those with some familiarity with the subject already. After the introduction, there is a long chapter on formal systems which contains new material on algorithms and the theory of definition; epitheory of formal systems is then discussed, followed by an elegant algebraic treatment of logic. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  23
    Formal Systems and Recursive Functions. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):161-162.
    This is a collection of papers read at an international logic colloquium held at Oxford in 1963. The first half contains articles on intuitionistic and modal logics, the propositional calculus, and languages with infinitely long expressions by such logicians as Kripke, Bull, Harrop, and Tait. The second part is primarily concerned with recursive functions and features a monograph by Crossley on constructive order types, as well as contributions by Goodstein, Schütte, and Wang, among others. Especially noteworthy is Kripke's paper which (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  16
    Hypothetical Reasoning. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):597-598.
    This is the first book-length study published of the structure of reasoning and argument dependent on hypotheses. It encompasses far more than the, by now, familiar discussion of contrafactual conditional—this is but one chapter—since it ranges over such topics as the nature of hypothetical inference, belief-contravening hypotheses, contrafactual conditionals and modality, and entailment of conclusion from premisses under restriction. There are three appendices which concern, respectively, the historical roots of hypothetical reasoning and its attendant perplexities, the difficulty concerned in the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  24
    Homage to Galileo. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):822-822.
    To celebrate the four-hundredth anniversary of Galileo's birth, the University of Rochester held a series of lectures on the thought and influence of Galileo; there were six contributors and their work groups itself into three areas. The first of these is the importance and relevance of Galileo in modern thought and society: these were discussed by Giorgio di Santillana and Gilgerto Bernardino respectively. Norwood Hanson and E. W. Strong study the work of Galileo in dynamics and his theory of measurement. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  20
    Introduction to Model Theory and to the Metamathematics of Algebra. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):157-158.
    An enlargement of a previous work by the author, this work is intended as a reference source for study in the theory of models of logical systems, and as a textbook; the latter aim is reached by including numerous problems, many of them of a high level of difficulty, at the end of each chapter. The sections deal with, respectively, the lower predicate calculus, the structure of algebraic theories, concepts from model theory, completeness of various systems, definability of concepts, generalizations (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  21
    Introduction to the Foundations of Mathematics. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):604-604.
    Ever since the first edition appeared in 1952, Wilder's book has been a mainstay of courses in the philosophy and foundations of mathematics, and deservedly so, for it covers most of the topics which provide an insight into the nature of this formal science. There are two parts: the first is a rapid but thorough survey of the axiomatic method, set theory, especially infinite sets, cardinal and ordinal numbers, the linear continuum, and the theory of groups with reference to foundational (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  29
    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  
  50.  32
    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  
1 — 50 / 1000