Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.

In 2015 Dag Prawitz proposed a natural deduction ecumenical system, where classical logic and intuitionistic logic are codified in the same system. In his ecumenical system, Prawitz recovers the harmony of rules, but the rules for the classical operators do not satisfy separability. In fact, the classical rules are not pure, in the sense that negation is used in the definition of the introduction and elimination rules for the classical operators. In this work we propose an ecumenical system adapting, to (...) the natural deduction framework, Girard’s mechanism of stoup. This allows for the definition of a pure harmonic natural deduction system for the propositional fragment of Prawitz’s ecumenical logic. We conclude by presenting an extension proposal to the first-order setting and a different approach to purity based on some ideas proposed by Julien Murzi. (shrink)

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...) to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp. (shrink)

This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the economic regularities and tendencies that we find in the real world. Axiomatic models utilize the hypothetical-deductive method; they are syllogisms whose major premise is an axiom – a self-evident truth; they are appropriate for methodological sciences such as mathematics and econometrics. Conditional economic models are likewise syllogisms, but they are suitable for economics (...) because they make for clearer and more precise economic reasoning. The criterion of truth of the substantive sciences is the conformity with reality, of the methodological science, its internal consistency. When a school of economic thought adopts mainly axiomatic models, as is the case with neoclassical economics, it implicitly falls into contradiction because their best representatives believe in the conformity with reality criterion. (shrink)

This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)

Livro em homenagem ao filósofo brasileiro Luiz Henrique Lopes, um dos maiores expoentes da filosofia analítica. Neste livro grandes nomes da filosofia brasileira discorrem sobre a filosofia analítica e vários assuntos da filosofia contemporânea.

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...) rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism, via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction. (shrink)

Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document}, where exactly one logical operator figures (...) in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {EK}$$\end{document}. We prove that nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document} is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions. (shrink)

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason (...) that sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (shrink)

In 1930, Johann von Neumann, together with Rudolf Carnap and Arend Heyting, participated in a conference held in Königsberg, called “Second Seminar on the Epistemology of Exact Sciences”. The idea behind the reunion of these three researchers was to compose a fairly faithful picture of the three main foundational programs of mathematics at the time: formalism, logicism, and intuitionism. The main objective of this paper is to propose an analysis of the text “The Formalist Foundation of Mathematics” presented by von (...) Neumann in this conference. We show how, from von Neumann's perspective, the problem of the consistency of mathematical theories results from the transformation of a genuinely philosophical question into a genuinely logical-mathematical question and how a proof of consistency could be seen as the solution to the foundational problem. In the final part of the text, we present some considerations about Gerhard Gentzen’s consistency proofs and their importance to contemporary proof theory. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies.

Veloso-Pereira-Haeusler_On-what-there-must-be.

Which roles are played by subcortical pathways in models of cortical streams for visual processing? Through their thalamic relays, magnocellular (M) and parvocellular (P) projecting ganglion cells send complementary signals to V1, where their outputs are combined in several different ways. The synergic role of M and P cells in vision can be understood by estimating cell response entropy in all domains of interest.

Coletânea de artigos em homenagem a Guido Antonio de Almeida e Raul Ferreira Landim Filho.

Levando–se em conta os leitores do século XXI, ao debruçar-se sobre a participação da Igreja católica brasileira na preparação do Concílio Vaticano II, o presente estudo parte de três perguntas: a) o quê interessa saber sobre a participação brasileira? b) É este um tema relevante? c) Alguns brasileiros participação significativamente na fase preparatória? Para responder apropriadamente a essas questões os autores propõem um conceito diferente de “participação” na preparação do Vaticano II por parte do episcopado brasileiro. O artigo não foca (...) apenas a presença deste ou daquele bispo ou perito nas comissões do Concílio, mas propõe a idéia de que o mais importante foi a auto-preparação, que durante certo tempo permaneceu “latente” e posteriormente se organizou através de um Concílio com um episcopado jovem, com uma média de idade em torno de 54 anos e 11 de experiência como bispo. Por isso, conscientes dos problemas pastorais que a realidade do subdesenvolvimento punha à Igreja, e com uma incipiente experiência de participação colegial, desenvolvida na construção do Plano de Emergência, este episcopado não só vivenciou em profundidade o “evento” conciliar, como foi o primeiro a sair dele organizado para colocá-lo em prática. Daqui a relevância desta reconstrução. Palavras-chave: Helder Câmara. Plano de Emergência. Colegialidade. Vaticano II. Igreja Católica no BrasilThis article aims to show the contribution of the Brazilian Catholic Church in the preparation of the Second Vatican Council. To fulfill such purpose the present study focus its research in three basic questions: a) what is important to know about the Brazilian participation? b) Is this a relevant topic? C) Some Brazilians participate significantly in the preparatory phase? To respond appropriately to these issues the authors propose a different concept of "participation" in the preparation of Vatican II by the Brazilian episcopate. The article focuses not only the presence of this or that bishop or the expert commissions of the Council, but proposes the idea that the most important was the self-preparation, which for a time remained "latent" and later was organized by a council with a young bishop, with an average age around 11 and 54 years of experience as a bishop. Therefore, aware of the problems that the pastoral reality of underdevelopment put the Church, and with an incipient experience of participating high school, developed in the construction of the Emergency Plan, the bishops not only experienced in depth the "event" to reconcile, as was the first it held out to put it into practice. Key words: Helder Câmara. Emergency Plan. Collegiality. Vatican II. Catholic Church in Brazil. (shrink)

This paper analyses the gender pay determinants between top and lower level of Portuguese employees. A relatively large data pool, for 2003, covering business functions hitherto neglected, sheds a new light into the factors that lead to the earnings of men and women. Our analysis combines human capital with internal-labour-markets theories. Our findings allow the identification of jobsegregation as one important source of the gender pay gap. Moreover, they confirm that earnings are determined by different factors and suggest a reasonable (...) opportunity for women to combine career and family. (shrink)

In the 1970s, R.D. MacElroy coined the term ‘extremophile’ to describe microorganisms that thrive under extreme conditions (MacElroy 1974). This hybrid word transliterates to ‘love of extremes’ and has been studied as a straightforward concept for the past 40 years. In this paper, we discuss several ways the term has been understood in the scientific literature, each of which has different consequences for the distribution and importance of extremophiles. They are, briefly, Human-Centric, at the Edge of life’s habitation of Morphospace, (...) by appeal to Statistical Rarity, described by Objective Limits, and at the Limits of Impossibility for metabolic processes. Importantly, these concepts have co-existed, unacknowledged and conflated, for decades. Confusion and equivocation threaten to follow from the wildly varied inclusion or exclusion of organisms as extremophiles depending on the concept used. Under some conceptions, entire kinds of extremophiles become meaningless. Since our understanding of how life works is shaped by what we take to be its extremes, clarifying extremophily is key for many large-scale projects in biology, ecology, biotechnology and astrobiology. In what follows, we proceed as if a noncontroversial account of life is possible and that it is possible to find complex chemistry in the Universe that is similar enough to Life on Earth such that both may be considered instances of ‘life’ (but see Mariscal & Doolittle 2018). We raise, but do not address, the questions of whether the distribution of Life on Earth is representative of what we may find elsewhere in the Universe, whether the same kinds of extremophiles would exist given a replay of the tape of life. Additionally, each of these concepts assumes life based on some sort of biochemistry in this universe, effectively setting aside claims made by some artificial life proponents that their digital organisms are genuine examples of life (Langton 1989, Ray 1995). On the distinction between extremophilic and extremotolerant, we note that all accounts accept the latter as a broader category than the former, since ‘phily’ means love and tolerance is a prerequisite for love under any conception. Indeed, there will be many extremely impoverished environments where tolerance is the only option and thriving is precluded, e.g. Bacillus marismortui was extracted and grown from 250-million-year-old salt crystals in the Permian Salado Formation in an inactive yet persistent state (Vreeland et al., 2000). We also note that extremophily, as a functional category, is potentially applicable at many levels of the biological hierarchy. Extremophily at one level does not necessarily extend to higher and lower levels. For instance, a microorganism in isolation might be quite intolerant to certain environmental conditions yet flourish when subjected to the same conditions as a community or natural biofilm. Alternatively, a protein molecule might be quite stable or active under certain conditions even if the optimal environment for the organism containing it is far more mesophilic. There is an industry of artificially selecting organisms and proteins to adapt to extreme environments (see van den Burg & Eijsink 2002), providing some justification to consider ‘functioning at extremes’ as a worthwhile category of investigation. Finally, we also note certain physico-chemical ranges are rarely considered with respect to extremophily – timespan, size, nutrient availability (Hoehler & Jørgensen 2013), etc. – as well as some biological parameters – abundance, isolation, competition, etc. Perhaps scientific interest must also come into play as to the reason these criteria are not considered relevant. We return to this issue later. In the next section, we give five definitions of extremophily, show their benefits, drawbacks, and unintended yet unavoidable consequences. These arguments are summarized in Table 1 and represented visually in Figures 1 and 2. Given research on polyextremophiles, it seems Figure 2 is a more plausible representation of the state of current knowledge than Figure 1 (Harrison et al. 2013). Life is patchily distributed across various dimensions, which may reflect its contingent history, poor sampling, or (perhaps) fundamental limits. Figure 3 shows the conceptual flowchart for all of these views. In the following section, we take a step back to ask whether we should choose between these definitions and how such a judgment could be made. We argue for a limited pluralism, in which some, but not all, of the concepts are acceptable relative to certain practical and theoretical aims. (shrink)

We determine the number of non‐isomorphic semi‐Heyting algebras on an n‐element chain, where n is a positive integer, using a recursive method. We then prove that the numbers obtained agree with those determined in [1]. We apply the formula to calculate the number of non‐isomorphic semi‐Heyting chains of a given size in some important subvarieties of the variety of semi‐Heyting algebras that were introduced in [5]. We further exploit this recursive method to calculate the numbers of non‐isomorphic semi‐Heyting chains with (...) n elements such that removing the mth element () we are left with a subalgebra. We also solve a related problem posed in [1] of determining the number of ways a semi‐Heyting chain with elements can be extended to a n element semi‐Heyting chain by adding a new element in the mth place. Finally we combine these results by finding a second way to calculate the numbers that provides some extra information. (shrink)

Mucopolysaccharidosis type I (MPS I) is a rare lysosomal storage disorder treated with bone marrow transplantation or enzyme replacement therapy with laronidase, a high-cost orphan drug. Laronidase was approved by the US Food and Drug Administration and the European Medicines Agency in 2003 and by the Brazilian National Health Surveillance Agency in 2005. Many Brazilian MPS I patients have been receiving laronidase despite the absence of a governmental policy regulating access to the drug. Epidemiological and treatment data concerning MPS I (...) are scarce. This study aims to present a demographic profile of Brazilian patients with MPS I, describe the routes of access to laronidase in Brazil, and discuss associated ethical issues relating to public funding of orphan drugs. (shrink)

Trata-se de uma pesquisa de natureza bibliográfica, com abordagem quanti-qualitativa, de caráter descritivo-exploratório que objetiva analisar a produção do conhecimento do Curso de Educação Física da Universidade do Estado do Pará em Altamira, no período de 2011-2018. Os achados apontam uma evolução do modo de produzir conhecimento, pois constatou-se uma redução dos vazios analíticos presentes nas pesquisas analisadas. Conclui que há um aumento no rigor cientifico presente nas produções devido uma maior utilização de técnicas, metodologias e teorias consistentes para a (...) verificação da realidade pesquisada e para a elaboração das respostas (R) dos problemas (P) investigados. (shrink)

A Bayesian measure of evidence for precise hypotheses is presented. The intention is to give a Bayesian alternative to significance tests or, equivalently, to p-values. In fact, a set is defined in the parameter space and the posterior probability, its credibility, is evaluated. This set is the “Highest Posterior Density Region” that is “tangent” to the set that defines the null hypothesis. Our measure of evidence is the complement of the credibility of the “tangent” region.

For the epic journey of autumn migration, long-distance migratory birds use innate and learned information and follow strict schedules imposed by genetic and epigenetic mechanisms, the details of which remain largely unknown. In addition, bird migration requires integrated action of different multisensory systems for learning and memory, and the hippocampus appears to be the integration center for this task. In previous studies we found that contrasting long-distance migratory flights differentially affected the morphological complexity of two types of hippocampus astrocytes. Recently, (...) a significant association was found between the latitude of the reproductive site and the size of the ADCYAP1 allele in long distance migratory birds. We tested for correlations between astrocyte morphological complexity, migratory distances, and size of the ADCYAP1 allele in three long-distance migrant species of shorebird and one non-migrant. Significant differences among species were found in the number and morphological complexity of the astrocytes, as well as in the size of the microsatellites of the ADCYAP1 gene. We found significant associations between the size of the ADCYAP1 microsatellites, the migratory distances, and the degree of morphological complexity of the astrocytes. We suggest that associations between astrocyte number and morphological complexity, ADCYAP1 microsatellite size, and migratory behavior may be part of the adaptive response to the migratory process of shorebirds. (shrink)

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete datasets. The full Bayesian (...) significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

The Full Bayesian Significance Test (FBST) for precise hypotheses is presented, with some applications relevant to reliability theory. The FBST is an alternative to significance tests or, equivalently, to p-ualue.s. In the FBST we compute the evidence of the precise hypothesis. This evidence is the probability of the complement of a credible set "tangent" to the sub-manifold (of the para,rreter space) that defines the null hypothesis. We use the FBST in an application requiring a quality control of used components, based (...) on remaining life statistics. (shrink)

Through a convenience sample of 260 employees, the study shows how employees’ perceptions about corporate citizenship (CC) predict their affective commitment. The study was carried out in Portugal, a high in-group and low societal collectivistic culture. Maignan et al.’s (1999, Journal of the Academy of Marketing Science27(4), 455–469) construct, including economic, legal, ethical, and discretionary responsibilities was used. The main findings are: (a) contrary to what has been presumed in the literature, the discretionary dimension includes two factors: CC toward employees (...) and toward community; (b) perceptions of CC explain 35% of unique variance of affective commitment; (c) the best predictors are perceptions of economic and legal CC and, mainly, perceptions of discretionary CC toward employees; (d) the perceptions of discretionary CC toward employees are significantly better predictors of affective commitment than are perceptions of economic, ethical, and discretionary CC toward the community; (e) perceived inconsistency of the several CC dimensions is detrimental to employees’ affective commitment. The study questions the four-dimensional model of the CC construct as operationalized by Maignan et al., suggests that culture should be included as a moderating variable in future research, and stresses that affective commitment may decrease when employees perceive that their organizations act upon the several areas of CC inconsistently. (shrink)

Um aspecto poucas vezes (se é que alguma vez) referido a propósito deste livro de José Gil é o modo como sintetiza tantos aspectos da sua obra anterior. O que é tanto mais interessan­te quanto o faz recorrendo quer a noções centrais dela como a aspectos quase desconhecidos, e isto através de uma reflexão sobre mentalidades que não é muito frequente destacar-se nos seus trabalhos. Mais ainda do que «a intensidade que uma relação com este país supõe» (p. 142), que (...) José Gil refere ao terminar, e... (shrink)

In the last 2500 years, since the beginnings in ancient Greece of the literary genre we call “history,” the relationship between history and law has been very close. True, the Greek word historia is derived from medical language, but the argumentative ability it implied was related to the judicial sphere. History, as Arnaldo Momigliano emphasized some years ago, emerged as an independent intellectual activity at the intersection of medicine and rhetoric. Following the example of the former, the historian analyzed specific (...) cases and situations looking for their natural causes; following the prescriptions of the latter—a technique, or an art, born in tribunals—he communicated the results of his inquiry.2Within the classical tradition, historical writing had to display a feature the Greeks called enargeia, and the Romans, evidential in narrtatione: the ability to convey a vivid representation of characters and situations. The historian, like the lawyer, was expected to make a convincing argument by communicating the illusion of reality, not by exhibiting proofs collected either by himself or by others.3 Collecting proofs was, until the mid-eighteenth century, an activity practiced by antiquarians and erudite, not by historians.4 When, in his Traité des differentes sortes de preuves qui servent à établir la vérité he l’histoire , the erudite Jesuit Henri Griffet compared the historian to a judge who carefully evaluates proofs and witnesses, he was expressing a still-unaddressed intellectual need. Only a few years later Edward Gibbon published his Decline and Fall of the Roman Empire, the first work that effectively combined historical narrative with an antiquarian approach.5 2. See Arnaldo Momigliano, ”History between Medicine and Rhetoric,” Ottavo contributo alla storia degli studi classici e del mondo antico, trans. Riccardo Di Donato , pp. 14-25.3. See Ginzburg, “Montrer et citer.”4. See Momigliano, “Ancient History and the Antiquarian,” Contributo alla storia degli studi classici , pp. 67-106.5. See Henri Griffet, Traité des differentes sortes de preuves qui servent à établir la vérité de l’histoire, 2d ed. . Allen Johnson, in his Historian and Historical Evidence , speaks of the Traité as “the most significant book on method after Mabillon’s De re diplomatic” . See also Momigliano, “Ancient History and the Antiquarian,” p. 81, and Ginzburg, “Just One Witness.” On Gibbon, see Momilgiano, Sesto contributo alla storia degli studi classici e del mondo antico , pp. 231-84. Carlo Ginzburg is Franklin D. Murphy Professor of Italian Renaissance Studies at the University of California, Los Angeles. His two most recent books are Ecstasies: Deciphering the Witches’ Sabbath and Il giudice e lo storico. (shrink)

La textualidad de conferencias y seminarios pronunciados por Enrique Leff en los últimos años, en una errancia iluminada por el Diálogo de Saberes, se transforma en Discursos Sustentables, en una cartografía vital para navegar por las costas del archipiélago complejo de una época, donde todavía las señales, muchas veces signos evanescentes, apenas si son una velada luz amanecida, transida de misterios, cuyas voces iniciales gorjean los sonidos de “una nueva comprensión del mundo y de los pr..

What the present work aimed to achieve is an assessment of the origin an d unity of Husserl s Logical Investigations. My approach was to take the history of its development as fundamental for the determination of its basic structure. Therefore, I proceeded to analyse Husserl s development between the Philosophy of Arithmetic and Logical Investigations with re spect to the fundamental issues in the justification of knowledge in mathematics and logic. In Husserl s own words, one of the concerns (...) that set him on the road to phenomenology was the clarification and analysis of the relation b etween the subjectivity of knowing and the objectivity of knowledge. Fro m my investigations it has, I hope, become apparent how this problem ori ginated in his earliest works and, through various influences and exchanges, led to his theory of intentionality in the first editio n of the Logical Investigations. The Logical Investigations is located between his Brentanist phase and t he ultimate development of transcendental phenomenology. It is the sedim ent of Husserl s logical investigations during the 1890s, which is the m ain period I analysed in the present work. Husserl himself often remarke s on the early origin of some of the issues he tried to deal with in the Logical Investigations. Still in his sketches for a new preface to the second edition of 1913, he took pains to point out the developmental his tory of the work from the Philosophy of Arithmetic onward. Regarding the Philosophy of Arithmetic, more often than not, Husserl remarks that it was just and elaboration of his Habilitationsschrift. Hence, following h is lead, we tried to embrace the whole period of his psychological and l ogical analyses from 1886/7 to 1900/01. Of course, I was certainly not the first, nor will I be the last, to be intrigued by Husserl s development in these years. Numerous books and articles have been written long before mine on precisely these issue s, often dealing with specific topics, such as the uneasy relation of psychology and psychologism in Husserl s work or fundamental inʂ 58;uences such as Bolzano s, which I therefore chose to leave aside. Not simply to duplicate or summarise such pre-existing scholarship, I tried to concentrate on the issues to which I felt I could contribute an orig inal insight, advancing the field. I would like to indicate ᤙ 7;ve points here, where I think I attained this goal: 1. The enduring relevance of Husserl s mathematical ba ckground. 2. Support for an early development of a theory of hig her order objects 3. A better evaluation of Frege s influence 4. A contextualisation of Schuhmann s thesis regarding the relevance of Twardowski for Husserl s notion of intentionality 5. The dependence of the unity of the Logical Investig ations on its historical development. Without understanding its developmental history we would misunderstand i ts internal coherence. In the first part we saw Husserl s early struggle to integrate the mathematical and psychological points of view on the philosophy of math ematics, a struggle that lasted from the Habilitationsschrift at least u p to and including his Doppelvortrag. The basic problem is the justi@ 257;cation of knowledge, in the case of mathematics, the justifica tion of knowledge in formal sciences, obtained with symbolic methods. Su ch problems regarding the subjectivity of knowing and the objectivity of knowledge guided the development of his position from Philosophy of Ari thmetic to Logical Investigations. In articulating his solution Husserl analysed the various relations betw een founding and founded layers of knowledge and whether and how one cou ld pass from on to the other. Already at the time of the Philosophy of A rithmetic he tried to account for higher order acts, relations and objec ts, the mature account of which would have to wait until the Logical Inv estigations and later. Among various influences on his progression towards phenomenology, Frege has been often considered to have provided the conversion to an ti-psychologism with his review of the Philosophy of Arithmetic. I think I have demonstrated that the review is almost entirely irrelevant in th is sense and that we should rather look at a much earlier influenc e on the Philosophy of Arithmetic. By showing that Brentano s conception of intentionality was already more sophisticated than until recently assumed, thanks to some recent public ations of unpublished material from Brentano s and Husserl s Nachlass, I think Schuhmann s thesis is right, but should be reinterpreted as being less radical than it would appear. Both Husserl and Twardowski were in& #64258;uenced by Brentano as his students. Following his and Meinong s l ead, they both elaborated a theory on intentionality, in connection with the other theories of intentionality in his school and the Brentano-Bol zano paradox. Furthermore, by providing a more continuous reading of Hus serl s development through the transcendental turn, I hope to have made clear that his later theory of the noema is not a return to a neo-Twardo wskian triadic position, but a reaffirmation, now in transcendental key, of his 1894 take on the matter. The Logical Investigations are uniquely determined by their historical c ontext in the middle of Husserl s development, falling almost exactly be tween the Habilitationsschrift and the Ideas. Due to their troubled hist ory, including changes in Husserl s earliest position around 1890, the f ailure of the second volume of the Philosophy of Arithmetic, various in& #64258;uences around 1894, and the subsequent reorientation and broadeni ng of his theories to a non-psychologistic logic and mathesis universali s, the Logical Investigations might at first seem to fall apart in two fundamentally disconnected books, the second one of which containin g six heterogeneous studies. It is my contention that it is exactly its troubled history that ties the Logical Investigations together, as Husse rl developed his logical investigations in the 1890s on the basis of a h andful thorny problems, including intentionality as centerpiece. From th e Habilitationsschrift to the Ideas it is the relation between subject a nd object, in all respects, ontological as well as epistemological, that guides his research. The Logical Investigations is a intermediate sedim ent of his struggles, containing an elaboration and improvement of his p osition in his early works and also pointing ahead towards the later pos ition of transcendental phenomenology as an implication and continuation of the solutions he proposes. Furthermore, I tried to address the problem that, while Husserl regarded his Logical Investigations as the breakthrough to phenomenology, many f undamental notions of the later transcendental phenomenology seem to be missing in the first edition of the Logical Investigations. The me thod of the reduction, the notion of a pure ego and a full account of th e noema are at most sketched or implied. Hence, I also looked ahead to t he further development of phenomenology after the Logical Investigations. As Husserl s influence has extended beyond the movement he found ed, I felt I could not bypass his significance for the currently d ominant analytical philosophy. Especially with respect to some of the co re topics of the Logical Investigations, but also earlier themes such as Husserl s semiotics, there is an interest in phenomenology from the ana lytic side. Nevertheless, precisely with regard to the unifying theme of intentionality, analytical philosophy often seems to miss the mark, and spectacularly so. I discussed Searle s influential, but in my opi nion, misguided and flawed approach, and I hope it is clear that I have chosen my method and approach in complete antithesis to his. The central contributions I was able to give, were only possible thanks to solid historical groundwork as necessary prerequisite for systematic analyses. Wherever possible, a reference to the original primary sources was provided, allowing the texts to speak for themselves and providing the reader with the critical instruments to evaluate my interpretations. As Husserl stood in a fruitful exchange with many other scholars, as st udent, colleague, friend and teacher, the intellectual context of his th oughts is essential to a correct understanding of his theories and aims. I hope to have found the right balance in the historical and the system atical aspects of my work to suit the interests of the reader and the re quirements of scholarship. (shrink)

O pequeno estudo do autor trata do tempo na pesquisa psicanalítica implicado no termo e na noção freudianos de nachtraglich e Nachtraglichkeit {effet d'aprêscoup, relance). Serve-se de quatro ilustrações: 1) a noção do jogo olimpico chamado revezamento ; 2) a noção da figura musical de síncope, quando o segundo tempo é forte e o primeiro, fraco; 3) o conto baseado num divertimento de salão, conhecido como o jogo dos três prisioneiros, do qual Lacan extrai preciosas informações, no seu estudo, "Le (...) temps logique et l'assertion de certitude anticipée, um nouveau sophisme", {Lacan, 1996, p. 197-213), e que pode didaticamente e, para maior comodidade, ser reduzido ao jogo de dois prisioneiros; 4) a noção obtida a partir da decomposição dos termos recordar e erinnern. Fragmentos de conhecimento sobre o tempo, no qual o futuro não é considerado, incita os pesquisadores não psicanalíticos a olhar pela luneta do pesquisador psicanalítico não somente a subjetividade, mas também os efeitos que um tal olhar pode re-produzir no próprio pesquisador no ato da pesquisa anímica. (shrink)