Results for 'Fernando Marques'

1000+ found
Order:
  1.  32
    Extracting Algorithms From Intuitionistic Proofs.Fernando Ferreira & António Marques - 1998 - Mathematical Logic Quarterly 44 (2):143-160.
    This paper presents a new method - which does not rely on the cut-elimination theorem - for characterizing the provably total functions of certain intuitionistic subsystems of arithmetic. The new method hinges on a realizability argument within an infinitary language. We illustrate the method for the intuitionistic counterpart of Buss's theory Smath image, and we briefly sketch it for the other levels of bounded arithmetic and for the theory IΣ1.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  13
    Meta-Analytic Evidence for a Reversal Learning Effect on the Iowa Gambling Task in Older Adults.Rita Pasion, Ana R. Gonçalves, Carina Fernandes, Fernando Ferreira-Santos, Fernando Barbosa & João Marques-Teixeira - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  9
    The Multiple Facets of Psychopathy in Attack and Defense Conflicts.Tiago O. Paiva, Rui C. Coelho, Rita Pasion, Beatriz Ribeiro, Pedro R. Almeida, Fernando Ferreira-Santos, João Marques-Teixeira & Fernando Barbosa - 2019 - Behavioral and Brain Sciences 42.
    With respect to De Dreu and Gross's article, we comment on the psychological functions for attack and defense, focusing on associations between individual differences in psychopathic personality traits and the behavioral patterns observed in attack-defense conflicts. We highlight the dimensional nature of psychopathy and formulate hypothetical associations between distinct traits, their different behavioral outcomes, and associated brain mechanisms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. O visível e o inteligível. Estudos sobre a percepção e o pensamento na Filosofia Grega Antiga.Miriam Campolina Diniz Peixoto, Marcelo Pimenta Marques, Fernando Rey Puente, M. C. D. Peixoto, M. P. Marques & F. R. Puente - 2012
    This book collects texts from three specialists in ancient philosophy which deal with the question of perceptive and intellective knowledge in antiquity. They try to present, in their different analyzes, the complex interrelationship among perception and thought in ancient authors, like Heraclitus, Parmenides, Democritus, Plato and Aristotle. The purpose of the texts is to expose the visible field - the perceptual knowledge domain - interacts with the invisible - the domain of reason and thought. In other words, that among them (...)
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  6
    Reviewer Acknowledgement 2013.Fernando Marques - 2014 - BMC Medical Ethics 15 (1):6.
    Contributing reviewersThe Editors of BMC Medical Ethics would like to thank all our reviewers who have contributed to the journal in Volume 13 (2013).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    Burnout and Stress Measurement in Police Officers: Literature Review and a Study With the Operational Police Stress Questionnaire.Cristina Queirós, Fernando Passos, Ana Bártolo, António José Marques, Carlos Fernandes da Silva & Anabela Pereira - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  16
    Pensando Nietzsche a partir de Kant: uma radicalização do projeto crítico?Fernando Costa Mattos - 2007 - Cadernos de Filosofia Alemã 10:51-68.
    A PARTIR DE UM DIÁLOGO COM ALGUMAS INTERPRETAÇÕES CONSAGRADAS DE NIETZSCHE, ESTE ARTIGO DEFENDE A CENTRALIDADE DA NOÇÃO DE INDIVÍDUO NO PERSPECTIVISMO NIETZSCHIANO, SUGERINDO COM ISSO A SUA FILIAÇÃO AO PROJETO CRÍTICO KANTIANO. TRATA-SE DE UMA LEITURA QUE SE DEIXOU INSPIRAR, EM GRANDE MEDIDA, NAS INTERPRETAÇÕES DE FRIEDRICH KAULBACH E ANTONIO MARQUES.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  90
    Whose Impartiality? An Experimental Study of Veiled Stakeholders, Involved Spectators and Detached Observers: Fernando Aguiar Et Al.Fernando Aguiar, Alice Becker & Luis Miller - 2013 - Economics and Philosophy 29 (2):155-174.
    We present an experiment designed to investigate three different mechanisms to achieve impartiality in distributive justice. We consider a first-person procedure, inspired by the Rawlsian veil of ignorance, and two third-party procedures, an involved spectator and a detached observer. First-person veiled stakeholders and involved spectators are affected by an initially unfair distribution that, in the stakeholders’ case, is to be redressed. We find substantial differences in the redressing task. Detached observers propose significantly fairer redistributions than veiled stakeholders or involved spectators. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  9. A Philosophy of International Law.Fernando R. Tesón - 1998 - Westview Press.
    Why should sovereign states obey international law? What compels them to owe allegiance to a higher set of rules when each country is its own law of the land? What is the basis of their obligations to each other? Conventional wisdom suggests that countries are too different from one another culturally to follow laws out of mere loyalty to each other or a set of shared moral values. Surely, the prevailing view holds, countries act simply out of self-interest, and they (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  10. Fernando Montero's Linguistic Phenomenology 473.Fernando Montero'S. - 2003 - In Anna-Teresa Tymieniecka (ed.), Phenomenology World-Wide. Kluwer Academic Publishers. pp. 473.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Relative Correctness.Teresa Marques - 2014 - Philosophical Studies 167 (2):361-373.
    John MacFarlane defends a radical form of truth relativism that makes the truth of assertions relative not only to contexts of utterance but also to contexts of assessment, or perspectives. Making sense of assessment-sensitive truth is a matter of making sense of the normative commitments undertaken by speakers in using assessment sensitive sentences. This paper argues against the possibility of making sense of such a practice. Evans raised a challenge to the coherence of relative truth. A modification of the challenge (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12.  32
    The Liberal Constitution and Foreign Affairs: Fernando R. Tesón.Fernando R. Tesón - 2011 - Social Philosophy and Policy 28 (1):115-149.
    Scholars have debated the meaning of the foreign-relations clauses in the U.S. Constitution. This essay attempts to outline the foreign-relations clauses that an ideal constitution should have. A liberal constitution must enable the government to implement a morally defensible foreign policy. The first priority is the defense of liberty. The constitution must allow the government to effectively defend persons, territory, and liberal institutions themselves. The liberal government should also contribute to the advancement of global freedom, subject to a number of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  13. The Case Against Semantic Relativism.Teresa Marques - 2019 - In Martin Kusch (ed.), The Routledge Handbook of Philosophy of Relativism. Routledge.
    This paper presents reasons against semantic relativism. Semantic relativism is motivated by intuitions that are presumed to raise problems for traditional or contextualist semantics in contested domains of discourse. Intuition-based arguments are those based on competent speakers’ putative intuitions about seeming faultless disagreement, eavesdropper, and retraction cases. I will organize the discussion in three parts. First, I shall provide a brief introduction to the intuition-based arguments offered in favor of semantic relativism. Second, I shall indicate that there are ways for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Criatividade Brasileira: Alex Atala, Fernando E Humberto Campana, Jum Nakao: Gastronomia, Design, Moda.Alex Atala, Fernando Campana, Humberto Campana, Jum Nakao, Andréa Naccache & Ana Carmen Longobardi (eds.) - 2013 - Editora Manole.
    Origens : Alex Atala, Fernando e Humberto Campana -- Presente : Fernando e Humberto Campana e Jum Nakao -- Intermezzo : convívio : Jam Nakao e colaboradores -- Destinos : Alex Atala e Jum Nakao -- Entrevistas -- Um pouco de história.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  46
    Can Metalinguistic Negotiations and 'Conceptual Ethics' Rescue Legal Positivism?Teresa Marques - 2017 - In Alessandro Capone & Francesca Poggi (eds.), Pragmatics and Law: Practical and Theoretical Perspectives. Barcelona: Springer. pp. 223-241.
    In recent years, David Plunkett and Tim Sundell have published a series of interesting articles that made an original use of resources from linguistics and philosophy of language to reply to arguments for legal antipositivism, the thesis according to which moral or value facts are part of what determines what the law is in a given jurisdiction at a given time. Plunkett and Sundell’s strategy for resisting antipositivism appeals to the notion of a metalinguistic negotiation, which incorporates the notion of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Humanitarian Intervention an Inquiry Into Law and Morality.Fernando R. Tesón - 1988
  17. Catolicismo de la Reina Isabel I y del Rey Fernando V: por qué y cuándo se les concedió el título de "Reyes Católicos".Fernando Campo del Pozo - 2004 - Revista Agustiniana 45 (138):661-699.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  52
    Brainhood, Anthropological Figure of Modernity.Fernando Vidal - 2009 - History of the Human Sciences 22 (1):5-36.
    If personhood is the quality or condition of being an individual person, brainhood could name the quality or condition of being a brain. This ontological quality would define the `cerebral subject' that has, at least in industrialized and highly medicalized societies, gained numerous social inscriptions since the mid-20th century. This article explores the historical development of brainhood. It suggests that the brain is necessarily the location of the `modern self', and that, consequently, the cerebral subject is the anthropological figure inherent (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  19.  7
    Bibliografía de Fernando Montero Moliner.Fernando Montero Moliner - 1998 - Investigaciones Fenomenológicas 2:273.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  25
    Ending Tyranny in Iraq.Fernando R. Tesón - 2005 - Ethics and International Affairs 19 (2):1-20.
    President George W. Bush surprised many observers in his second inaugural address when he promised to oppose tyranny and oppression, and this in a world not always willing or ready to join in that fight. Humanitarian intervention is again on the forefront of world politics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  21. Why Free Trade is Required by Justice.Fernando R. Tesón - 2012 - Social Philosophy and Policy 29 (1):126-153.
    Research Articles Fernando R. Tesón, Social Philosophy and Policy, FirstView Article.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  87
    Humanitarian Intervention: Loose Ends.Fernando R. Tesón - 2011 - Journal of Military Ethics 10 (3):192-212.
    Abstract The article addresses three aspects of the humanitarian intervention doctrine. It argues, first, that the value of sovereignty rests on the justified social processes of the target state ? the horizontal contract. Foreign interventions, even when otherwise justified, must respect the horizontal contract. In contrast, morally objectionable social processes (such as the subjection of women) are not protected by sovereignty (intervention, of course, may be banned for other reasons). In addition, tyrants have no moral protection against interventions directed at (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  23.  2
    Defending Metropolitan Identity Through Colonial Politics: The Role of Portuguese Naturalists.Daniel Gamito-Marques - 2018 - History of Science 56 (2):224-253.
    This paper explores how João de Andrade Corvo and José Vicente Barbosa du Bocage, two nineteenth-century Portuguese naturalists, were able to reach prominent political positions in their country by means of their work in, respectively, botany and agriculture, and zoology. The authority they derived from their scientific activities and the knowledge they acquired in the process, favored by their proximity to particular political quarters, elevated them to important governmental offices, in the context of which they implemented policies that reinforced Portugal’s (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  9
    A Space of One’s Own: Barbosa du Bocage, the Foundation of the National Museum of Lisbon, and the Construction of a Career in Zoology.Daniel Gamito-Marques - 2018 - Journal of the History of Biology 51 (2):223-257.
    This paper discusses the life and scientific work of José Vicente Barbosa du Bocage, a nineteenth-century Portuguese naturalist who carved a new place for zoological research in Portugal and built up a prestigious scientific career by securing appropriate physical and institutional spaces to the discipline. Although he was appointed professor of zoology at the Lisbon Polytechnic School, an institution mainly devoted to the preparatory training of military officers and engineers, he succeeded in creating the conditions that allowed him to develop (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  25.  35
    Phenomenology of the Locked-In Syndrome: an Overview and Some Suggestions.Fernando Vidal - 2020 - Neuroethics 13 (2):119-143.
    There is no systematic knowledge about how individuals with Locked-in Syndrome experience their situation. A phenomenology of LIS, in the sense of a description of subjective experience as lived by the ill persons themselves, does not yet exist as an organized endeavor. The present article takes a step in that direction by reviewing various materials and making some suggestions. First-person narratives provide the most important sources, but very few have been discussed. LIS barely appears in bioethics and neuroethics. Research on (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  26.  24
    Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
    We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  27.  92
    Empathy in Leadership: Appropriate or Misplaced? An Empirical Study on a Topic That is Asking for Attention.Svetlana Holt & Joan Marques - 2012 - Journal of Business Ethics 105 (1):95-105.
    Leadership has become a more popular term than management, even though it is understood that both phenomena represent important organizational behaviors. This paper focuses on empathy in leadership, and presents the findings of a study conducted among business students over the course of 3 years. Finding that empathy consistently ranked lowest in the ratings, the researchers set out to discover the driving motives behind this invariable trend, and conducted a second study to obtain opinions about possible underlying factors. The paper (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28. Moral Distance in Dictators Games.Fernando Aguiar, Pablo Brañas-Garza & Luis Miller - 2008 - Judgment and Decision Making 3 (4):344-354.
    We perform an experimental investigation using a dictator game in which individuals must make a moral decision —to give or not to give an amount of money to poor people in the Third World. A questionnaire in which the subjects are asked about the reasons for their decision shows that, at least in this case, moral motivations carry a heavy weight in the decision: the majority of dictators give the money for reasons of a consequentialist nature. Based on the results (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  29. Construção Social.Teresa Marques - 2015 - Compêndio Em Linha de Problemas de Filosofia Analítica.
    A ideia de que certas categorias, propriedades, eventos, ou factos, são construídos socialmente tem sido defendida nas ciências sociais e humanidades desde meados do século xx. Nas últimas décadas, vários filósofos da tradição analítica começaram a dedicar mais atenção à possibilidade de que haja tipos de coisas construídas socialmente. A ideia complementa outra ideia relativamente consensual hoje em dia: a de que existem tipos naturais, mas que nem tudo o que existe constitui um tipo natural. São particularmente interessantes os tipos (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  30. A Feasible Theory for Analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.
    We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  31.  46
    Abduction in Economics: A Conceptual Framework and its Model.Fernando Tohmé & Ricardo Crespo - 2013 - Synthese 190 (18):4215-4237.
    We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Catolicismo de la Reina Isabel Iª y Del Rey Fernando Vº. Por Qué y Cuándo Se les Concedió El Título de" Reyes Católicos".Fernando Campo del Pazo - 2004 - Revista Agustiniana 45 (138):661-699.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Comments on Predicative Logic.Fernando Ferreira - 2006 - Journal of Philosophical Logic 35 (1):1-8.
    We show how to interpret intuitionistic propositional logic into a predicative second-order intuitionistic propositional system having only the conditional and the universal second-order quantifier. We comment on this fact. We argue that it supports the legitimacy of using classical logic in a predicative setting, even though the philosophical cast of predicativism is nonrealistic. We also note that the absence of disjunction and existential quantifications allows one to have a process of normalization of proofs that avoids the use of "commuting conversions.".
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  34.  15
    What Makes Neuroethics Possible?Fernando Vidal - 2019 - History of the Human Sciences 32 (2):32-58.
    Since its emergence in the early 2000s, neuroethics has become a recognized, institutionalized and professionalized field. A central strategy for its successful development has been the claim that it must be an autonomous discipline, distinct in particular from bioethics. Such claim has been justified by the conviction, sustained since the 1990s by the capabilities attributed to neuroimaging technologies, that somehow ‘the mind is the brain’, that the brain sciences can illuminate the full range of human experience and behavior, and that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  48
    Self-Defense in International Law and Rights of Persons.Fernando R. Tesón - 2004 - Ethics and International Affairs 18 (1):87-91.
  36.  55
    The Moral Authority of Nature.Lorraine Daston & Fernando Vidal (eds.) - 2003 - University of Chicago Press.
    For thousands of years, people have used nature to justify their political, moral, and social judgments. Such appeals to the moral authority of nature are still very much with us today, as heated debates over genetically modified organisms and human cloning testify. The Moral Authority of Nature offers a wide-ranging account of how people have used nature to think about what counts as good, beautiful, just, or valuable. The eighteen essays cover a diverse array of topics, including the connection of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  37.  31
    Review Of: Frans H. Van Eemeren : Reasonableness and Effectiveness in Argumentative Discourse: Fifty Contributions to the Development of Pragma-Dialectics, Cham , Springer , 880 Pp. [REVIEW]Fernando Leal - 2016 - Argumentation 30 (4):527-532.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  61
    The Rawlsian Theory of International Law.Fernando R. Tesón - 1995 - Ethics and International Affairs 9:79–99.
    Teson critiques a recent article by John Rawls in which Rawls extends his acclaimed political theory to include international relations.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39.  24
    Alternatives to the Fixed-Set Model: A Review of Appraisal Models of Emotion. [REVIEW]Julian W. Fernando, Yoshihisa Kashima & Simon M. Laham - 2017 - Cognition and Emotion 31 (1):19-32.
  40.  40
    Hoops and Barns: A New Dilemma for Sosa.Kelp Christoph, Boult Cameron, Broncano-Berrocal Fernando, Dimmock Paul, Ghijsen Harmen & Simion Mona - 2017 - Synthese (12):1-16.
    This paper critically assesses Sosa’s normative framework for performances as well as its application to epistemology. We first develop a problem for one of Sosa’s central theses in the general theory of performance normativity according to which performances attain fully desirable status if and only if they are fully apt. More specifically, we argue that given Sosa’s account of full aptness according to which a performance is fully apt only if safe from failure, this thesis can’t be true. We then (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Quality Assurance in Legal Translation: Evaluating Process, Competence and Product in the Pursuit of Adequacy.Fernando Prieto Ramos - 2015 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 28 (1):11-30.
    Building on a functionalist framework for decision-making in legal translation, a holistic approach to quality is presented in order to respond to the specificities of this field and overcome the shortcomings of general models of translation quality evaluation. The proposed approach connects legal, contextual, macrotextual and microtextual variables for the definition of the translation adequacy strategy, which guides problem-solving and the rest of the translation process. The same parameters remain traceable between the translation brief and the translation product both in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  30
    Atomic Polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.
    It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  54
    Commuting Conversions Vs. The Standard Conversions of the “Good” Connectives.Fernando Ferreira & Gilda Ferreira - 2009 - Studia Logica 92 (1):63-84.
    Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predicate calculus into a second-order predicative system for which there is no need for commuting conversions. Furthermore, we show that the redex (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44.  59
    Global Justice and Trade: A Puzzling Omission.Fernando R. Teson & Jonathan Klick - manuscript
    Economists generally agree that free trade leads to economic growth. This proposition is supported both by theoretical models and empirical data. Further, while the empirical evidence is more limited on this question, the general consensus among economists holds that trade restrictions are likely to hurt the poor. Even if the latter consensus turns out to be wrong, if free trade leads to superior growth, governments would have more resources to redistribute to the poor. It is surprising then that philosophers and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  63
    Defeasible Reasoning + Partial Models: A Formal Framework for the Methodology of Research Programs. [REVIEW]Fernando Tohmé, Claudio Delrieux & Otávio Bueno - 2011 - Foundations of Science 16 (1):47-65.
    In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  19
    Abduction: A Categorical Characterization.Fernando Tohmé, Gianluca Caterina & Rocco Gangle - 2015 - Journal of Applied Logic 13 (1):78-90.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. The Theory of Self-Determination.Fernando R. Tesón (ed.) - 2016 - Cambridge University Press.
  48. Eight Principles for Humanitarian Intervention.Fernando R. Tesón - 2006 - Journal of Military Ethics 5 (2):93-113.
    When is humanitarian intervention legitimate and how should such interventions be conducted? This article sets out eight liberal principles that underlie humanitarian intervention, some of them abstract principles of international ethics and others more concrete principles that apply specifically to humanitarian intervention. It argues that whilst these principles do not determine the legitimacy of particular interventions, they should ?incline? our judgments towards approval or disapproval. The basic principles include the liberal idea that governments are the mere agents of the people, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  11
    On Fernando’s Photograph.Vikki Bell - 2010 - Theory, Culture and Society 27 (4):69-89.
    This article concerns the striking photograph of a young man, Fernando Brodsky, taken shortly after he was kidnapped in Argentina in 1979. Brodsky was detained in the notorious Escuela de la Armada in Buenos Aires, and remains disappeared. The negative of the photograph was smuggled out of ESMA and the image became part of a bundle of photographic evidence submitted by families of the disappeared during the trials of the military after the return to democracy in 1983. This article (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  8
    A Herbrandized Functional Interpretation of Classical First-Order Logic.Fernando Ferreira & Gilda Ferreira - 2017 - Archive for Mathematical Logic 56 (5-6):523-539.
    We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000