El objetivo principal de este artículo es precisar los elementos que operan en el substrato de la filosofía de Thomas Hobbes y que permiten dar coherencia lógica a su sistema. Para ello se apela a la idea de concepto operatorio desarrollada por Eugen Fink, a la vez que se llama la atención sobre la importancia de considerar la filosofía hobbesiana en su totalidad. Esto implica que cualquier análisis de la teoría política de Hobbes debe considerar las relaciones existentes con (...) las concepciones científicas hobbesianas. (shrink)

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₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form (...) a bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it is helpful to consider (...) the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is (...) applied to contradictory assumptions. In Priest’s approach the inconsistent parts of models are compared in an extensional way by considering their inconsis- tent objects. This distinguishes his system from the standard format of (inconsistency-)adaptive logics pioneered by Diderik Batens, according to which (atomic) contradictions validated in models form the basis of their comparison. A well-known problem for Priest’s extensional approach is its lack of the Strong Reassurance property, i.e., for specific settings there may be infinitely descending chains of less and less inconsistent models, thus never reaching a minimally inconsistent model. In this paper, we demonstrate that Strong Reassurance holds for the extensional approach under a cardinality-based comparison of the incon- sistent parts of models. Furthermore, we introduce and investigate the metatheory of the class of first-order nonmonotonic inconsistency-tolerant construct over the extensional or quantitative comparisons of their respec- tive models. Core model-theoretic properties for these logics, such as the Löwenheim-Skolem theorems, along with other nonmonotonic properties, are further studied. (shrink)

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...) as a key element of the formal structure of the theory, “right from the start”. In order to show the feasibility of our interpretational project we present an outline of a paraconsistent approach to quantum superpositions which attempts to account for the contradictory properties present in general within quantum superpositions. This approach must not be understood as a closed formal and conceptual scheme but rather as a first step towards a different type of understanding regarding quantum superpositions. (shrink)

Firstly, a natural deduction system in standard style is introduced for Nelson's para-consistent logic N4, and a normalization theorem is shown for this system. Secondly, a natural deduction system in sequent calculus style is introduced for N4, and a normalization theorem is shown for this system. Thirdly, a comparison between various natural deduction systems for N4 is given. Fourthly, a strong normalization theorem is shown for a natural deduction system for a sublogic of N4. Fifthly, a strong normalization (...) theorem is proved for a typed λ-calculus for a neighbor of N4. Finally, it is remarked that the natural deduction frameworks presented can also be adapted for Wansing's basic connexive logic C. (shrink)

I discuss this collection of essays on Hegel and the sciences while stressing the interest of Hegel's philosophy of nature in the light of later non-mainstream developments in the life-sciences and medicine. I compare then the chapters dedicated to Hegel's logic with recent literature on para-consistent logic and re-interpretations of Hegel's own logic.

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it is helpful to consider (...) the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

RESUMEN Para Hegel, el rendimiento supremo del pensamiento consiste en hallar un terreno en el cual se pongan en evidencia las dimensiones primarias de la realidad. Por esta vía consigue desarrollar uno de sus planteamientos más interesantes en la Ciencia de la lógica, a saber, el concepto de realidad efectiva. Este artículo elabora esa visión de la realidad comentando cuidadosamente lo que Hegel desarrolla allí. Al final muestra que la realidad absoluta es a la vez diferenciación en multiplicidades existentes (...) e inversión de esa contingencia en absoluta necesidad, es decir, se pone como contingente para recuperarse a sí misma en la necesidad. ABSTRACT For Hegel, the supreme performance of thought consists in finding a terrain in which the primary dimensions of reality become evident. In this way, he develops one of his most interesting approaches in the Science of Logic, namely, effective reality. This article elaborates this view of reality by carefully commenting on what Hegel develops therein. At the end, he shows that absolute reality is both differentiation into existing multiplicities and inversion of that contingency into absolute necessity, i.e., it sets itself as contingent in order to recover itself in necessity. (shrink)

El problema de marco cuestiona cómo los procesos cognitivos determinan qué información, de entre toda la disponible, es relevante dada una tarea determinada. Aunque postulamos una definición posible, especificar de qué trata este problema es una tarea complicada. Una manera de obtener claridad sobre esta cuestión es explorar distintas interpretaciones del problema de marco, interpretación lógica y filosófica, para dilucidar luego la dificultad en común. Como resultado de nuestro análisis concluimos que, sea la interpretación del problema de marco que (...) se tenga en mente, la dificultad subyacente es la misma: examinar vasta cantidad de información. La dificultad de la vastedad de información, a modo de puente entre ambas interpretaciones, permitiría no solo comprender más claramente de qué trata el problema de marco sino también resolverlo. The frame problem questions how cognitive processes determine what information is relevant, among all available, given a particular task. Although we proposed a possible definition, it is a difficult task to specify what this problem is about. One way to get insight into this matter is to explore different interpretations of the frame problem, a logical interpretation and a philosophical interpretation, to then elucidate the difficulty in common. The conclusion drawn from our analysis is that, irrespective of the interpretation of the frame problem you may have in mind, the underlying difficulty is the same: to examine a vastness of information. The difficulty posed by the vastness of information, taken as a bridge between both interpretations, would not only allow a clearer insight into the frame problem but also to solve it. (shrink)

Resumen Se sostiene que la operación general de la silogística en la Lógica cumple con un programa trazado tempranamente por Hegel, consistente en concebir la unidad de la forma racional del silogismo y el contenido absoluto de la idea como resultado de una dialéctica inmanente a la propia forma del silogismo, mediante la cual éste abandona su carácter meramente formal y alcanza su propio concepto: ser forma objetiva o racional. Para esto se acude a la sección Subjetividad de la (...) Doctrina del Concepto, procurando reconstruir los antecedentes sistemáticos del capítulo sobre el silogismo, así como la operación específica que éste realiza en vista del tránsito a la sección Objetividad. El sentido de dicha operación consiste en la superación de un exceso que, al comienzo, la necesidad de la sustancia tiene por sobre la libertad del concepto, de lo cual resulta un exceso del concepto por sobre la sustancia. Para verificar esta operación se examinan los silogismos del estar y la necesidad, concluyendo con la determinación del tipo de objeto y de conocimiento que resulta del silogismo, y con la proyección del problema a estadios ulteriores de la Lógica, en los cuales el problema avistado adquiere un cariz marcadamente práctico.In this paper I argue that the general operation of syllogistic in the Logic fulfills a philosophical program that was early outlined by Hegel. This program conceives the unity of the rational form of the syllogism and the absolute content of the idea as a result of an immanent dialectic to the syllogism's form, by which it abandons its merely formal character and attains its own concept: being an objective or rational form. For the purposes of this argument, I analyze the Subjectivity section of the Doctrine of the Concept and reconstruct the systematic background of the chapter on syllogism, as well as the specific operation it performs in view of the transit to the Objectivity section. This operation consists in overcoming a certain excess that the necessity of the substance has, first, over the freedom of the concept, which results in an excess of the concept over the substance. To clarify this operation, I examine the syllogisms of qualitative existence and necessity. Finally, I show the determination of the type of object and knowledge that results from the syllogism and explain how this problem projects to later stages of Logic, in which the analyzed problem acquires a relevant practical aspect. (shrink)

RESUMO Um problema de longa data na erudição aristotélica diz respeito à questão de como reconciliar a dupla descrição de Aristóteles da metafísica como ontologia (a ciência universal do ser enquanto ser) e teologia (a ciência da substância imutável e separada). Uma tentativa importante de responder a esta questão (iniciada primeiro por G. Patzig) consiste em dizer que a substância imutável e separada é focalmente anterior (ou o significado focal da) substância e, portanto, de ser em geral (uma vez que (...) a substância é focalmente anterior a ser no geral). Este artigo visa refutar esse tipo de abordagem para o problema da unidade da metafísica de Aristóteles, argumentando que (i) as relações de significado focal implicam a prioridade lógica (definição) dos itens anteriores sobre os itens dependentes situados em tais relações; (ii) a substância imutável e separada não é logicamente anterior aos outros tipos de substâncias distinguidas por Aristóteles; e, portanto, (iii) a substância imutável e separada não é focalmente anterior à (o significado focal de) substância. (shrink)

The aim of this study consists of postulating an ethical approach to Human Rights conceiving them as rights of the other, claiming that this approach represent a starting point for the development of a legal pluralism that contributes to the achievement of an effective and authentic peace. For this study is based on the premise that the law must be able to deal with the serious and still pending social and environmental problems that underlie the violations of human rights, especially (...) those of ecological nature. By way of conclusion, the need for a radical change of the paradigm is evidenced, for which a perspective of ethics as a linguistic praxis is proposed, since such praxis has the potential to inspire the reformulation of human rights, for the purpose of reversing the dynamics of violence imposed by the logic of identity underlying the current legal system. (shrink)

It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of reasoning with maximal consistent subsets of an inconsistent stratified knowledge base. This paradigm, often called “coherent-based reasoning", has resulted in some interesting proposals for para-consistent reasoning, non-monotonic reasoning, and argumentation systems. Unfortunately, coherent-based reasoning is computationally very expensive. This paper harnesses the approach of approximate entailment by Schaerf and (...) Cadoli [SCH 95] to develop the concept of “approximate coherent-based reasoning". To this end, we begin to present a multi-modal propositional logic that incorporates two dual families of modalities: □S and?S defined for each subset S of the set of atomic propositions. The resource parameter S indicates what atoms are taken into account when evaluating formulas. Next, we define resource-bounded consolidation operations that limit and control the generation of maximal consistent subsets of a stratified knowledge base. Then, we present counterparts to existential, universal, and argumentative inference that are prominent in coherence-based approaches. By virtue of modalities □S and?S, these inferences are approximated from below and from above, in an incremental fashion. Based on these features, we show that an anytime view of coherent-based reasoning is tenable. (shrink)

uando Augusto consolidaba el Imperio romano, en su centro cultural, Alejandría, nace Filón. Filósofo, exégeta y maestro en su comunidad judía, Filón es testigo de la convivencia del judaísmo de lengua griega con una sociedad helenizada que en Egipto parecía acercarse al ideal de la pax romana. Pero también es el principal informante sobre el primer pogrom contra su comunidad en el año 38. Sus escritos constituyen la más importante expresión del judaísmo de lengua griega que encontró su ocaso en (...) la época de la destrucción del Templo de Jerusalén. Este volumen primero de las Obras completas de Filón de Alejandría se abre con una introducción general a la edición y traduce dos de los tratados más significativos de la obra filoniana: De opificio mundi y Legum allegoriae 1-3. La creación del mundo es el tratado fundamental de Filón, donde interpreta la doble narración de la producción del mundo según el Génesis, desde perspectivas eclécticas basadas en el Timeo y en tradiciones pitagóricas, aristotélicas y estoicas. Moisés se convierte en el verdadero filósofo para todos los hombres inteligentes de la ecúmene alejandrina, el que enseña la creación y la discriminación de un mundo inteligible y otro sensible. Alegorías de las Leyes es el inicio del Comentario Alegórico, donde los elementos narrativos de la producción artesanal de Adán y de la derivada producción de Eva por la costilla, considerados de forma mítica, dan paso a una interpretación —digna de Dios— de la producción del Intelecto y de la Sensibilidad, primero arquetípicos, después histórico-mundanos. (shrink)

In this first section we start with defining the notions of inconsistency and para-consistency, we give an example of an inconsistency and clarify what according to us is the basic problem with respect to the occurrence of inconsistencies. We are then in a position to state the aim of this paper.

The relationship between logics with sets of theorems including contradictions (“inconsistent logics”) and theories closed under such logics is investigated. It is noted that if we take “theories” to be defined in terms of deductive closure understood in a way somewhat different from the standard, Tarskian, one, inconsistent logics can have consistent theories. That is, we can find some sets of formulas the closure of which under some inconsistent logic need not contain any contradictions. We (...) prove this in a general setting for a family of relevant connexive logics, extract the essential features of the proof in order to obtain a sufficient condition for the consistency of a theory in arbitrary logics, and finally consider some concrete examples of consistent mathematical theories in Abelian logic. The upshot is that on this way of understanding deductive closure, common to relevant logics, there is a rich and interesting kind of interaction between inconsistent logics and their theories. We argue that this suggests an important avenue for investigation of inconsistent logics, from both a technical and a philosophical perspective. (shrink)

G. Priest's anti-consistency argument (Priest 1979, 1984, 1987) and J. R. Lucas's anti-mechanist argument (Lucas 1961, 1968, 1970, 1984) both appeal to Gödel incompleteness. By way of refuting them, this paper defends the thesis of quartet compatibility, viz., that the logic of the mind can simultaneously be Gödel incomplete, consistent, mechanical, and recursion complete (capable of all means of recursion). A representational approach is pursued, which owes its origin to works by, among others, J. Myhill (1964), P. Benacerraf (1967), (...) J. Webb (1980, 1983) and M. Arbib (1987). It is shown that the fallacy shared by the two arguments under discussion lies in misidentifying two systems, the one for which the Gödel sentence is constructable and to be proved, and the other in which the Gödel sentence in question is indeed provable. It follows that the logic of the mind can surpass its own Gödelian limitation not by being inconsistent or non-mechanistic, but by being capable of representing stronger systems in itself; and so can a proper machine. The concepts of representational provability, representational maximality, formal system capacity, etc., are discussed. (shrink)

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory (...) and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses the history of paraconsistent logic; language, negation, contradiction, consistency and inconsistency; logics of formal inconsistency and the main paraconsistent propositional systems; many-valued companions, possible-translations semantics and non-deterministic semantics; paraconsistent modal logics; first-order paraconsistent logics; applications to information processing, databases and quantum computation; and applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning. (shrink)

O presente trabalho pretende mostrar que, para solucionar a questão da possibilidade do progresso científico, Popper precisou introduzir a ideia de verdade no âmbito de sua teoria da ciência. Essa concepção de progresso, em termos da noção de verdade, só será delineada na obra Conjectura e refutações, pois a ideia de que o alvo da ciência é a verdade ainda não aparece teorizada em suas primeiras obras. Quando Popper escreveu sua A lógica da pesquisa científica, a ciência era definida (...) em termos de regras lógico-metodológicas e não de suas metas. O avanço científico é concebido a partir das noções de testabilidade e de corroborabilidade das teorias, exigências lógicometodológicas para que uma teoria seja considerada como científica. Popper não relacionou a questão do progresso científico à noção de verdade, nessa obra, porque, quando a escreveu, não dispunha de uma consistente teoria da verdade. Foi somente após Tarski ter escrito seu artigo sobre a concepção semântica da verdade que Popper, tendo por base essa concepção de verdade, pôde complementar as suas teses sobre o progresso da ciência, expostas em sua A lógica da pesquisa cientifica, com uma teoria acerca do conteúdo de verdade e da aproximação da verdade. This paper aims to show that to solve the question of the possibility of scientific progress, Popper had to introduce the idea of truth into his theory of science. This conception of progress, in terms of the notion of truth, was only outlined in the work Conjectures and Refutations. The idea that the goal of science is truth does not appear in his early works. When Popper wrote his The Logic of Scientific Discovery, science was defined in terms of logic-methodological rules, and not of its goals. Scientific progress was conceived based on the notions of testability and corroboration of theories, logical and methodological requirements for a theory to be considered scientific. Popper did not relate the question of scientific progress to notion of truth in this work, because when he wrote it he did not have a consistent theory of truth. It was only after Tarski had written his article on the semantic conception of truth that Popper, based on this conception of truth, could complement his thesis about the progress of science expounded in The Logic of Scientific Discovery with a theory about the content of truth and the approximation to the truth. (shrink)

Una cuestión controvertida en la teoría bayesiana de la confirmación es el estatus de las probabilidades iniciales. Aunque la tendencia dominante entre los bayesianos es considerar que la única constricción legítima sobre los valores de dichas probabilidades es la consistencia formal con los teoremas de la teoría matemática de la probabilidad, otros autores -partidarios de lo que se ha dado en llamar "bayesianismo objetivo"- defienden la conveniencia de restricciones adicionales. Mi propuesta, en el marco del bayesianismo objetivo, recoge una sugerencia (...) de Wesley Salmon. No obstante, mientras que para Salmon las probabilidades iniciales se justifican en tanto incorporan la frecuencia de éxito de las hipótesis del pasado, el factor decisivo en mi opinión es el éxito probabilístico de las hipótesis del pasado. Así, la asignación de una probabilidad inicial a una hipótesis h será correcta si refleja el éxito probabilístico de hipótesis del pasado semejantes a h. En esta línea, propongo una regla para fijar las probabilidades iniciales de las hipótesis, y acabo discutiendo algunas objeciones generales en contra de mi planteamiento. One of the most controversial issues for Bayesian theory of confirmation concerns the status of prior probabilities. Orthodox Bayesianism claims that logical consistency with the theorems of mathematical theory of probability is the only constraint on prior probabilities, while some authors claim for further requirements. I agree with the latter standpoint. My proposal is inspired by Wesley Salmon's frequentist justification of prior probabilities. According to him, prior probabilities are the best assessments of past scientific hypotheses' success. I think that historical information is relevant here, but I propose to focus on a particular sort of success -i.e., "probabilistic success". I claim that a particular prior for h is correct insofar as it reflects the probabilistic success of past scientific hypotheses similar to h. I also suggest a rule to set the priors for contemporary hypotheses. The closing paragraphs are devoted to some general objections against this proposal. (shrink)

El objeto principal de este trabajo consiste en discutir una propuesta de C. Alchourrón y A. Martino para hacer frente al problema de la fundamentación de la lógica deóntica, planteado por el dilema de Jørgensen. La propuesta criticada se basa en la idea de que no existe obstáculo alguno en compatibilizar la idea de que las normas carecen de valor de verdad con la idea de que poseen una lógica, una vez que se renuncia al "prejuicio filosófico" de que (...) es indispensable caracterizar semánticamente las relaciones y propiedades lógicas y se explica la lógica a partir de la noción abstracta de consecuencia, desligándola de las nociones de verdad y falsedad. Sostienen que el significado de los operadores deónticos, al igual que el de los términos lógicos en la deducción natural, puede quedar totalmente expresado una vez que se explicita su uso mediante reglas de introducción y eliminación. Para ilustrar su propuesta, pretenden ofrecer una fundamentación puramente sintáctica de la lógica deóntica standard. Mis críticas se centran en tres puntos: a) no utilizan auténticas reglas de introducción para los operadores deónticos; b) no derivan la lógica deóntica standard como pretenden haber hecho, y c) no se establecen criterios para relacionar las fórmulas del cálculo con el lenguaje normativo ordinario, con lo que no existen razones para considerar que se trata de una lógica deóntica. Defiendo la idea de que, a los fines de fundamentar semánticamente la lógica deóntica, sólo es necesario que existan interpretaciones admisibles que atribuyan valores de verdad a las normas, y que este requisito es cumplido por la semántica usual de la lógica deóntica standard, con lo que el dilema de Jørgensen resulta ser un seudoproblema. In this paper I discuss a proposal from C. Alchourrón and A. Martino with which they try to face the problem posed to the foundation of deontic logic by Jørgensen' s dilemma. Their proposal is based on the idea that there is no problem at all in compatibilizing the fact that norms lack truth values with their possession of a logic, once it is denied that it is absolutely necessary to offer a semantic characterization of logical properties and relations, and the abstract notion of consequence is taken as primitive. They claim that the meaning of deontic operators, like that of logical terms in natural deduction, is completely expressed through their use, which is explained by means of rules of introduction and elimination. As an illustration, they present a calculus with which they intend to offer a foundation for standard deontic logic. I make three objections: a) They don' t use real rules of introduction for deontic operators; b) They don' t have derived standard deontic logic as they claim; c) There are no criteria for relating the formulas with ordinary normative discourse; so there are no reasons for considering their calculus as a deontic logic. I claim that, in order to give a semantical foundation to deontic logic it is only necessary that there are admissible interpretations that assign truth values to norms, and that this requisite is satisfied by the usual semantic of standard deontic logic. I conclude that Jørgensen' s dilemma is a pseudoproblem. (shrink)

Resumo A cultura ocidental, erigida sob a égide da ontologia grega, historicamente relegou o outro em sua alteridade ao esquecimento, numa supremacia do ser que justificou as cruzadas, a colonização, a escravidão, os regimes totalitários como o fascismo e o nazismo, entre outros. Este artigo tem como objetivo apresentar as perspectivas do professor Joel Birman e do filósofo Emmanuel Lévinas sobre a importância da construção de um novo paradigma na cultura ocidental. Paradigma que reconheça a alteridade, numa abertura inédita do (...) eu , que supere a lógica egocêntrica do ser . A abordagem de Birman consiste na leitura feita, a partir da psicanálise, das causas e consequências da cultura do narcisismo, que norteia a sociedade do espetáculo na pós-modernidade. Essa cultura, ao centrar-se no eu , faz do outro objeto para suas satisfações egoístas. Já a abordagem de Lévinas é uma crítica filosófica ao primado da ontologia, que desde sua origem na Grécia antiga desconsiderou o outro, numa negação violenta da alteridade. A proposta levinasiana é a de que a ética precede a ontologia, ou seja, a ética como filosofia primeira deve nortear a relação entre os homens, num reconhecimento do outro em sua alteridade. Não se pretende neste breve trabalho analisar de forma minuciosa as concepções de Birman e de Lévinas, mas apontar que, apesar das diferenças de abordagem, ambos se aproximam no que tange à questão da alteridade na cultura ocidental. Palavras-chave: Alteridade; Paradigma; Eu; Narcisismo; Ontologia.The Western Culture based on the aegis of the Greek ontology, has historically relegated the other in his alterity to the forgetfulness, in supremacy of the Being who justified the crusades, the colonization, the slavery, the totalitarian regimes like the Fascism and the Nazism, among others. It is in this perspective that this article has as objective to present the perspectives of the teacher Joel Birman and of the philosopher Emmanuel Lévinas on the importance of constructing a new paradigm in the western culture that recognizes the alterity. This paradigm which recognizes the alterity of other is an unpublished opening of myself , who surpasses the egocentric logic of the Being. The approach of Birman consists of reading, from the psychoanalysis, of the causes and consequences of the narcissism culture, that leads society of spectacles in the post-modernity, which while be centering in myself, it does from another object for his selfish satisfactions. The approach of Lévinas is already a philosophical criticism on the primacy of the ontology, which from his origin in ancient Greece, disregarded other in a negation of the alterity in a violent form. The proposal Levinasiana is the one that the ethics precedes the ontology, in other words, the ethics as first philosophy must lead the relation between the men, in recognition of other in his alterity. It is important to find out that it's not intention of this short work to analyze in details the conceptions of Birman neither of Lévinas, but to highlight the similarities between their thought in spite of the differences between their approaches regarding to the question of the alterity in the western culture. Key words: Alterity; Paradigm; Narcissism; Ontology. (shrink)

Este trabajo ofrece una lectura de la Paradoja de Moore que pone énfasis en su relevancia para nuestra comprensión de la racionalidad y de la interpretación lingüística. Mantiene que las oraciones que dan origen a la paradoja no necesitan entenderse en términos de ausencia de una contradicción, sino más bien en términos de ausencia de racionalidad, entendida esta como un término más amplio que el de coherencia y consistencia lógica. Se defenderá tal posición por medio de tres tesis, dos (...) de las cuales se derivan de los enfoques dominantes (aunque insuficientes) a la paradoja: el de Moore, el de Wittgenstein y el de Shoemaker || This paper offers an interpretation of Moore's Paradox that emphasizes its relevance for our understanding of rationality and linguistic interpretation. The sentences that originate the paradox do not need to be thought of in terms of the absence of a contradiction, but in terms of absence of rationality, where rationality is understood as a broader notion than coherence and logical consistency. This is defended through three theses, two of which stem from the dominant (but insufficient) approaches to the paradox: Moore's, Wittgenstein's and Shoemaker's. (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)

How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible (...) solution would be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico. (shrink)

En este texto retomo una pregunta importante que había quedado abierta al final del segundo capítulo de mi (2019): ¿cuáles son los límites del análisis? Sabemos que por obvias limitaciones materiales, todo análisis siempre será incompleto y por lo tanto, limitado. A estos límites les hemos llamado “metodológicos”, para distinguirlos de los metafísicos. Si el análisis tiene límites en este segundo sentido, aun si termináramos de analizar por completo un concepto, no podremos estar seguros de conocer todas sus propiedades (...) esenciales (ya que hay propiedades de este tipo que no las capta ningún análisis) o de ser capaces de distinguirlo de todos los conceptos (pues lo que lo distingue de otros conceptos puede ser inanalizable). Comúnmente se dice que el análisis no nos da todo el contenido de los conceptos, sino sólo su forma lógica o estructura semántica. Por lo tanto, otra manera de reformular la pregunta por los límites del análisis es ¿cuál es la relación entre forma y contenido? (shrink)

O ponto de partida do presente artigo consiste na afirmação de que as religiões originárias do Próximo Oriente - Judaísmo, Cristianismo, e Islamismo - contêm em si mesmas inconsistências práticas e teóricas. Mais ainda, o autor afirma que estas religiões estão em contradição umas com as outras no que diz respeito a aspectos teológicos essenciais, para além de que entre elas existe um passado de guerra e de conflito. Ora estas são precisamente as razões pelas quais o autor considera (...) que a credibilidade epistemológica e moral destas religiões foi dramaticamente afectada. Daí o principal objectivo do artigo: contribuir para o esclarecimento do modo como Filosofia e Teologia podem cooperar entre si em ordem a uma mitigação destas deficiências. Nesse sentido, segundo o autor, uma e outra devem abraçar a possibilidade de demonstrar epistemologicamente que os conteúdos da revelação do ponto de vista da razão não são nem demonstráveis nem refutáveis, pois esses conteúdos não são proposições científicas acerca de eventos e processos interiores ao mundo, mas apenas a expressão de uma atitude religiosa em relação ao mundo no seu todo (e em relação a Deus). Nessa medida, diz o autor, nada justifica que atitudes religiosas de fé e de amor sejam caracterizadas como 'irracionais', antes a elas se devendo aplicar a designação de 'a-racional' ou simplesmente de 'transracional. Mais ainda, a Filosofia e a Teologia estão em posição de mostrar de que modo atitudes religiosas fundamentais estão construídas umas sobre as outras. Com efeito, básica em todas as formas de religião é uma atitude em relação ao mundo considerado como um todo, tal como se pode encontrar, por exemplo, no Taoismo ou no Zen-Budismo, de modo que aqui não se encontra qualquer forma de crença numa divindade transcendente; ora é precisamente esta atitude que o autor do artigo designa por 'Religiosidade A'. Como 'Religiosidade B', por outro lado, designa o autor toda a atitude religiosa de fundo que transcende o mundo presente e nos remete para a existência de um Deus único e da sua Revelação, tal como é o caso com o Judaísmo, o Cristianismo, e o Islamismo. Aqui, a tarefa consiste sobretudo em clarificar de forma lógica e conceptual a possibilidade de uma auto-revelação divina bem como da sua aceitabilidade nos termos de uma crença humanamente constituída. Finalmente, o artigo refere também aquela que o autor considera ser a 'Religiosidade C', expressão esta que simplesmente denota aquela atitude em que, com base nas premissas presentes nas formas A e B de religiosidade, somos especificamente remetidos para á Revelação cristã, ou seja, para a experiência nos termos da qual se professa a encarnação de Deus em Jesus de Nazaré e se afirma a sua condição de ser expressão do amor incondicional de Deus para com todos os seres humanos. Na verdade, a natureza incondicional deste amor apresenta-se como um escândalo moral diante da auto-compreensão ética da humanidade. Consequentemente, a incompreensibiliâade deste amor não pode ser senão objecto da revelação divina e da pura fé, únicos modos possíveis de ele se transformar numa possível justificação 'moral' dos seres humanos. /// Starting-point of this article is the fact that the religions originated from the Near East - Judaism, Christianity, and Islam - do contain in themselves theoretical and practical inconsistencies. Moreover, they contradict each other in essential theological regards, and they made war upon each other in the past. For these reasons, their epistemological and moral credibility has been dramatically diminished. In this context, the article aims at showing how philosophy and theology might be able to work together in alleviating these deficits. First, they may demonstrate epistemologically that the contents of revelation are neither rationally demonstrable nor refutable because they are not scientific statements upon events and processes within the world but the expression of a religious attitude towards the world as a whole (and towards God). Therefore, such attitudes as religious faith and love shouldn't be designated 'irrational', but rather as arational' or, 'transrational'. Furthermore, philosophy and theology are able to show in what manner fundamental religious attitudes are built upon another: Basic for all higher forms of religion is an attitude towards the world as a whole – as one can find for instance in Daoism or Zen-Buddhism – where there is not yet any belief in a transcendent deity; that attitude is called 'Religiosity A'. So called 'Religiosity B' is a fundamental attitude which transcends this world and refers to a sole God and his revelation as can be found among Jews, Christians, and Muslims. Here, the possibility of divine self-revelation and of its acceptability by human faith has to be clarified logically and conceptually. Finally, 'Religiosity C denotes that attitude which, on the premises of those Religiosities A and B, refers to the specifically Christian revelation which confesses the incarnation of God in Jesus and presents him as the expression of God's unconditional love to all human beings. The unconditionality of this love seems to be a moral scandal to human moral understanding. Therefore, this unconceivable love has to be object of divine revelation and of pure faith so that it might be the basis of all possible 'moral' justification of humankind. (shrink)

In a paper published in 1975, Robert Jeroslow introduced the concept of an experimental logic as a generalization of ordinary formal systems such that theoremhood is a (or in practice ) rather than . These systems can be viewed as (rather crude) representations of axiomatic theories evolving stepwise over time. Similar ideas can be found in papers by Putnam (1965) and McCarthy and Shapiro (1987). The topic of the present article is a discussion of a suggestion by Allen Hazen, that (...) these experimental logics might provide an illuminating way of representing “the human mathematical mind”. This is done in the context of the well-known Lucas-Penrose thesis. Though we agree that Jeroslow's model has some merit in this context, and that the Lucas-Penrose arguments certainly are less than persuasive, some semi-technical doubts are raised concerning the alleged impact of experimental logics on the question of knowable self-consistency. (shrink)

La crítica contundente de Quine a las nociones intensionales, así como a todo lo superfluo para una ontología de raíz lógica de primer orden, le condujo a rechazar la validez de la noción de semejanza en el ámbito de las ciencias maduras . El artículo consiste preci-samente en responder a esta crítica desde una perspectiva no formalista en la que la ciencia no se reduce a simple teoría, sino que se comprende como un complejo interactivo de diversas prácticas . (...) Mi respuesta a Quine toma como eje fundamental el análisis de la semejanza en una ciencia madura como lo es la química, y presenta un estudio de caso en el ámbito de la química sintética. El objetivo del artí-culo es en tal sentido triple: por un lado, critico la concepción reductivis-ta quineana de la ciencia; por otro, reclamo la importancia de la semejan-za en química; y, por último, reivindico lo que denomino pragmatismo ex-perimental, un modo de análisis de la tecnociencia que tiene en cuenta la práctica real de ésta y la interacción teoría-experimento-prácticas científicas des-de una perspectiva naturalista. El título incluye el verbo “desquinear”, in-existente en español, en clara referencia a mi negativa de aceptar el análi-sis de Quine.Quine's strong criticism of intensional notions as well as of everything that is superfluous for an ontology based on first order logic led him to deny the legitimacy of the notion of similarity in the realm of the mature sciences . In this paper I try to refute Quine's view by adopting a non-formalistic perspective, i.e., a perspec-tive in which science is not simply reduced to a theory, but is rather seen as an interative complex of several different forms of scientific practices . My reply to Quine has as main pillar the analysis of the notion of similarity in a mature science like chemistry, and is based on a study of a concrete case in the realm of synthetic chemistry. The aim of this paper is, therefore, threefold: first, I shall criticize Quine's reductivism regarding science; second, I shall defend the centrality of the notion of similarity in chemistry; fi-nally, I shall defend what I call experimental pragmatism, i.e., a specific way of analysing technological sciences that takes into account both the actual scientific practice and the interaction between theory, ex-periment and practices from a naturalistic point of view. The title con-tains the verb "de-quining", which does not actually exist in Spanish, but clearly refers to my rejection of Quine's analysis. (shrink)

O objetivo geral deste artigo é contribuir para as reflexões sobre as relações entre ética e linguagem a partir da obra de Wittgenstein, buscando compreender em que medida há uma irredutível dimensão ética envolvida nos limites da significação. Para tanto, retomamos as considerações sobre ética presentes no Tractatus, nos Notebooks 1914-1916 e na Conferência sobre Ética. A maior parte dos desenvolvimentos deste texto versa sobre a abordagem do ponto de contato entre ética, lógica e ontologia, levando em contaa (...) influência de Schopenhauer na primeira filosofia de Wittgenstein. Nosso horizonte, entretanto, consiste em contribuir para questão dos desacordos profundos, no âmbito da sua filosofia tardia, no que se refere aos princípios éticos radicalmente distintos. Sobre isso, estamos conscientes de que aqui apenas tocamos a matéria, indicando caminhos possíveis, e que o presente trabalho constitui um passo a ser retomado em análises futuras.AbstractThe general objective of this paper is to contribute to reflections on the relations between ethics and language based on Wittgenstein’s work, seeking to understand the extent to which there is an irreducible ethical dimension involved in the limits of meaning. Therefore, we return to the considerations on ethics present in the Tractatus; in Notebooks 1914-1916 and in the A Lecture on Ethics. Most of the developmentsin this paper deal with approaching the point of contact between ethics, logic and ontology, taking into account Schopenhauer’s influence on Wittgenstein’s first philosophy. Our horizon, however, is to contribute to the issue of deep disagreements, within the scope of his later philosophy, with regard to radically different ethical principles. About this, we are aware that we are only touching on the matter here, indicating possible paths, and that the present work is a step to be taken up again in future analyses. (shrink)

El presente artículo analiza las primeras consideraciones de Ludwig Wittgenstein respecto de la percepción de figuras ambiguas, lo que posteriormente fue englobado por la más amplia noción de “percepción de aspectos”. El objetivo consiste en poner de manifiesto algunas las consideraciones del Tractatus Logico-Philosophicus respecto al carácter intrínsecamente representacional de la percepción en el caso del Cubo de Necker, para establecer de qué manera y en qué medida sus primeras observaciones críticas de la percepción de propiedades que admiten grados (...) en Some Remarks on Logical Form, en 1929, puede impactar análogamente sobre su propia descripción de esta clase particular de experiencias bajo consideración. (shrink)

We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.

Resumen En este escrito se expone la critica heideggeriana a la lógica, que en su primera etapa comienza como una revisión histórica del concepto lógos, pero se irá radicalizando conforme el lenguaje se presenta como un impedimento para el desarrollo del proyecto ontológico, hasta desembocar en lo que él mismo denominó la necesidad de una conmoción estructural de la lógica. Con la finalidad de dar seguimiento al desarrollo paulatino de esta problemática, este texto ha sido dividido de la siguiente (...) manera: en primer lugar, exponemos el desmantelamiento del lógos propio de la lógica que Heidegger lleva a cabo en sus primeras lecciones; en segundo lugar, nos concentraremos en la crítica a la lógica que se lleva a cabo en el horizonte filosófico abierto por la pregunta acerca de la nada alrededor de los años 30, para así, finalmente, aclarar el sentido particular que caracteriza el proyecto de la Erschütterung der Logik en el contexto filosófico de 1934.The following text presents the Heideggerian critique to the logic, which, at the beginning is realized as an historical revision of the concept of lógos, but that will be more radical as language becomes a structural obstacle for the development of the ontological project. The culmination of the mentioned critique will be announced by Heidegger as the necessity to shake the logic in a structural way. Our purpose consists in following up the gradual development of this project, based on three different stages: so, firstly we expose the dismantling of the lógos proper of the logic that Heidegger carries out in his first lessons; secondly, we focus on the approach to logic that is opened up by the question of nothingness around the 1930's. Finally we clarify the particular meaning that characterizes the propousal of the Erschütterung der Logik in the philosophical context of 1934. (shrink)

El artículo ofrece una interpretación de las contribuciones de David Hilbert a la teoría de las magnitudes poligonales, desarrollada en su influyente monografía Fundamentos de la geometría, publicada en 1899. Se argumenta que la construcción de esta parte central de la geometría euclidiana represento para Hilbert un desafío muy significativo, en razón de su objetivo general de proporcionar una axiomatización estrictamente sintética de esta teoría geométrica; es decir, en virtud de sus conocidos requerimientos metodológicos y epistemológicos de construir la (...) geometría elemental evitando toda apelación esencial a presupuestos numéricos. Se sostiene además que dicho desafío consistió en ofrecer un nuevo fundamento lógicamente sólido para la teoría del área poligonal, pero que al mismo tiempo pueda ser considerado como puramente geométrico. The paper offers an interpretation of David Hilbert's contributions to the theory of polygonal magnitudes, developed in his influential monograph Foundations of Geometry, published in 1899. It is argued that the construction of this central part of Euclidean geometry presented an appealing challenge to Hilbert's general aim of providing a purely synthetic axiomatization of this geometrical theory; in other words, to his epistemological and methodological concerns of constructing elementary geometry without resorting to any kind of numerical assumption. Moreover, it is claimed this challenge consisted in offering a new foundation for the theory of polygonal area, which could be considered at the same time as logically sound and purely geometrical. (shrink)

Resumen: En este trabajo se pretende presentar la estructura ontológica de dos concepciones de sociedad y sus relaciones lógicas y ontológicas, según sea el caso, con individuos o con individuos individuados. Partimos de un análisis de la estructura ontológica de la sociedad tal como la concibe Freud para poder visualizar la coherencia entre esa estructura y la que subyace en su psicopatología. Luego, hacemos lo propio con Winnicott y mostramos cómo, a veces, sus enunciados no pueden ser tomados literalmente, (...) lo que nos lleva a profundizar en el estudio de su concepción de sociedad y las relaciones que ésta mantiene con su Teoría de la Maduración. Se espera que la comparación de estos dos modelos de la estructura ontológica de sociedad nos permita mostrar los alcances orientados a la comprensión de la adolescencia en esta época. Palabras claves: Ontología, individuos, individuos individuados, Freud, Winnicott: This paper aims to present the ontological structure of two conceptions of society and its logical and ontological relations, depending on the case, with individuals or individuated individuals. We start with an analysis of the ontological structure of society as conceived by Freud to see the consistency between this structure and that underlying psychopathology. Then we do the same with Winnicott and we show how, sometimes, their statements cannot be taken literally, leading us deeper into the study of his conception of society and the relations it maintains with his Theory of Maturation. It is expected that the comparison of these two models of the ontological structure of society allows us to show the scope oriented understanding of adolescence in this era. Keywords : Ontology, individuals, individuals individuated, Freud, Winnicott. (shrink)

The logic B+ is Routley and Meyer’s basic positive logic. Wedefine the logics BK+ and BK′+ by adding to B+ the K rule and to BK+the characteristic S4 axiom, respectively. These logics are endowed witha relatively strong non-constructive negation. We prove that all the logicsdefined lack the K axiom and the standard paradoxes of consistency.

Critico la teoría hermenéutica de Landgrebe sobre el cartesianismo de Husserl mostrando la estructura argumentativa en la que se inserta, lo que pretende y lo que está forzada a pretender. Su núcleo duro radica en los conceptos de crítica inmanente y lógica interna y tiene como meta final promover una idea de trascendental no-entitativa voluntarista y correlacional opuesta a la de un yo absoluto. Para probar esto, analizo tres niveles del cartesianismo de Landgrebe: primero, la síntesis contradictoria entre apodicticidad (...) y experiencia; segundo, su interpretación de Filosofía Primera, y, tercero, el objetivismo de Husserl. Concluyo de la función que juega el cartesianismo en este esquema y del fracaso de documentar con ejemplos la idea que el concepto no describe una noción en la filosofía de Husserl, sino que es una herramienta hermenéutica para controlar el sentido de trascendental en esta filosofía.I criticize Landgrebe’s hermeneutical theory about Husserl’s Cartesianism describing the structure of the argument where this concept is rooted, what it claims and what it is forced to claim. The theory’s hard core is based on the concepts of immanent critique and internal logic and it’s final goal consists in advancing a non-entitative voluntaristic and correlational definition of transcendental opposite to that of an absolute I. To prove this, I analyze three levels inside Landgrebe’s concept of Cartesianism: first, the contradictory synthesis of experience and apodicticity; second, his interpretation of First Philosophy, and, third, Husserl’s objectivism. I conclude from the goal that Cartesianism plays in this argument and the failure in documenting this idea with examples that Landgrebe’s Cartesianism is rather an hermeneutical tool made to control the definition of transcendental in Husserl’s philosophy than a concept describing Husserl’s thought. (shrink)

Examinamos a argumentação de Cícero contra o estoicismo no De Fato tentando reconstruir a melhor argumentação de Crisipo para a posição de uma filosofia que concilie a postulação do destino com a da liberdade humana. Fazemos isso, contudo tendo em vista a maneira como esse programa estóico é lembrado por Leibniz na Teodicéia. A estratégia para tanto consiste em examinar primeiro a maneira como Crisipo e Cícero poderiam traduzir o problema da relação do destino em termos causais, sugerindo (...) uma diferença possível entre a solução que seria legitimamente a de Crisipo e a de Cícero. Depois, mas em função dessa primeira análise, procuramos entender como Crisipo poderia resolver o problema a partir da postulação autonomia do agente na deliberação, pressuposta a natureza do agente — e pressupostos alguns temas centrais da física e da lógica estóicas como a noção de corporais e incorporais. Aqui aparece o exemplo do cilindro e do cone, como atribuído a Crisipo por Cícero, exemplo cuja interpretação ocupará o restante do artigo. The Cylinder and the ConeWe shall try to find the best way by which Crhysippus philosophy puts fate and freedom together, we must first proceed through an examination of the plot of Cicero’s De Fato. There we shall come back to some Leibnizian remarks about the Fatum Stoicum in the Theodicy. The first step for that is the interpretation of the Ciceronian attempt to translate the problem in an ethiological one, and the statement of the different conceptual framework through which Crhysippus do the same. The final step is the analysis of the Stoic conception of autonomous action in the act of deliberation, supposing the nature of the agent in his commitments with some stoical tenets about the incorporeal, as it appears in their physics and their logics. It is in this step that we shall examine the example of the cylinder and the cone, as it is given by Crhysippus through Cicero’s testimony, and try to extend that analysis to its ultimate consequences. (shrink)

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding (...) frame class is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

Arif Ahmed has recently argued that causal decision theory is dynamically inconsistent and that we should therefore prefer evidential decision theory. However, the principal formulation of the evidential theory, Richard Jeffrey’s Logic of Decision, has a mixed record of its own when it comes to evaluating plans consistently across time. This note probes that neglected record, establishing the dynamic consistency of evidential decision theory within a restricted class of problems but then illustrating how evidentialists can fall into sequential incoherence outside (...) of this class. Uncovering the evidentialist’s own dynamic inconsistencies reveals, contra Ahmed, that sequential choice considerations do not significantly favor the evidentialist’s theory over the causalist’s. (shrink)

Heeding the call for a deeper understanding of how cross-sector social partnerships can be managed across different contexts, this article integrates ideas from institutional theory with current debate on cross-boundary collaboration. Adopting the point of view of business actors interested in forming a CSSP to address complex social problems, we suggest that “appropriateness” needs shape business approaches toward partnering for social change, exerting an impact on the benefits that can be gained from it. A theoretical framework is proposed that identifies (...) and frames four CSSP styles, as resulting from combinations of dominant institutional orientations in a field and its general level of coherence. We show how, depending on prevailing institutional logics, intervention models underlying the CSSP have to emphasize either the business soundness of the initiative or its social value, together with a consistent leadership style. Moreover, while directive approaches based on concentrated governance structures aimed at setting the rules of the game are shown to prevail in fields characterized by low level of institutional coherence, participative models emerge in more established fields, with CSSP’s promoter playing an integrative role through distributed governance structures. The article concludes with a summary and implications of an institutional-based view of CSSPs. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

Frecuentemente se atribuye al empirismo apelar a principios no empíricos para defender el conocimiento empírico, por ello se le ha acusado de incurrir en cierta clase de autorrefutación. Con el advenimiento del empirismo lógico, esta objeción tomó la forma de cuestionamiento al criterio empirista de significado, señalando que, al no tratarse de una proposición lógica ni empírica, no cumple con sus propias condiciones de significatividad. En este artículo pretendo mostrar que dentro del empirismo lógico se desarrollaron respuestas a estas (...) críticas, lo suficientemente consistentes como para resistir la objeción de autorrefutación. Asimismo, defiendo que la afirmación de autorrefutación del criterio empirista de significado parte de comprensión inadecuada de los niveles lingüísticos involucrados en su formulación, así como de algunos supuestos no explícitos respecto de su estatus. Empiricism has frequently been said to appeal to non-empirical principles to defend empirical knowledge, which is why it has been accused of falling into some form of self-refutation. With the advent of logical empiricism, this objection became a questioning of the empiricist criterion of meaning, noting that since it is neither a logical nor an empirical proposition, it does not fulfill its own conditions of meaningfulness. This paper intends to show that responses to this criticism, consistent enough to resist the objection of self-refutation, have been developed whithin logical empiricism. In addition, the article claims that the assertion that the empiricist criterion of meaning is self-refuting is based on an inadequate understanding of the linguistic levels involved in its formulation, as well as on some unspecified assumptions regarding its status. (shrink)

Traditionally the modern theory of ideas has been discussed primarily in reference to its alleged introduction of a veil of mental items between the mind and the world, which leads, through the empiricists, to radical skepticism about the existence of an external world. Here I propose to emphasize an entirely different aspect of the Cartesian theory of ideas which, in my view, is more fundamental in opening the empiricist path that leads to Hume’s radical skepticism. I argue that what I (...) call the “phenomenological presentation” model of ultimate justification is rooted in a fundamental ambiguity between sensible and intellectual apprehension insinuated by Descartes’s view of “clear and distinct” ideas together with his emphasis on the priority of intuition over logical inference. Sensible apprehension relies on immediate acquaintance with items pheno-menologically and ostensively present before the mind as given particulars. The phenomenological presentation model takes its clues from sensible apprehension, although the items present before the mind might themselves be either ideas of the understanding, images of the imagination, sensory impressions, or material external objects. Intellectual apprehension, by contrast, as I illustrate with Leibniz’s model of our knowledge of concepts and truths of reason, consists in the discursive, non-ostensive grasping of the generality of abstract concepts and of formal structures . For Leibniz, all intellectual apprehension is unambiguously “logical discursive apprehension” as opposed to “direct ostensive apprehension.” Thus, Leibniz unmistakably disambiguates Descartes’s model in favor of a precise intellectual model. The empiricists, by contrast, correspondingly disambiguate Descartes’s conception in favor of an entirely sensible model.Tradicionalmente, a teoria moderna das idéias foi discutida principalmente em conexão com a sua suposta introdução de um véu de itens mentais entre a mente e o mundo que leva, por meio dos empiristas, ao ceticismo radical sobre a existência de um mundo externo. Aqui eu proponho enfatizar um aspecto completamente diferente da teoria Cartesiana das idéias que, na minha visão, é mais fundamental no que diz respeito a abrir o caminho empirista que conduz ao ceticismo radical de Hume. Eu argumento que o que eu chamo de o modelo de “apresentação fenomenológica” de justificação última está baseado em uma ambigüidade fundamental entre apreensão sensível e intelectual insinuada pela visão de Descartes de idéias “claras e distintas” junto com a sua ênfase na prioridade da intuição sobre inferência lógica. A apreensão sensível confia no contato imediato com itens presentes fenomenologicamente e ostensivamente perante a mente como particulares dados. O modelo de apresentação fenomenológica está inspirado na apreensão sensível, embora os itens que se apresentam perante a mente poderiam ser eles mesmos idéias do entendimento, figuras da imaginação, impressões sensórias, ou objetos externos materiais. A apreensão intelectual, por contraste, como eu ilustro com o modelo de Leibniz de nosso conhecimento de conceitos e verdades da razão, consiste na compreensão discursiva e não-ostensiva da generalidade de conceitos abstratos e de estruturas formais . Para Leibniz, toda a apreensão intelectual é claramente “apreensão discursiva lógica” por oposição a “apreensão ostensiva direta”. Assim, Leibniz claramente desfaz a ambigüidade do modelo de Descartes em favor de um modelo intelectual preciso. Os empiristas, por contraste, desfazem a ambigüidade da concepção de Descartes em favor de um modelo completamente sensível. (shrink)

Boolean connexive logic is an extension of Boolean logic that is closed under Modus Ponens and contains Aristotle’s and Boethius’ theses. According to these theses a sentence cannot imply its negation and the negation of a sentence cannot imply the sentence; and if the antecedent implies the consequent, then the antecedent cannot imply the negation of the consequent and if the antecedent implies the negation of the consequent, then the antecedent cannot imply the consequent. Such a logic was first introduced (...) by Jarmużek and Malinowski, by means of so-called relating semantics and tableau systems. Subsequently its modal extension was determined by means of the combination of possible-worlds semantics and relating semantics. In the following article we present axiomatic systems of some basic and modal Boolean connexive logics. Proofs of completeness will be carried out using canonical models defined with respect to maximal consistent sets. (shrink)