Results for 'Mario R. F. Benevides'

1000+ found
Order:
  1.  25
    Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  35
    Squares in Fork Arrow Logic.Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343-355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  9
    PDL for structured data: a graph-calculus approach.P. A. S. Veloso, S. R. M. Veloso & M. R. F. Benevides - 2014 - Logic Journal of the IGPL 22 (5):737-757.
  4. Vegetti's Callipolis: A Discussion of Mario Vegetti et al., Platone: La Repubblica.G. R. F. Ferrari - 2002 - Oxford Studies in Ancient Philosophy 23:225-245.
     
    Export citation  
     
    Bookmark  
  5. Vegetti's Callipolis: A Discussion of Mario Vegetti (trans.and comm.), Platone: La Repubblica.G. R. F. Ferrari - 2002 - In David Sedley (ed.), Oxford Studies in Ancient Philosophy Volume Xxiii: Winter 2002. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  31
    On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  18
    On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    Measuring Cognitive Abilities in the Wild: Validating a Population‐Scale Game‐Based Cognitive Assessment.Mads Kock Pedersen, Carlos Mauricio Castaño Díaz, Qian Janice Wang, Mario Alejandro Alba-Marrugo, Ali Amidi, Rajiv V. Basaiawmoit, Carsten Bergenholtz, Morten H. Christiansen, Miroslav Gajdacz, Ralph Hertwig, Byurakn Ishkhanyan, Kim Klyver, Nicolai Ladegaard, Kim Mathiasen, Christine Parsons, Janet Rafner, Anders R. Villadsen, Mikkel Wallentin, Blanka Zana & Jacob F. Sherson - 2023 - Cognitive Science 47 (6):e13308.
    Rapid individual cognitive phenotyping holds the potential to revolutionize domains as wide‐ranging as personalized learning, employment practices, and precision psychiatry. Going beyond limitations imposed by traditional lab‐based experiments, new efforts have been underway toward greater ecological validity and participant diversity to capture the full range of individual differences in cognitive abilities and behaviors across the general population. Building on this, we developed Skill Lab, a novel game‐based tool that simultaneously assesses a broad suite of cognitive abilities while providing an engaging (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  50
    Witnessing functions in bounded arithmetic and search problems.Mario Chiari & Jan Krajíček - 1998 - Journal of Symbolic Logic 63 (3):1095-1115.
    We investigate the possibility to characterize (multi) functions that are Σ b i -definable with small i (i = 1, 2, 3) in fragments of bounded arithmetic T 2 in terms of natural search problems defined over polynomial-time structures. We obtain the following results: (1) A reformulation of known characterizations of (multi)functions that are Σ b 1 - and Σ b 2 -definable in the theories S 1 2 and T 1 2 . (2) New characterizations of (multi)functions that are (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  4
    Critical Approaches to Science & Philosophy with a New Introduction.Mario Bunge - 1999 - Routledge.
    This collection of essays, written on four continents by scientists, philosophers and humanists, was initially presented to Karl R. Popper on his sixtieth birthday as a token of critical admiration and in recognition of his work. But the volume also stands on its own as a remarkable series of statements utilizing Popper's critical vision in the study of philosophy proper, logic, mathematics, science as method and theory, and finally to the study of society and history. What is remarkable is that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. BEARDSMORE, R. W. - Moral Reasoning. [REVIEW]R. F. Atkinson - 1971 - Mind 80:473.
     
    Export citation  
     
    Bookmark  
  12. F. H. Bradley, The Principles of Logic, 2nd ed. revised. [REVIEW]R. F. Alfred Hoernlé - 1922 - Hibbert Journal 21:601.
     
    Export citation  
     
    Bookmark  
  13. SCHILLER, F. C. S. - Formal Logic: A Scientific and Social Problem. [REVIEW]R. F. A. Hoernlé - 1913 - Mind 22:102.
    No categories
     
    Export citation  
     
    Bookmark  
  14. Downey, R., f, iiForte, G. and Nies, A., Addendum to.R. Jin, I. Kalantari, L. Welch, B. Khoussainov, R. A. Shore, A. P. Pynko, P. Scowcroft, S. Shelah, J. Zapletal & J. B. Wells - 1999 - Annals of Pure and Applied Logic 98:299.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  15. EUCKEN, R. - Main Currents of Modern Thought. [REVIEW]R. F. A. Hoernlé - 1915 - Mind 24:86.
     
    Export citation  
     
    Bookmark  
  16. MACMILLAN, R. A. C. - The Crowning Phase of the Critical Philosophy: a Study in Kant's Critique of Judgement. [REVIEW]R. F. A. Hoernlé - 1914 - Mind 23:597.
     
    Export citation  
     
    Bookmark  
  17. GOMULICKI, B. R. - The Development and Present Status of the Trace Theory of Memory. [REVIEW]R. F. Holland - 1955 - Mind 64:426.
     
    Export citation  
     
    Bookmark  
  18.  3
    Pragmatism: An Annotated Bibliography, 1898-1940.John R. Shook (ed.) - 1998 - Rodopi.
    Designed to fill a large gap in American philosophy scholarship, this bibliography covers the first four decades of the pragmatic movement. It references most of the philosophical works by the twelve major figures of pragmatism: Charles S. Peirce, William James, John Dewey, George H. Mead, F.C.S. Schiller, Giovanni Papini, Giovanni Vailati, Guiseppe Prezzolini, Mario Calderoni, A.W. Moore, John E. Boodin, and C.I. Lewis. It also includes writings of dozens of minor pragmatic writers, along with those by commentators and critics (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  37
    Play and pleasure. Reply to Nancy Gayer and M. F. Burnyeat.R. F. Dearden - 1971 - Journal of Philosophy of Education 5 (1):37–41.
    R F Dearden; Play and Pleasure, Journal of Philosophy of Education, Volume 5, Issue 1, 30 May 2006, Pages 37–41, https://doi.org/10.1111/j.1467-9752.1971.tb0044.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. The Control of Parenthood. By various writers, edited by James Marchant, by F. B.R. F. Alfred Hoernle - 1920 - International Journal of Ethics 31:443.
     
    Export citation  
     
    Bookmark  
  21. HOERNLÉ, R. F. A. -Studies in Philosophy. Ed. D. S. Robinson. [REVIEW]D. R. Cousin - 1956 - Mind 65:115.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  78
    Theory and practice in education.R. F. Dearden - 1980 - Journal of Philosophy of Education 14 (1):17–29.
    R F Dearden; Theory and Practice in Education, Journal of Philosophy of Education, Volume 14, Issue 1, 30 May 2006, Pages 17–29, https://doi.org/10.1111/j.1467-.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  23. RASHDALL, H. -The Metaphysic of Mr. F. H. Bradley. [REVIEW]F. A. H. R. F. A. H. R. - 1913 - Mind 22:589.
     
    Export citation  
     
    Bookmark  
  24. Tolerance and arete in fifth century athens.Mario R. Mion - 1991 - In A. W. H. Adkins, Joan Kalk Lowrence, Ihara, Craig & K. (eds.), Human Virtue and Human Excellence. P. Lang. pp. 45.
     
    Export citation  
     
    Bookmark  
  25.  50
    Moral Reasoning. [REVIEW]F. D. R. - 1970 - Review of Metaphysics 23 (3):552-553.
    In this monograph R. W. Beardsmore presents a lucid and readable presentation of what he takes moral reasoning to be and what he expects moral reasoning to accomplish. It is another in the long list of works which attempt to apply later-Wittgensteinian insights to the problems of ethics. The common moves run this way: Wittgenstein insists that to say that something is justified, or to say there are justifiable reasons for some position implies some fundamental agreement in our language game. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  28
    Milton's Ontology, Cosmology and Physics. [REVIEW]F. T. R. - 1957 - Review of Metaphysics 11 (1):163-163.
    This spirited work is better Milton than ontology, cosmology and physics. Milton drew on many sources for the cosmic imagery of Paradise Lost, but he did not unite the traditions thoroughly. Curry is rather too kind to Milton, calling him syncretic when he is merely eclectic.--R.F.T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  28
    Nature and Historical Experience. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (1):148-148.
    In this group of well-written essays Randall discusses explicitly the group of ideas which have been implicit in his earlier works in intellectual history. The first section, which deals with the philosophy of history, argues that particular things have particular histories, and that these histories belong to them on the basis of what they are taken to be and expected to become. The metaphysics of the second section is a pluralistic analysis of actual experience and its symbolic representation.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  13
    The Motivating Influence of Emotion on Twisted Self-Deception.Mario R. Echano - 2017 - Kritike 11 (2):104-120.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  24
    Introduction to the Philosophy of St. Thomas Aquinas. Vol. III, Psychology. [REVIEW]F. T. R. - 1957 - Review of Metaphysics 10 (3):538-538.
    The first volume of this French textbook series to appear in English. Gardeil's exposition is usually in the form of a paraphrase of Thomas' conclusions on questions raised by Aristotle's De Anima, but he also treats the more peculiarly thomistic problems of knowledge of individuals, the soul, and God. The Value of this work as an introduction to Thomas' psychology is enhanced by the inclusion of almost sixty pages of texts in an appendix.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  23
    Logic Workbook. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (2):326-326.
    Exercises in symbolization and problem-solving are provided in a format which allows space for completing the exercises and removing pages for easy correction.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  22
    New Light on Martin Luther, with an authentic account of the Luther Film of 1953. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (1):145-145.
    In this loosely organized study Hyma undertakes to correct almost every misstatement made about Luther in recent years. Although some of the individual items will be of interest to Luther specialists, the work as a whole makes no clear impression.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  19
    Kant's "Critique of Pure Reason.". [REVIEW]F. T. R. - 1959 - Review of Metaphysics 12 (3):496-496.
    In preparing this second edition of his commentary, Weldon has left the historical sections materially unaltered but has almost tripled the critical treatment. This leads to a far more valuable book, particularly since he has replaced long summary passages with systematic treatment of the issues Kant raises.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  19
    Moral Values in the Ancient World. [REVIEW]F. T. R. - 1959 - Review of Metaphysics 13 (1):187-187.
    Why Christianity, with its conception of agapé was successful in winning the allegiance of the late Romans is the question which leads Ferguson to his examination of the Homeric virtues and the Stoic morality. He finds the classical virtues are incapable of "providing that basis for an universal morality for which people were seeking" because they were each linked to a vanished society or failed to reach to the heart of men's moral strivings. His analysis of the pagan virtues is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  18
    Loyalty and Security, Employment Tests in the United States. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (1):143-143.
    This balanced and thorough study of the loyalty programs reviews the history of prosecutions and the dismissals under them, and makes detailed proposals for their revision.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  17
    Indications of the Extra Phenomenal in Sense Experience. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (2):327-327.
    Moritz collects a number of rather elaborate bits of empirical evidence to refute Berkeley's subjectivism.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  17
    In Search of Reality. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 11 (4):696-696.
    A popular philosophy based on popularized science. Viscount Samuel puts forward a common-sense realism, but defends it with little more than the assertion that scientists cannot decide among themselves precisely what they want to put in its place. --R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. John Locke: A Biography. [REVIEW]F. T. R. - 1957 - Review of Metaphysics 11 (2):344-345.
    The acquisition by the Bodleian Library in 1948 of the Lovelace papers has made possible a number of historically oriented papers on Locke and his philosophy, e.g., J. Yolton's John Locke and the Way of Ideas, J. W. Gough's, Locke's Political Philosophy, and W. v.Leyden's publication of the Essays on the Law of Nature. Cranston's biography is a distinguished addition to this list: it makes full use of the source material and is as thorough as one could ask in revealing (...)
     
    Export citation  
     
    Bookmark  
  38.  11
    Landmarks in Logic. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (2):326-326.
    Molesworth's elementary text covers a good deal that would usually be called epistemology, treating logicians as varied as Socrates, Locke, and Russell. It tends to be conservative and sympathetic to the "classical" logic of the eighteenth and nineteenth centuries.--R. F. T.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  42
    How emotions facilitate and impair self-regulation.R. F. Baumeister, Anne L. Zell, Dianne M. Tice & J. J. Gross - 2007 - In James J. Gross (ed.), Handbook of Emotion Regulation. Guilford Press.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  40. Maine de Biran: Reformer of Empiricism--1766-1824. [REVIEW]F. T. R. - 1959 - Review of Metaphysics 12 (4):664-664.
    Taking Locke's epistemology as a starting-point, Maine de Biran elaborated the notions of expectation of resistance and kinaesthetic response into a theory which attempted to account for the origin of our ideas of personal identity and causation. In this clear and intelligent study, Hallie compares Maine de Biran to the British empiricists, finding him most in sympathy with Berkeley; he also assesses the importance and limitations of this internal critique of empiricism for both empiricism and later French philosophy.--R. F. T.
     
    Export citation  
     
    Bookmark  
  41. The Miraculous.R. F. Holland - 1965 - American Philosophical Quarterly 2 (1):43-51.
    ALTHOUGH THE IDEA OF A VIOLATION OF NATURAL LAW IS NOT NECESSARILY INVOLVED IN THE IDEA OF THE MIRACULOUS, THERE IS "ONE KIND" OF MIRACLE WHICH SEEMS TO INVOLVE IT. HUME’S DISCUSSION OF THE EVIDENCE FOR MIRACLES RELATES TO THIS KIND AND IS INTERPRETABLE AS AN ARGUMENT AGAINST ITS POSSIBILITY. ALSO THERE IS AN ARGUMENT THAT THE EXPRESSION "VIOLATION OF NATURAL LAW" SIGNIFIES A CONFUSION IN WHICH THE IDEAS OF NATURAL LAW AND LEGAL LAW COLLAPSE INTO EACH OTHER. NEITHER OF (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  42.  2
    Theory and practice in education.R. F. Dearden - 1984 - Boston: Routledge & Kegan Paul.
  43. R. F. Anderson, "Hume's First Principles". [REVIEW]Farhang Zabeeh - 1968 - Journal of the History of Philosophy 6 (1):88.
  44. An Introduction to Plato's Laws.R. F. Stalley - 1985 - Tijdschrift Voor Filosofie 47 (4):681-681.
    No categories
     
    Export citation  
     
    Bookmark   25 citations  
  45. Memory systems in the brain and the localization of a memory.R. F. Thompson & J. J. Kim - 1996 - Proceedings of the National Academy of Sciences of the United States of America 93 (24):13438-13444.
  46. Against Empiricism. On Education, Epistemology, and Value.R. F. Holland - 1980 - Philosophy 57 (222):553-555.
    No categories
     
    Export citation  
     
    Bookmark   22 citations  
  47.  12
    Comparative Judicial Behavior. Cross-Cultural Studies of Political Decision-Making in East and West. [REVIEW]R. F. T. - 1972 - Review of Metaphysics 25 (4):767-768.
    This pioneer work in comparative political analysis manifests once more the growing influence of behavioral approaches on the study of politics. In this case the general topic is the voting pattern of justices on the highest courts of several Pacific nations and India. Various heuristic and explanatory models are employed to determine the influence of such variables as age, culture, and political orientation on the adjudicative behavior of these men over a determinate period. Although the articles by twelve different authors (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  12
    Humans Being. The World of Jean-Paul Sartre. [REVIEW]R. F. T. - 1972 - Review of Metaphysics 26 (1):165-166.
    This is one of the best written and most comprehensive studies of the development of Sartre’s thought yet to appear in English, which is not to say that it covers every facet of his variegated career. Written by the former editor of Yale French Studies and current chairman of the Department of Romance Languages at Wesleyan University, Connecticut, it emphasizes Sartre’s literary works and thus belongs most properly in the category of literary criticism or the history of ideas. Still, McMahon (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  6
    An Introduction to Plato's Laws.R. F. Stalley - 1983 - Hackett Publishing.
    Reading the Republic without reference to the less familiar Laws can lead to a distorted view of Plato's political theory. In the Republic the philosopher describes his ideal city; in his last and longest work he deals with the more detailed considerations involved in setting up a second-best 'practical utopia.' The relative neglect of the Laws has stemmed largely from the obscurity of its style and the apparent chaos of its organization so that, although good translations now exist, students of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  50. The Cambridge Companion to Plato’s R Epublic.G. R. F. Ferrari (ed.) - 2007 - New York: Cambridge University Press.
    This Companion provides a fresh and comprehensive account of this outstanding work, which remains among the most frequently read works of Greek philosophy, indeed of Classical antiquity in general. The sixteen essays, by authors who represent various academic disciplines, bring a spectrum of interpretive approaches to bear in order to aid the understanding of a wide-ranging audience, from first-time readers of the Republic who require guidance, to more experienced readers who wish to explore contemporary currents in the work’s interpretation. The (...)
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
1 — 50 / 1000