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

1000+ found
Order:
  1.  72
    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.  9
    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   1 citation  
  3.  20
    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  
  4.  9
    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  
  5.  6
    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  
  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.  56
    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  
  8.  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  
  9.  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.
  10.  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  
  11. 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  
  12. 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   28 citations  
  13.  30
    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  
  14.  77
    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  
  15.  26
    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  
  16.  44
    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  
  17.  12
    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  
  18.  69
    Definability and Invariance.N. C. A. da Costa & A. A. M. Rodrigues - 2007 - Studia Logica 86 (1):1-30.
    In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  19.  14
    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.
  20.  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.
  21.  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.
  22.  52
    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  
  23.  54
    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  
  24.  10
    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  
  25.  14
    The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Mathematical Logic Quarterly 37 (9‐12):139-148.
  26.  11
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  12
    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 (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28.  21
    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  
  29.  24
    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  
  30. Uriel da Costa E l'Exemplar Humanae Vitae: Testo Latino, Traduzione Italiana, Commento Storico-Filologico.Omero Proietti - 2005 - Quodlibet.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  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  
  32.  48
    Pragmatic Truth and Approximation to Truth.Mikenberg Irene, C. A. Da Costa Newton & Chuaqui Rolando - 1986 - Journal of Symbolic Logic 51 (1):201 - 221.
    There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  33.  32
    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  
  34.  46
    First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
    Priest (2009) formulates a propositional logic which, by employing the worldsemantics for intuitionist logic, has the same positive part but dualises the negation, to produce a paraconsistent logic which it calls 'Da Costa Logic'. This paper extends matters to the first-order case. The paper establishes various connections between first order da Costa logic, da Costa's own Cω, and classical logic. Tableau and natural deductions systems are provided and proved sound and complete.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Quasi-Truth, Paraconsistency, and the Foundations of Science.Otávio Bueno & Newton C. A. da Costa - 2007 - Synthese 154 (3):383-399.
    In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  7
    The Mathematical Descriptions of Truth and Change.Joseph Kouneiher & Newton da Costa - 2020 - Foundations of Science 25 (3):647-670.
    Our aim in this paper is to replace the old concept of truth in mathematics, based on the Set Structure provided with idea of true and false characterized by the presence of a characteric function \, by a mathematical structures founded on the idea of Topos, the triple structure \\}\) and the notion of Gradual Truth or Steps from the truth. Our motivations is to understand the mathematical structures underlying the emergence’s mechanism and phenomena. We think that this approach could (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37. On the da Costa, Dubikajtis and Kotas' System of the Discursive Logic, D* 2.Janusz Ciuciura - 2005 - Logic and Logical Philosophy 14 (2):235-252.
    In the late forties, Stanisław Jaśkowski published two papers onthe discursive sentential calculus, D2. He provided a definition of it by an interpretation in the language of S5 of Lewis. The knownaxiomatization of D2 with discursive connectives as primitives was introduced by da Costa, Dubikajtis and Kotas in 1977. It turns out, however,that one of the axioms they used is not a thesis of the real Jaśkowski’s calculus. In fact, they built a new system, D∗2 for short, that differs (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  12
    On the Edge of the Unknown.Tiago da Costa E. Silva - 2020 - American Journal of Semiotics 36 (3):217-255.
    The present paper intends to discuss the process of design and its peculiar location at the threshold between the unknown and already established, well-accepted knowledge. The process of design is known for its catalyzing possibilities, often suggesting connections between conceptions, ideas, and solutions to problems by linking an initial formulation with the innovative and upcoming development of a project within a given design context. Thus, the process of design has the power to provide a space for playing, where experiments of (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  35
    On Jaśkowski's Discussive Logics.Newton C. A. da Costa & Francisco A. Doria - 1995 - Studia Logica 54 (1):33 - 60.
    We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  22
    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  
  41.  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  
  42.  31
    Van Leeuwen and Da Costa's Edition of the Odissey. [REVIEW]C. M. Mulvany - 1898 - The Classical Review 12 (1):54-55.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Combined da Costa Logics (World According to NCA da Costa).Vladimir L. Vasyukov - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  44.  17
    Carnot's Logic.Newton Ca da Costa & Jean-Yves Béziau - 1993 - Bulletin of the Section of Logic 22 (3):98-105.
  45.  1
    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  
  46.  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  
  47.  14
    A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
    S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  6
    Rethinking Critique: Becoming Clinician.Leticia Da Costa Paes - 2019 - Law and Critique 30 (3):265-289.
    Today, capitalism functions as a very complex tool of colonisation capturing our desires, dreams, and putting life itself at risk. Its effects lead us all to times of extreme anxiety increasing the number of people with mental health problems. This paper is concerned with the question of ‘critique’ within this context. How can critical legal scholarship engage with a theoretical mode that allows us to confront the politics of law with today’s capitalism? This analysis shows that contemporary capitalism, which operates (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  10
    Newton da costa e a escola de 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 (...)
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  23
    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  
1 — 50 / 1000