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 in this (...) gap by using the tools and techniques of the newly developed behavioral approach to abstract algebraic logic. As a by-product of the approach, we also rediscover the bivaluation semantics of the logics. (shrink)
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 Costa'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)
We propose a formalization of Meinong's theory of objects with the help of Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with an eye towards its application in an axiomatization of the natural sciences.
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.
The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)
This work highlights the faith of Jesus as a response to the affiliate relationship between the Father and the Son. This intimate union, characterized by the word Abba, reveals that the very existence of Jesus took place in the bosom of the Father and it was developed in the intimacy with Him. It is in thi.s loving bosom of the Father that, from the beginning, Jesus constitutes the consciousness of a God who is close, loving and able to hear the (...) cries of his people. The Lordship of God is crystallized in the actions of Jesus through the proclamation of the Kingdom. The force that makes Jesus embrace the plan of God is the Spirit, making Jesus desirous and able to carry out the will of the Father. (shrink)
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.
Michael Dummett, Frege and other philosophers. Oxford:Clarendon Press, 1991. xii + 330pp. £35. ISBN W.Balzer and C.U.Moulines, Structuralist theory of science:focal issues, new results, Berlin; de Gruyter, 1996. xi + 295 pp.DM 210. ISBN 3-11-014075-6 Henry Prakken, Logical tools for modeling legal argument a study of defeasible reasoning in law.Dordrecht, The Netherlands:Kluwer Academic, 1997, xiii + 314pp.£75.00/$125.00 J.Srzednicki and Z.Stachniak Lesniewski’s Systems.Protothetic.Nijhoff International Philosophy Series, 54, Dordrecht, Boston and London:Kluwer, 1998. xiv + 310 pp, £99. ISBN 0-7923-4504-5.
An improvement on Horwich's so-called "pseudo-proof" of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.
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.
: The classical North American pragmatists were intrigued by religion and devout in varying ways, all of which were compatible with a secularist outlook. Peirce is the most fruitful to pursue because of the analytical usefulness of his semiotics for interpreting religious symbols. First, his theory shows that symbols make possible and guide engagement with the divine, rather than substitute for it. Second, his theory distinguishes meaning from reference and interpretation, each of which opens new ways to think about religious (...) engagement. A theory of religious symbols can be developed from his theory of meaning that highlights their mutual correction and resonance rather than logical coherence. A theory of indexical reference can be developed that shows how symbols are true or false depending on the causal relations established by the index between the object and the interpreter. A theory of contextual purpose for interpretation can show how symbols that are true in one context are false in another. Peirce's theory can be supplemented by a discussion of those persons for whom the symbols actually engage the divine and those for whom they do not. These developments open new approaches to understanding religious belief as part of practice, an old pragmatic theme, with doctrines reinterpreted in terms of symbolic engagement.Resumo: Os pragmatistas norte-americanos clássicos eram intrigados com a religião, e devotos de diferentes maneiras todas elas compatíveis com uma visão secularista. Peirce é o mais frutífero a ser seguido, por causa da unidade analítica da sua semiótica para interpretar símbolos religiosos. Em primeiro lugar, sua teoria mostra que os símbolos guiam e tornam possível o engajamento com o divino, em vez de funcionarem como seus substitutos. Em segundo lugar, sua teoria distingue significados de referência e interpretação, de forma que cada conceito abre novos caminhos para pensarmos sobre o pragmatismo religioso. Uma teoria dos símbolos religiosos pode ser desenvolvida a partir da teoria peirciana do significado, que sublinhe sua mútua correção e ressonância, mais do que sua coerência lógica. Uma teoria da referência através dos índices pode ser também desenvolvida, que mostre como os símbolos são verdadeiros ou falsos dependendo das relações causais estabelecidas pelo índice entre o objeto e o intérprete. Uma teoria do propósito contextual para a interpretação pode ainda mostrar como os símbolos que são verdadeiros em um contexto, são falsos em outro. A teoria de Peirce pode ser suplementada por uma discussão daquelas pessoas para quem os símbolos realmente engajam o divino, e aquelas para quem eles não o engajam. Estes desenvolvimentos abrem novas perspectivas para entendermos a crença religiosa como parte da prática, um antigo tema pragmatista, com as doutrinas reinterpretadas em termos de engajamento simbólico. (shrink)
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.