Results for 'Belmira L. S. Andrade da Costa'

1000+ found
Order:
  1.  73
    Differential Vulnerability of Substantia Nigra and Corpus Striatum to Oxidative Insult Induced by Reduced Dietary Levels of Essential Fatty Acids.Henriqueta D. Cardoso, Priscila P. Passos, Claudia J. Lagranha, Anete C. Ferraz, Eraldo F. Santos Júnior, Rafael S. Oliveira, Pablo E. L. Oliveira, Rita de C. F. Santos, David F. Santana, Juliana M. C. Borba, Ana P. Rocha-de-Melo, Rubem C. A. Guedes, Daniela M. A. F. Navarro, Geanne K. N. Santos, Roseane Borner, Cristovam W. Picanço-Diniz, Eduardo I. Beltrão, Janilson F. Silva, Marcelo C. A. Rodrigues & Belmira L. S. Andrade da Costa - 2012 - Frontiers in Human Neuroscience 6.
  2.  12
    Collective Effervescence, Self-Transcendence, and Gender Differences in Social Well-Being During 8 March Demonstrations.Larraitz N. Zumeta, Pablo Castro-Abril, Lander Méndez, José J. Pizarro, Anna Włodarczyk, Nekane Basabe, Ginés Navarro-Carrillo, Sonia Padoan-De Luca, Silvia da Costa, Itziar Alonso-Arbiol, Bárbara Torres-Gómez, Huseyin Cakal, Gisela Delfino, Elza M. Techio, Carolina Alzugaray, Marian Bilbao, Loreto Villagrán, Wilson López-López, José Ignacio Ruiz-Pérez, Cynthia C. Cedeño, Carlos Reyes-Valenzuela, Laura Alfaro-Beracoechea, Carlos Contreras-Ibáñez, Manuel Leonardo Ibarra, Hiram Reyes-Sosa, Rosa María Cueto, Catarina L. Carvalho & Isabel R. Pinto - 2020 - Frontiers in Psychology 11.
    8 March, now known as International Women’s Day, is a day for feminist claims where demonstrations are organized in over 150 countries, with the participation of millions of women all around the world. These demonstrations can be viewed as collective rituals and thus focus attention on the processes that facilitate different psychosocial effects. This work aims to explore the mechanisms involved in participation in the demonstrations of 8 March 2020, collective and ritualized feminist actions, and their correlates associated with personal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  22
    The Philosophy of Logic of Francisco Miró Quesada Cantuarias.Newton da Costa, José Carlos Cifuentes & Luis Felipe Bartolo Alegre - 2020 - South American Journal of Logic 6 (2):189-208.
    In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  21
    A Note on da Costa-Doria “Exotic Formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
    We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    The Clustering of Galaxies in the Sdss-Iii Baryon Oscillation Spectroscopic Survey: The Low-Redshift Sample.J. K. Parejko, T. Sunayama, N. Padmanabhan, A. A. da WakeBerlind, D. Bizyaev, M. Blanton, A. S. Bolton, F. van den Bosch, J. Brinkmann, Brownstein Jr, L. A. N. Da Costa, D. J. Eisenstein, H. Guo, E. Kazin, M. Maia, E. Malanushenko, C. Maraston, C. K. McBride, R. C. Nichol, D. J. Oravetz, K. Pan, W. J. Percival, F. Prada, A. J. Ross, N. P. Ross, D. J. Schlegel, D. Schneider, A. E. Simmons, R. Skibba, J. Tinker, R. Tojeiro, B. A. Weaver, A. Wetzel, M. White, D. H. Weinberg, D. Thomas, I. Zehavi & Z. Zheng - unknown
    We report on the small-scale (0.5 13 h - 1M, a large-scale bias of ~2.0 and a satellite fraction of 12 ± 2 per cent. Thus, these galaxies occupy haloes with average masses in between those of the higher redshift BOSS CMASS sample and the original SDSS I/II luminous red galaxy sample © 2012 The Authors Published by Oxford University Press on behalf of the Royal Astronomical Society © doi:10.1093/mnras/sts314.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Intellect Et Imagination Dans la Philosophie Médiévale = Intellect and Imagination in Medieval Philosophy = Intelecto E Imaginaçao Na Filosofia Medieval: Actes du Xie Congrès International de Philosophie Médiévale de la Société Internationale Pour l'Étude de la Philosophie Médiévale, S.I.E.P.M., Porto, du 26 au 31 Août 2002.Maria Cândida da Costa Reis Monteiro Pacheco & José Francisco Meirinhos (eds.) - 2004 - Brepols Publishers.
  7.  3
    Vacunas Contra la Covid-19: Consideración Bioética.Sérgio Araújo Andrade, Patrícia Alves da Costa Andrade, Daniel Vaz Andrade, Regina Consolação dos Santos, Fernando de Pilla Varotti & Bashir Abdulgader Lwaleed - 2022 - Persona y Bioética 25 (2):2527-2527.
    The COVID-19 pandemic produced immeasurable impacts on the economy, education, and socialization, besides the loss of millions of lives. Thus, there has been an accelerated development of an unprecedented number of COVID-19 vaccine candidates to control the pandemic. The World Health Organization’s emergency use authorization of COVID-19 vaccines still in clinical trial allowed immunizing the population. This paper presents a perspective of the bioethical precepts of autonomy, non-maleficence, beneficence, and justice in the emergency use of COVID-19 vaccines. Furthermore, it emphasizes (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    Logic and Ontology.Newton C. A. da Costa - 2002 - Principia: An International Journal of Epistemology 6 (2):179-298.
    In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  58
    Définition, Théorie des Objets et Paraconsistance (Definition, Objects' Theory and Paraconsistance).Newton C. A. da Costa & Jean-Yves Béziau - 1998 - Theoria 13 (2):367-379.
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  21
    Définition, Théorie des Objets et Paraconsistance.Newton C. A. Da Costa & Jean-Yves Béziau - 1998 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 13 (2):367-379.
    Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  1
    Editorial: Stigma's Impact on People With Mental Illness: Advances in Understanding, Management, and Prevention.Alexandre Andrade Loch, Alexandre Paim Diaz, Antonio Pacheco-Palha, Milton L. Wainberg, Antonio Geraldo da Silva & Leandro Fernandes Malloy-Diniz - 2021 - Frontiers in Psychology 12.
  12.  5
    Sophistry in Vygotsky: Contributions to the Rhetorical and Poetic Pedagogy.Erika Natacha Fernandes de Andrade & Marcus Vinicius da Cunha - 2020 - Studies in Philosophy and Education 39 (1):85-99.
    This work relates L. S. Vygotsky’s theory to the rhetorical and poetic pedagogy, which is a set of educational ideas and practices derived from the philosophical-educational tradition initiated by the Sophists. It is verified that the Vygotskyan concepts contribute to broaden the foundations of poetic and rhetorical pedagogy, presenting a psychology of language that integrates decorum, kairos and antilogical argumentation within aesthetic experiences; communication sustains knowledge and reflection of reality, aiming at the strengthening of the individual’s identity, the education of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  13
    Indian Pandits in the Land of Snow.S. H. L. & Sarat Chandra Das - 1966 - Journal of the American Oriental Society 86 (2):265.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Nietzsche E Seu Olhar Sobre Os Estabelecimentos de Ensino Alemães Como Reflexo da Cultura Moderna.Abraão Lincoln Ferreira Costa - 2021 - Educação E Filosofia 35 (74).
    Nietzsche e seu olhar sobre os estabelecimentos de ensino alemães como reflexo da cultura moderna Resumo: O artigo desenvolve um panorama no que tange às instituições de ensino alemãs sob a visão de Friedrich Nietzsche. Para tanto, inicialmente é realizado o balanço crítico dos estabelecimentos ginasial, técnico e universitário de modo a atribuí-los ao problema da degenerescência cultural sofrida a partir do processo das reformas econômica e política na Alemanha do século XIX. Em complemento a essa investigação, serão tratados os (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  25
    Logic and Ontology.Newton Carneiro Affonso da Costa - 2002 - Principia: An International Journal of Epistemology 6 (2):279-298.
    In view of the presertt state of development of non cktssicallogic, especially of paraconsistent logic, a new stand regardmg the relatzons between logtc and ontology is deferded In a parody of a dicturn of Quine, my stand may be summarized as follows To be is to be the value of a vanable a specific language with a given underlymg logic Yet my stand differs from Qutne's, because, among other reasons, I accept some first order heterodox logIcs as genutne alternatwes to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  2
    Reflections on Epistemic-Ontological Alignment in Theorizing Process: The Case of RBV.Júlio César da Costa Júnior, Leandro da Silva Nascimento, Taciana de Barros Jerônimo, Jackeline Amantino de Andrade & Marcos André Mendes Primo - 2021 - Philosophy of Management 21 (2):179-198.
    Although from a philosophical perspective, many reflections can be brought up about the theorizing process, in this essay, we aim to reflect on the importance of the alignment between ontology and epistemology. This is particularly relevant because deeper discussions about the philosophical roots that underlay the theorizing processes remain as a lack in organizational and management studies. To support our work, we adopted the epistemic-ontological alignment model as a conceptual tool and the Resource-Based View and some of its questionings as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  31
    Aristotle's Theory of Deduction and Paraconsistency.Evandro L. Gomes & Ítala M. L. D.?Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.
    No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  3
    Two Decision Procedures for da Costa’s $$C_n$$ C N Logics Based on Restricted Nmatrix Semantics.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Studia Logica 110 (3):601-642.
    Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da (...)'s calculi C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  1
    Uriel da Costa E l'Exemplar Humanae Vitae: Testo Latino, Traduzione Italiana, Commento Storico-Filologico.Omero Proietti - 2005 - Quodlibet.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Multi-Sensor Wearable Health Device Framework for Real-Time Monitoring of Elderly Patients Using a Mobile Application and High-Resolution Parameter Estimation.Gabriel P. M. Pinheiro, Ricardo K. Miranda, Bruno J. G. Praciano, Giovanni A. Santos, Fábio L. L. Mendonça, Elnaz Javidi, João Paulo Javidi da Costa & Rafael T. de Sousa - 2022 - Frontiers in Human Neuroscience 15.
    Automatized scalable healthcare support solutions allow real-time 24/7 health monitoring of patients, prioritizing medical treatment according to health conditions, reducing medical appointments in clinics and hospitals, and enabling easy exchange of information among healthcare professionals. With recent health safety guidelines due to the COVID-19 pandemic, protecting the elderly has become imperative. However, state-of-the-art health wearable device platforms present limitations in hardware, parameter estimation algorithms, and software architecture. This paper proposes a complete framework for health systems composed of multi-sensor wearable health (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Time in Thermodynamics.Newton C. A. Da Costa & Adonai S. Sant'Anna - 2002 - Foundations of Physics 32 (11):1785-1796.
    We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without time as a primitive concept.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  78
    Many-Valued Points and Equality.Costas Drossos & Daniele Mundici - 2000 - Synthese 125 (1-2):77-95.
    In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  15
    Aspects of Paraconsistent Logic.Newton C. A. da Costa, Jean-Yves Béziau & Otávio A. S. Bueno - 1995 - Logic Journal of the IGPL 3 (4):597-614.
  24.  11
    Aspects of Paraconsistent Logic.Newton A. da Costa, Jean-Yves Beziau & Otavio S. Bueno - 1995 - Logic Journal of the IGPL 3 (4):597-614.
  25.  34
    Lamarck’s Method and Metaphysics.Lilian Al-Chueyr Pereira Martins & Roberto de Andrade Martins - 1996 - Jahrbuch Für Geschichte Und Theorie der Biologie 3:181-199.
    Lamarck's evolutionary theory has been regarded as groundless speculation by both coeval naturalists and modern historians of science. Lamarck is usually regarded as belonging to the group of the " idéologues" – followers of Condillac, with a strong empiricist outlook. Indeed, Lamarck refers respectfully to Condillac, and in his methodological discourse presents himself as an empiricist. However, if one compares his evolutionary theory with the empiricist requirements, Lamarck's work should be dismissed as groundless – a mere metaphysical " système" – (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  11
    Looking for the Source of Change.L. S. Schulman & M. G. E. Da Luz - 2016 - Foundations of Physics 46 (11):1495-1501.
    In most theories of the quantum measurement process changes in an observer’s perception of a state can take place without forces, as for example if a state is prepared in an eigenstate of \ but \ is measured. In the “special state” theory any change in wave function requires forces. This allows experimental tests to distinguish these ideas and in the present article two examples of such tests are considered. The first is a kind of double Stern–Gerlach experiment, the second (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  23
    The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):139-148.
  28.  28
    Newton da Costa E a Filosofia de Quase-Verdade.Décio Krause - 2009 - Principia: An International Journal of Epistemology 13 (2):105-128.
    This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers speak by themselves, and instead we have preferred to present to the Brazilian readers, specialty to our students, some aspects of Newton da Costa’s conception of science and of the scientific activity, grounded on (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  46
    A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
    S. Jakowski introduced the discussive prepositional calculus D 2as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D 2has afterwards been extended to a first-order predicate calculus and to a higher-order logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  14
    The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Mathematical Logic Quarterly 37 (9‐12):139-148.
  31.  16
    Theories, Models and Structures: Thirty Years On.S. R. D. French & N. da Costa - 2000 - Philosophy of Science 67 (Supple):S116 - S127.
    Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  54
    A New Axiomatization of Jaśkowski's Discussive Logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
    In 1995 N. C. A. da Costa and F. Doria proposed the modaltype elegant axiomatization of Jaśkowski’s discussive logic D2. Yet his ownproblem which was formulated in 1975 in a following way: Is it possible toformulate natural and simple axiomatization for D2, employing classical disjunction and conjunction along with discussive implication and conjunctionas the only primitive connectives? — still seems left open. The matter of factis there are some axiomatizations of D2 proposed, e.g., by T. Furmanowski, J. Kotas and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33.  58
    Variations on da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of Cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.
    Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC , is investigated in some detail, and dual-intuitionistic semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  34. The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
    The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  35. Combined da Costa Logics (World According to NCA da Costa).Vladimir L. Vasyukov - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark   1 citation  
  36.  12
    Behavioral Algebraization of da Costa's C-Systems.Carlos Caleiro & Ricardo Gonçalves - 2009 - Journal of Applied Non-Classical Logics 19 (2):127-148.
    It is well-known that da Costa's C-systems of paraconsistent logic do not admit a Blok-Pigozzi algebraization. Still, an algebraic flavored semantics for them has been proposed in the literature, namely using the class of so-called da Costa algebras. However, the precise connection between these semantic structures and the C-systems was never established at the light of the theory of algebraizable logics. In this paper we propose to study the C-systems from an algebraic point of view, and to fill (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  17
    Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤ N< Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n<ω, for da Costa's hierarchy of propositional paraconsistent logics Cn, 1≤n<ω. In our tableaux formulation, we introduce da Costa's “ball” operator “o”, the generalized operators “k” and “”, for 1≤k, and the negations “~k”, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Critical Study of Da Costa's Foundations of Logic.Lorenzo Peña - 1982 - Logique Et Analyse 100:447-66.
    This is a critical discusssion of Professor da Costa's Essay on the foundations of logic which brings up issues of philosophy of logic, set theory, the foundations of mathematics, and paraconsistency.
     
    Export citation  
     
    Bookmark   2 citations  
  39.  23
    Os Estados Unidos da América Nas Memórias Do Conde Do LavradioThe United States in Count Lavradio’s Memories.Júlio Joaquim da Costa Rodrigues Silva - 2008 - Cultura:11-30.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  98
    Sobre s História da Paraconsistência e a Obra de Da Costa: A Instauração da Lógica Paraconsistente.Evandro Luis Gomes - 2013 - Dissertation, University of Campinas, Brazil
  41.  5
    Nietzsche and Cosmology: A Possible Way of Enriching the Practice of Science.Wigson Rafael Silva da Costa & Antonio Augusto Passos Videira - forthcoming - Perspectives on Science:1-38.
    In this paper we will present the philosopher Friedrich Nietzsche’s main reflections on the scientific enterprise, its relation to the metaphysical tradition, and how the German author drew on the 19th century cosmological discussion to develop a worldview that ultimately endorses a dynamic and more creative form of science, whose representations and values should not be separated from human interests.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  24
    Variations on Da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of $C{\omega}$ and $CC{\omega}$.Richard Sylvan - 1990 - Studia Logica 49 (1):47 - 65.
    Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system $CC_{\omega}$ , is investigated in some detail, and "dual-intuitionistic" semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  43.  2
    A Presença da Semiótica de C. S. Peirce Nas Reflexões de Gilles Deleuze Sobre Os Signos.Rogério Da Costa Santos - 2020 - Cognitio 20 (2):286-303.
    Este artigo investiga a presença da semiótica de C. S. Peirce na filosofia de Gilles Deleuze. O interesse pelas ideias de Peirce se deu a partir da parceria que Deleuze estabeleceu com Félix Guattari, e que se manifesta no uso dos conceitos de semiótica e diagrama em sua obra conjunta “Mil platôs”. Mais tarde, Deleuze faria um uso mais aprofundado da semiótica de Peirce em seus livros e cursos sobre cinema.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  18
    Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1≤N<Ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
    In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤nCosta's hierarchy of propositional paraconsistent logics Cn, 1≤nCosta's ?ball? operator ?o?, the generalized operators ?k? and ?(k)?, for 1≤k, and the negations ?~k?, for k≥1, as primitive operators, differently to what has been done in the literature, where these operators are usually defined operators. We prove a version of Cut Rule for the TNDC (...)'s hierarchy Cn, 1≤nshrink)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    Newton da Costa on Hypothetical Models in Logic and on the Modal Status of Logical Laws.Jonas Rafael Becker Arenhart - forthcoming - Axiomathes:1-21.
    This paper has three aims: first, to present in a clear way Newton da Costa’s argument against the necessity of logical laws. In order to do so, we need to clearly advance his views on the idea that logic is context-relative, and not known a priori. Doing so, however, requires that we present his methodology for the development of counter-examples to logical laws: the use of hypothetical models in logic. Given that this method has been overlooked in most discussions (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  22
    Geographical Expansion and the Reconfiguration of Medical Authority: Garcia de Orta’s Colloquies on the Simples and Drugs of India.Palmira Fontes da Costa - 2012 - Studies in History and Philosophy of Science Part A 43 (1):74-81.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  24
    Newton da Costa and the School of Curitiba.Artibano Micali - 2011 - Manuscrito 34 (1):21-50.
    This paper intends to report on the beginning of the publications of Newton da Costa outside Brazil. Two mathematicians played an important role in this beginning: Marcel Guillaume from the University of Clermont-Ferrand and Paul Dedecker from the Universities of Lille and Liège. At the same time we recall the role played by Newton da Costa and Jayme Machado Cardoso in the development of what we call here the School of Curitiba [Escola de Curitiba]. Paraconsistent logic was initiated (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  48.  2
    Uriel da Costa Et les Marranes de Porto: Cours au Collège de France, 1966-1972.I. S. Révah - 2004 - Centre Culturel Calouste Gulbenkian.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  21
    Newton C. A. Da Costa. On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic, Vol. 15 , Pp. 497–510. - Newton C. A. Da Costa. The Philosophical Import of Paraconsistent Logic. The Journal of Non-Classical Logic , Vol. 1 , Pp. 1–19. - Newton C. A. Da Costa. On Paraconsistent Set Theory. Logique Et Analyse, N.S. Vol. 29 , Pp. 361–371. - Newton C. A. Da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent Logic in a Historical Perspective. Logique Et Analyse, Vol. 38 , Pp. 111–126. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
  50.  7
    The Role of Goals in Belief Selection.G. Boella, C. da Costa Pereira, G. Pigozzi, A. Tettamanzi & L. van der Torre - 2010 - Logic Journal of the IGPL 18 (4):559-578.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000