Results for 'S. R. M. Veloso'

1000+ found
Order:
  1.  11
    On Modulated Logics for 'Generally' : Some Metamathematical Issues.Sheila R. M. Veloso & Paulo A. S. Veloso - unknown
  2.  29
    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  
  3.  22
    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  
     
    Export citation  
     
    Bookmark  
  4.  10
    On Vague Notions and Modalities: A Modular Approach.P. A. S. Veloso, S. R. M. Veloso, P. Viana, R. D. Freitas, M. Benevides & C. Delgado - 2010 - Logic Journal of the IGPL 18 (3):381-402.
  5.  6
    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.
  6.  34
    On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.
    Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  26
    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  
  8.  13
    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  
  9.  11
    Policy Implications of Achievement Testing Using Multilevel Models: The Case of Brazilian Elementary Schools.Igor G. Menezes, Victor R. Duran, Euclides J. Mendonça Filho, Tainã J. Veloso, Stella M. S. Sarmento, Christine L. Paget & Kai Ruggeri - 2016 - Frontiers in Psychology 7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Under Osman’s Tree: The Ottoman Empire, Egypt, and Environmental History.M. Fatih Çalışır - 2018 - Nazariyat, Journal for the History of Islamic Philosophy and Sciences 4 (2):164-166.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. A Philosophical Autobiography: R. M. Hare.R. M. Hare - 2002 - Utilitas 14 (3):269-305.
    I had a strange dream, or half-waking vision, not long ago. I found myself at the top of a mountain in the mist, feeling very pleased with myself, not just for having climbed the mountain, but for having achieved my life's ambition, to find a way of answering moral questions rationally. But as I was preening myself on this achievement, the mist began to clear, and I saw that I was surrounded on the mountain top by the graves of all (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  30
    Life and Letters in Roman Africa. By E. S. Bouchier, M.A. Small 8vo. I Vol. Pp. 128. Oxford: R. H. Blackwell, 1913. 3s. 6d. [REVIEW]S. R. J. - 1914 - The Classical Review 28 (1):26-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  34
    Russell on Acquaintance: R. M. Sainsbury.R. M. Sainsbury - 1986 - Royal Institute of Philosophy Supplement 20:219-244.
    In Russell's Problems of Philosophy, acquaintance is the basis of thought and also the basis of empirical knowledge. Thought is based on acquaintance, in that a thinker has to be acquainted with the basic constituents of his thoughts. Empirical knowledge is based on acquaintance, in that acquaintance is involved in perception, and perception is the ultimate source of all empirical knowledge.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  42
    Plato's Ion Translated by W. R. M. Lamb (Loeb Text, Greek-English). Plato & W. R. M. Lamb - 1925 - Loeb Classical Library.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  42
    R. M. Adams’s Theodicy of Grace.Richard M. Gale - 1998 - Philo 1 (1):36-44.
    R. M. Adams’s essay, “Must God Create the Best?” can be interpreted as offering a theodicy for God’s creating morally less perfect beings than he could have created. By creating these morally less perfect beings, God is bestowing grace upon them, which is an unmerited or undeserved benefit. He does so, however, in advance of the free moral misdeeds that render them undeserving. This requires that God have middle knowledge, pace Adams’s version of the Free Will Theodicy, of what would (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Bir Us Ve Bilim Savaşçısı: Cemal Yıldırım'a Armağan.Cemal Yıldırım & Kumru Arapgirlioğlu (eds.) - 2008 - İmge Kitabevi.
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. R. M. Adams’s Theodicy of Grace.Richard M. Gale - 1998 - Philo 1 (1):36-44.
    R. M. Adams’s essay, “Must God Create the Best?” can be interpreted as offering a theodicy for God’s creating morally less perfect beings than he could have created. By creating these morally less perfect beings, God is bestowing grace upon them, which is an unmerited or undeserved benefit. He does so, however, in advance of the free moral misdeeds that render them undeserving. This requires that God have middle knowledge, pace Adams’s version of the Free Will Theodicy, of what would (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Some Epistemological Reflections on Software Development.A. M. Haeberer & P. A. S. Veloso - unknown
     
    Export citation  
     
    Bookmark  
  19. Critical Notice.Review author[S.]: R. M. Sainsbury - 1985 - Mind 94 (373):120-142.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  35
    Can Whether One Proposition Makes Sense Depend on the Truth of Another? : R.M. White.R. M. White - 1973 - Royal Institute of Philosophy Supplement 7:14-29.
    Wittgenstein's Tractatus contains a wide range of profound insights into the nature of logic and language – insights which will survive the particular theories of the Tractatus and seem to me to mark definitive and unassailable landmarks in our understanding of some of the deepest questions of philosophy. And yet alongside these insights there is a theory of the nature of the relation between language and reality which appears both to be impossible to work out in detail in a way (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. Children's Influence on Consumption-Related Decisions in Single-Mother Families: A Review and Research Agenda.S. R. Chaudhury & M. R. Hyman - forthcoming - Philosophical Explorations.
    Although social scientists have identified diverse behavioral patterns among children from dissimilarly structured families, marketing scholars have progressed little in relating family structure to consumption-related decisions. In particular, the roles played by members of single-mother families—which may include live-in grandparents, mother’s unmarried partner, and step-father with or without step-sibling(s)—may affect children’s influence on consumption-related decisions. For example, to offset a parental authority dynamic introduced by a new stepfather, the work-related constraints imposed on a breadwinning mother, or the imposition of adult-level (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  24
    Philosophy and Practice: Some Issues About War and Peace: R. M. Hare.R. M. Hare - 1984 - Royal Institute of Philosophy Supplement 18:1-15.
    I am going in this lecture on ‘Philosophy and Practice’ first to say something about philosophy and then something about practice, in order to show you how they bear on one another. But I must start by paying a tribute to the President of the Society for Applied Philosophy, Professor Sir A. J. Ayer, who has kindly agreed to take the chair at this lecture. I can honestly say that he is more responsible than anybody else for putting me on (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  38
    R. W. V. Catling, I. S. Lemos: Lefkandi II: The Protogeometric Building at Toumba (Edited by M. R. Popham, P. G. Calligas, L. H. Sackett). Part 1: The Pottery. Pp. Xv + 174; 81 Plates, London: The British School of Archaeology at Athens/Thames & Hudson, 1990. £40. [REVIEW]R. M. Cook - 1992 - The Classical Review 42 (01):227-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Plato's Introduction of Forms.R. M. Dancy - 2004 - Cambridge University Press.
    Scholars of Plato are divided between those who emphasize the literature of the dialogues and those who emphasize the argument of the dialogues, and between those who see a development in the thought of the dialogues and those who do not. In this important book Russell Dancy focuses on the arguments and defends a developmental picture. He explains the Theory of Forms of the Phaedo and Symposium as an outgrowth of the quest for definitions canvassed in the Socratic dialogues, by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  25.  16
    The Nomads of the Balkans, an Account of Life and Customs Among the Vlachs of Northern Pindus. By A. J. B. Wace, M.A., and M. S. Thompson, M.A. Pp. 332; 42 Illustrations and 2 Maps. London: Methuen & Co. 15s. [REVIEW]M. D. R. - 1915 - Journal of Hellenic Studies 35:147-148.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  40
    Psychologie des wissenschaftlichen Schaffens und Wissenschaftslehre.S. R. Mikulinskij & M. G. Jaroševskij - 1970 - Zeitschrift Für Allgemeine Wissenschaftstheorie 1 (1):83-103.
    Die Wissenschaftspsychologie wird als ein Gebiet interdisziplinärer Forschungen an der Grenze zwischen Psychologie und allgemeiner Theorie und Geschichte der Wissenschaft erörtert und ihr Verhältnis zu den anderen Richtungen der Wissenschaftsforschung, insbesondere zur Logik der Wissenschaftsentwicklung und zur Wissenschaftssoziologie dargestellt. Dabei heben die Autoren hervor, daß die Ausarbeitung jeder dieser Disziplinen eine Umgestaltung ihrer Ausgangsbegriffe und -methoden voraussetzt, was der Natur der Wissenschaft als spezifischen Systems und als besonderer sich historisch entwickelnder Tätigkeitsform entspricht. Als Grundprobleme werden u.a. behandelt: Kreativität, Motivation und (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  27. Self-Awareness in Animals and Humans: Developmental Perspectives.S. T. Parker, R. M. Mitchell & M. L. Boccia - 1994 - Cambridge University Press.
  28.  67
    S-R Compatibility: Spatial Characteristics of Stimulus and Response Codes.Paul M. Fitts & Charles M. Seeger - 1953 - Journal of Experimental Psychology 46 (3):199.
  29. Introduction to the Biopsychosocial Approach.R. M. Frankel, T. E. Quill & S. H. McDaniel - 2003 - In Richard M. Frankel, Timothy E. Quill & Susan H. McDaniel (eds.), The Biopsychosocial Approach: Past, Present, and Future. University of Rochester Press.
     
    Export citation  
     
    Bookmark   4 citations  
  30.  59
    S-R Compatibility: Correspondence Among Paired Elements Within Stimulus and Response Codes.Paul M. Fitts & Richard L. Deininger - 1954 - Journal of Experimental Psychology 48 (6):483.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  31. Sorting Out Ethics.R. M. Hare - 2000 - Clarendon Press.
    R. M. Hare, one of the most influential moral philosophers of the twentieth century, presents a definitive summary of his fundamental views on ethics, incorporating a critical taxonomy of rival ethical theories. Sorting Out Ethics is a characteristically lucid and lively guide to the subject and Hare's place in it.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  32.  8
    Wild Flowers of Attica. By S. C. Atchley. With Coloured Plates by W. O. Everett; Prepared for Publication by W. B. Turrill. Pp. Xix + 60; 22 Plates. Oxford: Clarendon Press, 1938. 25s. [REVIEW]R. M. Dawkins & S. C. Atchley - 1939 - Journal of Hellenic Studies 59 (1):182-183.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  33
    R. M. Martin’s Logic of Belief.David Parsons - 2017 - History and Philosophy of Logic 38 (1):72-86.
    In this paper I revisit R. M. Martin’s logic of belief. As with much of Martin’s work, his formal studies into belief and belief reports have gone largely unnoticed. However, in my article I suggest reasons for thinking that these studies warrant revisiting. One reason is that Martin adopted an account of the notion of belief which was more comprehensive than that employed by most rival theorists. Another reason is that Martin couched his theory in a formal pragmatics which utilised (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  16
    Dumbarton Oaks Bibliographies. Series 1. Literature on Byzantine Art, 1892–1967. Vol. 1. By Location. Part 1: Africa, Asia, Europe . Part 2: Europe , Indices. Vol. 2. By Categories. Ed. J. S. Allen. London: Mansell . 1973, 1976. Pp. Lxviii + 518, 499; Xxvi + 586. £24.00 , £25.00. [REVIEW]R. M. Harrison & J. S. Allen - 1978 - Journal of Hellenic Studies 98:220-221.
  35.  82
    Teaching Clinical Medical Ethics: A Model Programme for Primary Care Residency.R. M. Arnold, L. Forrow, S. A. Wartman & J. Teno - 1988 - Journal of Medical Ethics 14 (2):91-96.
    Few residency training programmes explicitly require substantive exposure to issues in medical ethics and fewer still have a formal curriculum in this area. Traditional undergraduate medical ethics courses teach preclinical students to identify ethical issues and analyse them at a theoretical level. Residency training, however, is the ideal time to establish the critical behavioural link which makes ethics truly useful in clinical medicine. The General Internal Medicine Residency Training Program at Rhode Island Hospital has developed an integrated, three-year curriculum with (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Essays in Ethical Theory.R. M. Hare - 1989 - Oxford University Press.
    R.M. Hare is one of the most widely discussed of today's moral philosophers. In this volume he has collected a number of essays, including one which is previously unpublished, which fill in the theoretical background of his thought. Each essay is self-contained, but together they give a connected picture of his views on such questions as the objectivity and rationality of moral thinking, the issue between the ethical realists and their opponents, the place in our moral thought of appeals to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  37.  35
    R.M. Hare's Solution to the Problems of Descriptivism and Moral Emotivism.Anselmo Carvalho de Oliveira - 2016 - Ideas Y Valores 65 (160):5-28.
    Na primeira parte, argumento que o descritivismo proposto por Moritz Schlick não compreende adequadamente a função dos juízos morais. Na segunda parte, argumento que o emotivismo não apresenta uma explicação adequada para o papel da razão na ética. Na terceira parte, argumento que o prescritivismo universal proposto por R. M. Hare avança na solução dos problemas do emotivismo, porque amplia o papel da razão na ética, e na solução dos problemas do descritivismo, porque compreende a função dos juízos morais na (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. R. Carnap's Einfuhrung in Die Symbolische Logik. [REVIEW]R. M. Martin - 1956 - Philosophy and Phenomenological Research 17:279.
     
    Export citation  
     
    Bookmark  
  39.  85
    R. M. Hare's Achievements in Moral Philosophy: Peter Singer.Peter Singer - 2002 - Utilitas 14 (3):309-317.
    In his Axel Hägerström Lectures, given in Sweden in 1991, Dick Hare referred to Hägerström as a pioneer in ethics who had made the most important breakthrough that there had been in ethics during the twentieth century. Although Hägerström's development of a nondescriptivist approach to ethics certainly was pioneering philosophical work, when the history of twentieth century ethics comes to be written, I believe that it is Hare's own work that will be seen as having made the most important contribution.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  40. Essays on Bioethics.R. M. Hare - 1993 - Oxford University Press.
    R.M. Hare is well known both for his fundamental work in ethical theory and for his applications of it to practical issues. For this volume he has selected the best of his writings on medical ethics and related topics. The book's chief theoretical interest lies in its synthesis between utilitarian and Kantian ethics, which are shown to have the same practical consequences. The main practical thesis in the book is that we can harm possible people by preventing them from becoming (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  41.  14
    A Commentary to Kant's "Critique of Pure Reason.".R. M. Wenley - 1918 - Journal of Philosophy, Psychology and Scientific Methods 15 (26):710-716.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  42.  62
    Psychopathology. By J. S. Nicole, M.R.C.P. & S. (London: Bailliere Tindall & Cox. 1930. Pp. Xii + 203. Price 10s. 6d.).G. G. R. - 1931 - Philosophy 6 (22):271-.
  43.  4
    R. M. Thomson, The Fox and the Bees: The Early Library of Corpus Christi College, Oxford. The Lowe Lectures 2017. Woodbridge, UK: D. S. Brewer for the Corpus Christi College, Oxford, 2018. Pp. Viii, 95; 23 Color Figures. $99. ISBN: 978-1-8438-4485-3. [REVIEW]Micha Lazarus - 2021 - Speculum 96 (2):567-568.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  36
    R.M. Hare’s Irrationalist “Rationalism”: A Critic of Universal Prescriptivism.Nathan Nobis - 2011 - Southwest Philosophy Review 27 (1):205-214.
  45.  30
    R.M. Hare’s Irrationalist “Rationalism”: A Critic of Universal Prescriptivism.Nathan Nobis - 2011 - Southwest Philosophy Review 27 (1):205-214.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  65
    Needs and Opportunities in Mineral Evolution Research.R. M. Hazen, A. Bekker, D. L. Bish, W. Bleeker, R. T. Downs, J. Farquhar, J. M. Ferry, E. S. Grew, Andrew Herbert Knoll, D. Papineau, J. P. Ralph, D. A. Sverjensky & J. W. Valley - unknown
    Progress in understanding mineral evolution, Earth’s changing near-surface mineralogy through time, depends on the availability of detailed information on mineral localities of known ages and geologic settings. A comprehensive database including this information, employing the mindat.org web site as a platform, is now being implemented. This resource will incorporate software to correlate a range of mineral occurrences and properties vs. time, and it will thus facilitate studies of the chang- ing diversity, distribution, associations, and characteristics of individual minerals as well (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  43
    Perceived Ethical Values of Malaysian Managers.A. R. M. Zabid & S. K. Alsagoff - 1993 - Journal of Business Ethics 12 (4):331-337.
    This paper examines the perceived ethical values of Malaysian managers. It is based on the opinions of 15 hypothetical ethical/unethical business situations from the 81 managers who agreed to participate in the survey. The findings of this study showed that these Malaysian managers have high ethical values. However 53% of the respondents believed that the ethical standards of today are lower than that of 15 years ago. Apparently, this is related to the existence of many unethical business practices prevalent in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  48.  42
    Postclassica - R. M. Rattenbury and T. W. Lumb: Hé1iodore, Les Éthiopiques, Tome II. Pp. Viii + 330. Paris: ‘ Les Belles Lettres’, 1938. Paper, 40 Fr. - D. Comparetti : Virgilio Nel Medio Evo, Vol. I. Pp. Xxxiv + 296. Florence : ‘ La Nuova Italia ’ [1937]. Paper, L. 26 . - Anders Gagnér : Florilegium Gallicum. Pp. 248. Lund: Gleerup, 1936. Paper, 10 Kr. - U. E. Paoli : Per Una Futura Edizione Delle Macckeronèe Del Folengo. Pp. 52. Turin: Chiantore, 1938. Paper. - S. Picciotto : Perseus Et Andromeda. Pp. 10. Oxford: Blackwell. Paper, 2s. - C. M. Woodhouse : A Translation of Pope's Sappho to Phaon . Pp. 10. Oxford: Blackwell, 1938. Paper, 2s. 6d. - Carmina Hoeufftiana. Amsterdam, 1938. Paper. - H. Weller : Carmina Latina. Pp. Viii + 182. Tübingen: Laupp, 1938. Boards, RM. 6. - P. R. Brinton : Fallentis Semita Vitae. Pp. 16. Oxford : Blackwell, 1938. Paper, 1s. [REVIEW]Stephen Gaselee - 1939 - The Classical Review 53 (01):23-24.
  49.  24
    R. M. Solovay and S. Tennenbaum. Iterated Cohen Extensions and Souslin's Problem. Annals of Mathematics, Ser. 2 Vol. 94 , Pp. 201–245. [REVIEW]Richard Mansfield - 1974 - Journal of Symbolic Logic 39 (2):329-330.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50. KYDD, R. M. -Reason and Conduct in Hume's Treatise. [REVIEW]A. C. Ewing - 1946 - Mind 55:273.
1 — 50 / 1000