Dados da tradução brasileira de HEGEL, Georg Wilhelm Friedrich. Linhas Fundamentais da Filosofia do Direito ou Direito Natural e Ciência do Estado em Compêndio. Tradução, notas, glossário e bibliografia de Paulo Meneses et alli. Apresentações de Denis Lerrer Rosenfield e de Paulo Roberto Konzen. São Paulo: Loyola; São Leopoldo: UNISINOS, 2010.
Neste artigo o conceito de sentido da vida é analisado em termos da felicidade ou do bem que a vida de uma pessoa trás para ela mesma e para as outras pessoas. No curso do argumento essa tese é discutida e justificada em algum detalhe.
Existem dois tipos de criterio de identidade pessoal, criterios de continuidade mental (geralmente memoria) e criterios de continuidade fisica (como continuidade corporal). Depois de examinar os papeis desempenhados pelos criterios principais, 0 autor sugere uma regra criterial (RECIP) que quando aplicada a urn conjunto de criterios fundamentais fisicos e mentais parece adequar-se a nossas intuicoes acerca do que e ou nao ser a mesma pessoa.
Baseado no princípio ontológico da vera justitia, ou da “divina ordem”, segundo a qual é justo que se “subordinem as coisas somente às dignas, as corporais às espirituais, as inferiores às superiores, as temporais às sempiternas” (Ep., 140), o que resulta, na prática, na subordinação dos governados aos governantes, Agostinho introduz em sua doutrina ético-política o conceito de força coercitiva, como instrumento prático garantidor da ordinata concordia ou pax temporalis, na civitas, de forma que, punido pelo reto castigo, o pecador (...) possa retornar à ordem e assim alcançar a vida eterna. Em Agostinho, todas as formas de castigos por ele admitidos não têm um caráter de perseguição, vingança ou sadismo, mas de correção e reintegração do pecador na ordem, por isso devem ser guiados pela caridade. PALAVRAS-CHAVE – Força coercitiva. Castigo. Justiça. Ordem. Paz. Caridade. ABSTRACT With basis on the ontological principle of Vera justitia, or of “divine order”, according to which it is fair to “subordinate things only to the worthy ones, the corporal to the spiritual, the inferior to the superior, the temporal to the sempiternal” (Ep. 140), this results, in practice, in the subordination of the governees to the governators, Augustine introduces in his ethical-political doctrine the concept of coercitive force, as the practical instrument that warrants the ordinata concordia or pax temporalis, in civitas, in such a manner, that punished by the straight punishment, the sinner may return to order and so reach eternal life. In Augustine, all forms of punishment by him admitted do not take a character of persecution, revenge or sadism, but of correction and reintegration of the sinner in the order, and, for this reason, punishment must be guided by charity. KEY WORDS – Coercitive force. Punishment. Justice. Peace. Charity. (shrink)
A obra Consequências da liberdade, publicada no ano de 2011 pela Editora Universitária da UFPE, é primeira obra do escritor e filósofo Geraldo Euclides da Silva, e que certamente se firmará no cenário de exegese das pesquisas sobre o pensamento existencialista de corte sartreano.
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 (...) (cf. the quoted paper). In this paper we present a natural version of D 2, in the sense of Jakowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus (with equality). A semantics for the new calculus is also presented. (shrink)
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 (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)
In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial.
Nesse artigo o conceito de consciência é definido como o da experiência verídica do mundo, quer seja ele externo ou interno. A experiência verídica é a das coisas tal como elas realmente sáo para nós. Conceitos como os de experiência e realidade precisam ser aqui adequadamente analisados para que tal definiçáo seja corretamente compreendida.
Normal 0 21 false false false MicrosoftInternetExplorer4 O objetivo desse artigo é mostrar que o princípio da verificaçáo náo está táo morto quanto geralmente se acredita. Retornando à metodologia e assunções de Wittgenstein, que afinal foi quem primeiro sugeriu o princípio, respostas às principais objeções sáo sugeridas.
The present text seeks to discuss the sense of sacredness and cruelty in natural right and in the political scene of Hobbes and Agamben. It relates Hobbes’ concept of state of nature to the figures in ancient Roman right of homo lupus (wolf man) and homo sacer (sacred man) in its dual process of inclusion/exclusion of naked life (zoé) in the political life (bíos). It goes into the limits of human nature and condition in order to understand the fluctuations of (...) meaning involved in the situation of abandonment that brings a malefactor or band close to the community, with its exposure to death or social disappearance outside the forms sanctioned by the law. It stresses the permanent border between animal and human, a paradoxical and insurmountable limit situated between politeness and nakedness, cruelty and sacredness, good and evil. (shrink)
A ideia de beleza - e sua consequente fruição estética - variou conforme as transformações das sociedades humanas, no tempo. Durante a Idade Média, coexistiram diversas concepções de qual era o papel do corpo na hierarquia dos valores estéticos, tanto na Filosofia quanto na Arte. Nossa proposta é apresentar a estética do corpo medieval que alguns filósofos desenvolveram em seus tratados (particularmente Isidoro de Sevilha, Hildegarda de Bingen, João de Salisbury, Bernardo de Claraval e Tomás de Aquino), além de algumas (...) representações corporais nas imagens medievais (iluminuras e esculturas), e assim analisar o tema em três vertentes: a) o corpo como cárcere da alma, b) o corpo como instrumento, e c) o corpo como desregramento. The concept of beauty, and its consequent aesthetic enjoyment, has varied according the transformations of human societies over time. During the Middle Ages there were different conceptions, in both philosophy and art, of what the role of the body is in the hierarchy of aesthetic values. Our purpose is to present the aesthetic of the body that some medieval philosophers developed in their treatises (especially Isidore of Seville, Hildegard of Bingen, John of Salisbury, Bernard of Clairvaux and Thomas Aquinas), as well as some bodily representations of medieval images (illuminations and sculptures). We thus examine the issue in three ways: a) the body as a prison of the soul, b) the body as an instrument, and c) the body as degradation. (shrink)
This paper proposes a new, stronger version of the cluster theory of proper names. It introduces a meta-identifying rule that can establish a cluster's main descriptions and explain how they must be satisfied in order to allow the application of a proper name. At the same time, it preserves some main insights of the causal-historical view. With the resulting rule we can not only give a more detailed reply to the counter-examples to descriptivism, but also explain the informative contents of (...) proper names and why they are rigid designators in contrast with descriptions.1. (shrink)
In this paper an improved formulation of the classical tripartite view of knowledge is proposed and defended. This formulation solves Gettier's problem by making explicit what is concealed by the symbolic version of the tripartite definition, namely, the perspectival context in which concrete knowledge claims are evaluated.
This paper is a summary of a lecture in which I presented some remarks on Gödel’s incompleteness theorems and their meaning for the foundations of physics. The entire lecture will appear elsewhere. doi: http://dx.doi.org/ 10.5007 / 1808-1711.2011v15n3p453.
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 (...) ciassical logic I aiso discuss some questions of non classical logic to substantzate my argument, and suggest that rny position complements and extends some uleas advanced by L Apostei. (shrink)
I discuss some questions of quantum physics, for instance the validity and limitations of the basic language of set theory to deal with problems related to elementary particles. I also present a sketch of a formalization of a “metaphysics of structures”, which might be useful for a kind of “ontic structural realism”, and briefly review the concept of quasi-truth, which underlies my way of understanding scientific theories and the scientific activity.
Resenha do livro de: COLLIN, McGinn, The Making ofa Philosopher: My Journey through Twentieth-Centurv Philosophy. New York: Harper Collins, 2002. 241 paginas.
In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined (...) and employed to pinpoint the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)
Este artigo pretende introduzir os três volumes de Principia que aparecerão em sequência homenageando os 80 anos do professor Newton da Costa. Ao invés de apresentar os artigos um a um, como se faz usualmente em uma introdução como esta, preferimos deixar os artigos falarem por si, e oforoecer aos leitores brasileiros, especialmente nossos estudantes, alguns aspectos da concepção de ciência e da atividade científica de Newton da Costa, fundamentadas no conceito de quase-verdade, que ele contribuiu para desenvolver (...) de modo rigoroso. Da Costa e conhecido como urn dos fundadores da lógica paraconsistente, mas suas contribuições alcançam também os fundamentos da física, da ciência da computação,a teoria dos modelos, a lógica algébrica, a teoria dos reticulados, as aplicações de lógicas não-clássicas à ciência do direito e à tecnologia, etc. No entanto, talvez sua maior contruição tenha sido proporcionar a base para a criação de uma escola de lógica em nosso país (Brasil), à qual serviu como professor e inspirador par gerações. É com satisfação que vimos uma imediata aceitaçãoo pelos editors de Principia para a organização desses volumes. Gostaria de agradecer a todos os que contribuiram com artigos e aos editors da revista, em especial ao professor Cezar Mortari pela ajuda na organização desta homenagem. (shrink)
How to accept a conditional? F. P. Ramsey proposed the following test in (Ramsey 1990).(RT) If A, then B must be accepted with respect to the current epistemic state iff the minimal hypothetical change of it needed to accept A also requires accepting B.
O presente artigo objetiva discutir a lógica subjacente ao movimento dialético da figura do Senhor e do Servo. Jean-Pierre Labarrière é quem afirma categoricamente a tese segundo a qual há uma Lógica por trás do movimento da Consciência. Ora, a questão fundamental que se coloca, nesse caso, é: qual a lógica que preside o movimento da consciência para a consciência de si, culminado em sua unidade no momento da Razão? A hipótese aqui perseguida, situando-se na esteira da interpretação de Labarrière, (...) é de que a lógica que se encontra "por trás da consciência", nessa figura da Fenomenologia do Espírito, é a mesma lógica que Hegel apresenta na Doutrina da Essência, na Ciência da Lógica. Para tanto, explicitar as categorias lógicas da Doutrina da Essência e acompanhar o seu desdobramento configuram o objetivo central deste trabalho. This paper aims to discuss the logic that underlies the master-servant dialectic. Jean-Pierre Labarrière categorically claims that there is a logic underlying the movement of the consciousness. The fundamental issue at stake is this: What is the logic that regulates the movement of the consciousness of the self, which culminates in its unity in the moment of reason? The hypothesis advanced here, following Labarrière's suggestions, is that the logic that lies "behind the consciousness" in this figure in Phenomenology of the Mind, is the same logic that Hegel presents in the doctrine of essence in the Science of Logic. The central goal of the present work is to make explicit the logical categories of the doctrine of essence, and to follow their unfolding. (shrink)
Fundado na Ásia, no seculo III, por Mani, o maniqueismo se constituia, do ponto de vista doutrinal, numa gnose que misturava principios das seitas/religioes orientais, especialmente do Zoroastrismo e do Budismo, da Filosofia Grego-Romana e do Cristianismo. Sua tese fundamental consistia na afirmacao de dois principios ontol6gicos do mundo: o bem ou a Luz, representado no sol, e o Mal ou as Trevas, personificado na materia. Desse dualismo ontológico nascia uma cosmologia/soteriologia que apresentava a história da salvaçáo do mundo em (...) três tempos: o primeiro, inicial, engloba as origens cósmicas dos dois principios e seus primeiros afrontamentos. O segundo, medio, eo tempo da mistura entre os dois Reinos, que se caracteriza pela queda de uma parte da Luz na materia, bern como, e 0 tempo da criacao dos seres no universo. Enfim, o terceiro, final, marca a libertacao de todas as particulas da Luz imbricadas na materia, com o retorno da Luz ao reino do Pai e a queda definitiva da materia no inferno. (shrink)
Esse ensaio tematiza a absorcçáo do dominio da imaginacáo filosófica pelo da investigaçáo cientifica, considerando duas maneiras de ver contrastantes: a concepçáo de A. Comte, segundo a qual a metafisica faz parte de um estágio intermediario da evoluçáo do saber situado entre religiáo e ciencia, e a opiniáo de A. Kenny de que ao menos em seus temas centrais a filosofia ha de permanecer para sempre irredutivel a ciencia. Em minha conclusáo favorereço Comte contra Kenny. De um lado, esse ultimo (...) n áo consegue apresentar um suporte satisfatório para as suas ideias; de outro, basta uma breve olhada no vertiginoso e cada vez mais abrangente progresso contemporâneo da ciencia, para nos apercebermos de que certas ideias defendidas por Comte merecem reavaliac áo . Ele estava apontando para a direc áo certa, ainda que pudesse enganar-se seriamente quanta as dimensõe s e a natureza do território a ser percorrido. A novidade desse trabalho n áo está, todavia, em seu argumento geral, mas na tentativa de uma analise da natureza dos conceitos metafisicos com base em Comte (secáo 4). (shrink)
É corrente se afirmar que antes da Modernidade não há registro de mulheres na construção do pensamento erudito. Que, se tomarmos, po exemplo, a Filosofia e a Teologia, que foram as duas áreas do conhecimento que mais produziram intelectuais, durante a Idade Média, não encontraremos aí a presença de mulheres. Entretanto, apesar de todas as evidências, se vasculharmos a construção do Pensamento Ocidental, veremos que é possível identificar a presença de algumas mulheres já nos tempos remotos, na Antiguidade Clássica e (...) na Patrística (ou Alta Idade Média). Mas é na Escolástica (Baixa Idade Média) que encontramos as primeiras Pensadoras, responsáveis por um sistema autônomo, distinguindo-se como fecundas escritoras, donas de obras tão profundas e importantes quanto as produzidas pelos homens de seu tempo, com os quais muitas vezes dialogaram em pé de igualdade. Dentro desse maravilhoso universo feminino de intelectuais, destacamos, na Escolástica, a figura de Hildegarda de Bingen (1098-1165), da qual trataremos um pouco neste artigo. It is common to say that before modernity there is no record of women in the construction of classical thought. What if we take, for example, to philosophy and theology, which were the two areas of knowledge that produced more intellectuals during the Middle Ages, we find there the presence of women. However, despite all the evidence, if we search the construction of Western Thought, we see that it is possible to identify the presence of some women already in ancient times, in Classical Antiquity and Patristics (or Middle Ages). But it is in Scholastic (Middle Ages) we find the first thinkers, responsible for an autonomous system, especially as fertile writers, owners of works so profound and important as those produced by men of his time, who often conversed on an equal footing. In this wonderful universe of female intellectuals, highlight, in Scholastic, the figure of Idelgarda of Bingen (1098-1165), which is discussed a bit in this article. (shrink)
Das obras de Newton da Costa, muitas pessoas na França conhecem apenas o renascimento da paraconsistência. Apresentamos algumas razões em defesa de investigações nessa parte da lógica. Acima de tudo, porém, relembramos uma das maiores contribuições de Newton da Costa: sua demonstração, em 1991, em colaboração com Doria, da indecidibilidade gödeliana do movimento na física matemátcia, um resultado que foi de certa forma previsto, por outras razões, por Duhem em 1906. DOI: 10.5007/1808-1711.2011v15n1p7.
In this paper we present an overview of Professor Newton C. A. da Costa’s work in logic, emphasizing the main results obtained by him in the several areas of his research activity. The text furnish a detailed bibliographic reference of his works, which are listed in the last section.
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 (...) illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested. (shrink)
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 (...) illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested. (shrink)
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 (...) de premissas opostas (contrárias e contraditórias) estudadas pelo Estagirita no Analytica Priora (B15). De acordo com o autor, os seguintes silogismos são válidos a partir de premissas opostas, nos quais letras latinas minúsculas denotam termos como sujeito e predicado, enquanto que letras latinas maiúsculas denotam proposições categóricas tal como na notação tradicional: (i) na segunda figura, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), e Aba,Oba ` Oaa (Baroco); (ii) na terceira, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) e Eab, Iab ` Oaa (Ferison). Por fim, discutimos a passagem do Analytica Posteriora (A11) no qual Aristóteles enuncia que o Princípio de Não-Contradição não é, em geral, pressuposto de toda demonstração (silogismo científico), mas apenas daquelas nas quais a conclusão deve ser provada a partir do Princípio; o Estagirita enuncia que se um silogismo da primeira figura tiver o termo maior consistente, os outros termos da demonstração podem ser separadamente inconsistentes. Estes resultados permitem-nos propor uma interpretação de sua teoria dedutiva como uma teoria paraconsistente lato sensu. Primeiramente, efetuamos uma análise hermenêutica, avaliando seu significado lógico e a correlação desses resultados com outros aspectos da filosofia de Aristóteles. Em segundo lugar, consignamos uma interpretação dos silogismos aristotélicos a partir de premissas opostas à luz dos antilogismos propostos por Christine Ladd-Franklin em 1883, e da demonstração aristotélica com termos inconsistentes nas lógicas paraconsistentes Cn, 1 n !, introduzidas por da Costa em 1963. Esses dois aspectos não parecem ter sido ainda detalhadamente analisados na literatura. DOI:10.5007/1808-1711.2010v14n1p71. (shrink)
One of Da Costa's motives when he constructed the paraconsistent logic Cw was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task. A logic is defined by taking the Kripke semantics for intuitionistic logic, and dualising the truth conditions for negation. Various properties of the logic are established, including its relation to CWo Tableau and natural deduction systems for the logic are produced, as are appropriate algebraic structures. The (...) paper then investigates dualising the intuitionistic conditional in the same way. This establishes various connections between the logic, and a logic called in the literature 'Brouwerian logic' or 'closed-set logic'. (shrink)
Toma-se a crítica de Nietzsche a Sócrates como um caso exemplar que mostra os dois sentidos fundamentais da crítica nietzscheana: (i) a crítica nietzscheana consiste em censura e em elogio de modo dual, ou seja, censura e elogio são aspectos da crítica; e (ii) ao criticar alguém, Nietzsche está, igualmente, se autocriticando.
Dworkin respondeu afirmativamente à pergunta título do seu texto “Não existe mesmo nenhuma resposta certa em casos controversos?”. Posner criticou Dworkin e respondeu a mesma pergunta negativamente. Discute-se neste artigo as diferentes maneiras como cada filósofo entendeu a pergunta que acarreta diferentes respostas a ela, isto é, de que modo diferenças na concepção do que é o Direito acarretam diferenças a respeito da existência de respostas certas para questões jurídicas.
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 (...) be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)
Neste artigo, a partir de tópicos presentes na obra de Newton C. A. da Costa, propomos uma fundamentação rigorosa para de uma possível formulação de teorias científicas através da abordagem semântica. Seguindo da Costa, primeiramente desenvolveremos uma teoria geral das estruturas; no contexto desta teoria de estruturas mostraremos como caracterizar linguagens formais como um tipo particular de estrutura, mais especificamente, como uma álgebra livre. Em seguida, discutiremos como associar uma linguagem a uma estrutura, com a qual poderemos formular (...) axiomas que buscam captar a teoria da estrutura. Por fim, mostraremos como podemos, utilizando este aparato conceitual, fundamentar a formalização de da Costa e Chuaqui do chamado predicado de Suppes, utilizado para caracterizar teorias científicas de modo rigoroso. DOI:10.5007/1808-1711.2010v14n1p15. (shrink)
The paper reveals some mostly unnoticed and unexpected trends in reception of novel ideas in science. The author formulates certain principles of the reception of these ideas by scientific communities and justifies them by examples from modern mathematics and non-classical logic.
In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of contradictions in a mathematical system. ‘Contradiction. Why just this (...) spectre? This is really very suspicious.’ ( Philosophical Remarks III–56) In the last decades, several authors (e.g. Arrington, Hintikka, Van Heijenoort, Wright, Wrigley) have been digging into Wittgenstein’s rather non-standard standpoint on what concerns the interpretation and import of contradiction in logic and mathematics, and many other authors (e.g. da Costa, Goldstein, Granger, Marconi) have been investigating the possibility of taking Wittgenstein seriously as one of the early forerunners of paraconsistency. While many advances have been made on the first front, the second set of investigations has led almost exclusively to negative results: no, no operational proposal about the construction of a logic in which (some) contradictions are made inoffensive can be read from Wittgenstein’s philosophical work; in fact, it appears that the most one can find there is the exhortation for mathematicians to alter their attitude with respect to contradictions and to consistency proofs. The play is done, and one looks for a resume of the opera. This paper fills that blank, as a thorough investigation of the possible relations between Wittgenstein and paraconsistency. DOI:10.5007/1808-1711.2010v14n1p135. (shrink)
In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.
MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)
p { margin-bottom: 0.21cm; } O objetivo do presente artigo é discutir a concepção de Direito, Justiça e Estado no pensamento estoico greco-romano, demonstrando a atualidade do tema e suas conexões com problemas contemporâneos tratados pela Filosofia do Direito, tais como os da legitimidade do poder e do universalismo da ordem jurídica. Em um primeiro momento são apresentados e problematizados elementos centrais da filosofia estoica, tais como as noções de lei natural, liberdade interior, igualdade formal e universalismo. Em seguida, mediante (...) uma análise histórica e filosófica de caráter crítico-comparativo são apresentados os três principais projetos de república pensados pelos estoicos: 1) a república radical e igualitarista de Zenão (ap. 334 a.C. – 262 a.C.), na qual se nega a juridicidade, eis que o direito é entendido como construção artificial que impede a fruição da liberdade; 2) a república legalista de Cícero (106 a.C. – 43 a.C.), quando o direito natural é positivado para servir enquanto instância racional de auto-reflexão e de auto-fundamentação das normas jurídico positivas e, finalmente, 3) a “república” de Sêneca (4 a.C. – 65 d.C.), na qual o direito inicialmente se deixa absorver pelo poder pessoal do Imperador Romano para, em um segundo momento, mostrar-se como elemento universal, preparando assim as bases para a futura concepção de direitos fundamentais própria da modernidade. (shrink)
Celebrando o papel de Newton da Costa na história da paraconsistência, este trabalho examina o uso e abuso da deliberada auto-contradição. Iniciado por Parmênides, desenvolvido por Platão, e continuado por Cícero, uma antiga tradição filosófica usava deliberadamente discursos paraconsistentes para revelar a verdade. Nos tempos modernos, o decisionismo tem usado uma deliberada auto-contradição contra a revelação Judaico-Cristã. DOI:10.5007/1808-1711.2010v14n1p1.
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 (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L 3, the intuitionistic system I 1 and several paraconsistent logics, as for instance Sette's system P 1, the D'Ottaviano and da Costa system J 3 and da Costa's systems C n, 1 n. (shrink)
In “The Toolbox of Science” (1995) together with Towfic Shomar we advocated a form of instrumentalism about scientific theories. We separately developed this view further in a number of subsequent works. Steven French, James Ladyman, Otavio Bueno and Newton Da Costa (FLBD) have since written at least eight papers and a book criticising our work. Here we defend ourselves. First we explain what we mean in denying that models derive from theory – and why their failure to do so (...) should be lamented. Second we defend our use of the London model of superconductivity as an example. Third we point out both advantages and weaknesses of FLBD’s techniques in comparison to traditional Anglophone versions of the semantic conception. Fourth we show that FLBD’s version of the semantic conception has not been applied to our case study. We conclude by raising doubts about FLBD’s overall project. (shrink)
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 (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)
The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these claims, (...) drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former. (shrink)
Stein once urged us not to confuse the means of representation with that which is being represented. Yet that is precisely what philosophers of science appear to have done at the meta-level when it comes to representing the practice of science. Proponents of the so-called ‘syntactic’ view identify theories as logically closed sets of sentences or propositions and models as idealised interpretations, or ‘theoruncula, as Braithwaite called them. Adherents of the ‘semantic’ approach, on the other hand, are typically characterised as (...) taking them to be families of models that are set-theoretic, according to Suppes and others, or abstract, as Giere has argued. da Costa and French (Science and Partial Truth. OUP, Oxford, 2003) suggested that we should refrain from ontological speculation as to the nature of scientific theories and models and focus on their appropriate representation for various purposes within the philosophy of science. Such an approach allows both linguistic and non-linguistic resources to play their appropriate role (see also French and Saatsi, Philosophy of Science, Proceedings of the 2004 PSA Meeting, 78:548–559, 2006) and can be supported by recent case studies illustrating the heterogeneity of scientific practice. My aim in this paper is to further develop this ‘quietist’ view, and to indicate how it offers a fruitful way forward for the philosophy of science. (shrink)
Wigner famously referred to the `unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics, I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.
Although it is not younger than other areas of non-classical logic, paraconsistent logic has received full recognition only in recent years, largely due to the work of, among others, Newton da Costa, Graham Priest, Diderik Batens, and Jerzy Perzanowski. A logical system Λ is paraconsistent if there is a set of Λ-formulas Δ ∪ { A } such that (i) in Λ one may derive from Δ both A and its negation, and (ii) the deductive closure of Δ with (...) respect to Λ is different from the set of all formulas. If from Δ one may derive a formula and its negation, Δ is said to be syntactically inconsistent. But is every syntactically inconsistent set of formulas contradictory? In classical logic and many non-classical logics, every syntactically inconsistent set is unsatisfiable, that is, semantically inconsistent. If contradictoriness means semantical inconsistency, there is, up to logical equivalence, only one contradiction. In paraconsistent logics, there are usually many non-equivalent formulas representing the semantically unique contradiction in a non-paraconsistent logic. So when is a formula the contradiction of another formula, and, moreover, how does the notion of contradiction relate to the notions of contrariety and negation? (shrink)
Ontic Structural Realism (OSR) gives ontic priority to structures over objects. In its perhaps most extreme form (captured, admittedly, by a slogan) it states that “all that there is, is structure” (da Costa and French 2003, 189). If this is true, if there is nothing but structure(s) in the world, the very idea of contrasting structure to nonstructure loses any force it might have. Actually, if the slogan is right, the very idea of characterising what there is as structure—as (...) opposed to anything else—becomes incoherent. Traditionally, characterising something as a structure has made full sense —and has served excellent scientific and philosophical purposes—precisely because structure was understood as an entity with slots, which could be occupied by objects and whose individuation-conditions involved objects only qua slot-fillers. If objects altogether go, whatever remains can be called ‘structure’ only if we take ‘structure’ to be a term of art. Well, Ontic Structuralists are happy to ‘mimic’ talk of non-structure, or objects in particular, but they hasten to add that this mimicking does not imply any serious metaphysical commitment to them. Here are a couple of characteristic passages. (shrink)
Leo Strauss articulates the conflict between reason and revelation as he explores Spinoza's scientific, comparative, and textual treatment of the Bible. Strauss compares Spinoza's Theologico-political Treatise and the Epistles, showing their relation to critical controversy on religion from Epicurus and Lucretius through Uriel da Costa and Isaac Peyrere to Thomas Hobbes. Strauss's autobiographical Preface, traces his dilemmas as a young liberal intellectual in Germany during the Weimar Republic, as a scholar in exile, and as a leader of American philosophical (...) thought. "[For] those interested in Strauss the political philosopher, and also those who doubt whether we have achieved the 'final solution' in respect to either the character of political science or the problem of the relation of religion to the state." -- Journal of Politics "A substantial contribution to the thinking of all those interested in the ageless problems of faith, revelation, and reason." -- Kirkus Reviews Leo Strauss (1899-1973) was the Robert Maynard Hutchins Distinguished Service Professor Emeritus of political science at the University of Chicago. His contributions to political science include The Political Philosophy of Hobbes, The City and the Man, What is Political Philosophy?, and Liberalism Ancient and Modern. (shrink)
The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a very smooth and natural transition from the model theory of classical logic to that of certain categories of paraconsistent logic. To this end we take an extension of da Costa''sC 1 = (obtained by adding the axiom A A) and prove for (...) it results which correspond to many major classical model theories, taken from Shoenfield [5]. In particular we prove counterparts of the theorems of o-Tarski and Chang-o-Suszko, Craig-Robinson and the Beth definability theorem. (shrink)
The aim of this paper is to provide a unified account of scientific and mathematical change in a thoroughly empiricist setting. After providing a formal modelling in terms of embedding, and criticising it for being too restrictive, a second modelling is advanced. It generalises the first, providing a more open-ended pattern of theory development, and is articulated in terms of da Costa and French's partial structures approach. The crucial component of scientific and mathematical change is spelled out in terms (...) of partial embeddings. Finally, an application of this second pattern is made, with the examination of the early formulation of set theory (in particular, the works of Cantor, Zermelo and Skolem). (shrink)
In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories (as set-theoretical structures) with first-order structures (called here order-1 structures), and which are studied in standard (first-order) model theory. All of us are, of course, bound to make abuses (...) of language even in putatively precise contexts. This is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones. (shrink)
In this paper a constructive empiricist account of scientific change is put forward. Based on da Costa's and French's partial structures approach, two notions of empirical adequacy are initially advanced (with particular emphasis on the introduction of degrees of empirical adequacy). Using these notions, it is shown how both the informativeness and the empirical adequacy requirements of an empiricist theory of scientific change can then be met. Finally, some philosophical consequences with regard to the role of structures in this (...) context are drawn.Now, we daily see what science is doing for us. This could not be unless it taught us something about reality; the aim of science is not things themselves, as the dogmatists in their simplicity imagine, but the relations between things; outside those relations there is no reality knowable. (shrink)
An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.
The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the (...) resulting approach to accommodate semantic paradoxes. (shrink)
The semantic approach to scientific representation is now long established as a favourite amongst philosophers of science. One of the foremost strains of this approach-the model-theoretic approach (MTA)-is to represent scientific theories as families of models, all of which satisfy or 'make true' a given set of constraints. However some autho.rs (Brown 2002, Frisch 2005) have criticised the approach on the grounds that certain scientific theories are logically inconsistent, and there can be no models of an inconsistent set of constraints. (...) Thus it would seem that the MTA fails to represent inconsistent scientific theories at all, and this raises concerns about the way it represents in general. In a series of papers (1990, 1993, 1995) and a recent book (2003) da Costa and French have developed a variant of the MTA approach which they call 'partial structures', and which they claim can accommodate inconsistent theories. I assess this claim, looking to two theories which have been called 'inconsistent': Bohr's theory of the atom and classical electrodynamics. (shrink)
