Much has been made of the Kierkegaardian flavour of Wittgenstein's thought on religion, both with respect to its explicit allusions to Kierkegaard and its implicit appeals. Even when significant disparities between the two are noted, there remains an important core of de facto methodological agreement between them, addressing the limits of theory and the dispelling of illusion. The categories of ‘nonsense’ and ‘paradox’ are central to Wittgenstein's therapeutic enterprise, while the categories of ‘paradox’ and the ‘absurd’ are central to much (...) of Kierkegaard's attempt to dispel religious illusion. Writing of how the ‘urge to thrust against the limits of language’ yields ‘nonsense’, Wittgenstein explicitly appealed to Kierkegaard: ‘Kierkegaard, too, recognized this thrust and even described it in much the same way ’. 1 I want to consider whether Kierkegaard's category of paradox of the absurd is assimilable to Wittgenstein's view of nonsense and paradox. I shall argue that a consideration of Wittgenstein's view of paradox can highlight contrasting strands in Kierkegaard's writings on religious faith, strands which take paradox more or less strictly – in particular, it can clarify several different opinions concerning the status of religious claims. My exploration will bring to the fore some implications of the attempt to make room, in the religious employment of language, for a ‘higher understanding’ of truths which we are said to be able to grasp but cannot express. (shrink)
Søren Kierkegaard and John Henry Newman have starkly opposed formulations of the relation between faith and reason. In this essay I focus on a possible convergence in their respective understandings of the transition to religious belief or faith, as embodied in metaphors they use for a qualitative transition. I explore the ways in which attention to the legitimate dimension of discontinuity highlighted by the Climacan metaphor of the ‘leap’ can illuminate Newman's use of the metaphor of a ‘polygon inscribed in (...) a circle’, as well as the ways in which Newman's metaphor can illuminate the dimension of continuity operative in the Climacan appreciation of qualitative transition. (shrink)
The present paper stems from the biosemiotic modelling of individual artificial cognition proposed by Ferreira and Caldas (2012) but goes further by introducing the concept of Umwelt Overlap. The introduction of this concept is of fundamental importance making the present model closer to natural cognition. In fact cognition can only be viewed as a purely individual phenomenon for analytical purposes. In nature it always involves the crisscrossing of the spheres of action of those sharing the same environmental bubble. Plus, (...) the incorporation of that concept is vital to understand the complex semiosis that sustains collective tissues, societies, regulating collective cognition and consequently cooperative action. The concept of Umwelt Overlap broadens the range of applicability of the previous model to several distinct domains allowing for example for its application to multi-agent cooperative autonomous systems. In this paper a Middle Size League RoboCup soccer team is used as an example of a possible application. (shrink)
Stemming from Uexkull’s fundamental concepts of Umwelt and Innenwelt as developed in the biosemiotic approach of Ferreira 2010, 2011, the present work models mathematically the semiosis of cognition and proposes an artificial cognitive architecture to be deployed in a robotic structure.
The dynamics inherent to the life activity of all living systems presents itself in the form of regular patterns viewed by the observer as taking place in an extended timeline. Routines, rituals and celebrations, each in their own way, are defined by the typical cyclical behavioural patterns exhibited by individuals embedded in specific semiospheres. The particular nature of these semiospheres will determine the distinct patterns of behaviour to be adopted in different life contexts so that existential functions are fulfilled. The (...) restricted and protected family circle normally provides the initial learning environment where the definition of the individual’s Umwelt (von Uexküll 1909, 1934; Ferreira, Biosemiotics 3(1):107–130, 2010, 2011) his/her meaningful world, starts to take shape. This learning process comprehends the progressive identification of distinct physical entities, the development of basic patterns of physical and social behaviour- the incorporation of basic routines and the assignment of meaning to particular events. (shrink)
Charting the development of the British tradition of naturalism from the 17th to the 19th century, this book provides fascinating insight into a wide range of thinkers, both Catholic and Protestant, who explored the themes of proof, practice, and the role of common sense. Reappraising what these thinkers can teach us about the relations between belief, action, and skepticism, Ferreira contributes to the philosophical study of naturalist replies to skepticism, as well as to a deeper appreciation of this particular (...) segment of British intellectual history. (shrink)
SENA, Luzia (Org.). Ensino religioso e formação docente . (Religious teaching and teacher qualification) Amauri Carlos Ferreira SANGENIS, Luiz Fernando Conde. Gênese do pensamento único em educação: franciscanismo e jesuitismo na história da educação brasileira. (Genesis of an only thought in education: franciscanism and Jesuitism in the history of Brazilian education) Antônio Francisco da Silva TREVISAN, A. Santo Tomás de Aquino – O Credo: tradução, prefácio, introdução e notas. (Saint Thomas of Aquinas – The Creed: translation, preface, introduction and (...) notes) Ivonei Antônio de Oliveira BENELLI, Sílvio José. Pescadores de homens. Estudo psicossocial de um seminário católico. (Fishers of men. A psycho-social study of a Catholic seminary) João Batista Libanio ESTRADA, Juan Antonio. A impossível teodicéia: a crise de fé em Deus e o problema do mal. (The impossible theodicy: the crisis of faith in God and the problem of evil) Lindomar Rocha Mota USARSKI, Frank. Constituintes da Ciência da Religião: cinco ensaios em prol de uma disciplina. (Constituents of the science of religion: five essays on behalf of a discipline) Roberlei Panasiewicz CONGAR, Yves. Ele é o Senhor e dá a vida. (He is the Lord and bestows life) Roberlei Panasiewicz. (shrink)
In this paper architectural forms are presented as symbolic forms issued from the complex semiosis that characterises human cognition (Ferreira (2007, 2010)). Being semiotic objects, these symbolic forms are, consequently, context- dependent_they emerge and have meaning, i.e., they are assigned a functional and/or aesthetic value, in particular physical, social and cultural frameworks. As it happens with all semiotic objects, architectural forms, whatever their nature, are not static but highly interactive. In fact, they act as agents of specific semiotic processes, (...) engaged in a permanent dialectic relationship with the environment they are embedded in. From this dialectics important physical, social, cultural and economic changes frequently arise, redefining this way the original framework for decades to come. As Pallasmaa (2009) points out: “Architecture is existentially rooted, and it expresses fundamental existential experiences, the complex condensation of how it feels to be human being in this world. Architecture grounds and frames existence and creates specific horizons of perception, understanding and identity.” Architecture happens in the context of particular landscapes both natural and man-made, individuating spaces, assigning them an identity, turning the frequently undifferentiated physical environment into “locus”, “place”, “site”, “ort”, definitely contributing to the definition of the mental map that individual minds are able to share collectively. The fundamental role played by architectural forms in the definition of “place” and identity and in the shaping or reshaping of a physical, social and cultural environment is analysed in this paper through a case study that observes the consequences of this dynamics in the development of the social and cultural tissue of a particular city. (shrink)
Phillip Ferreira - Perfectionism and the Common Good: Themes in the Philosophy of T.H. Green - Journal of the History of Philosophy 43:3 Journal of the History of Philosophy 43.3 369-370 David O. Brink. Perfectionism and the Common Good: Themes in the Philosophy of T. H. Green. Oxford: Clarendon Press, 2003. Pp. xiv + 139. Cloth, $27.50. The British idealists have not fared well during the past century. Still, there has been in recent years a renewed interest in the (...) movement's principal figures: F. H. Bradley and T. H. Green. And, while Bradley's polemical style has found a wider audience, Green's work—especially his Principles of Political Obligation—appears to have had the steadier following. Lesser known than Green's political writing, though, is his longer and more difficult Prolegomena to Ethics. And David O. .. (shrink)
COSTA, Alexandre da. Fundamentos da bioética: estudo sobre o pensamento de Hugo Tristram Engelhardt Jr. FERREIRA, Amauri Carlos. O imaginário religioso e modos de vida urbana: experiência e memória da Juventude Católica em Belo Horizonte – MG, anos 80. GONÇALVES, Davidson Sepini. O Panóptico de Jeremy Bentham: por uma leitura utilitarista. GÓIS, Aurino José. Parque Municipal de Belo Horizonte: público, apropriações e significados. FARIA, Paulo Antônio Couto. Teologia no limiar da filosofia: a modernidade e o encontro fé e razão (...) na obra de Henrique Cláudio de Lima Vaz. (shrink)
We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (shrink)
Machery argues that concepts do not constitute a natural kind. We argue that this is a mistake. When appropriately construed, his discussion in fact bolsters the claim that concepts are a natural kind.
It is well known that Frege's system in the Grundgesetze der Arithmetik is formally inconsistent. Frege's instantiation rule for the second-order universal quantifier makes his system, except for minor differences, full (i.e., with unrestricted comprehension) second-order logic, augmented by an abstraction operator that abides to Frege's basic law V. A few years ago, Richard Heck proved the consistency of the fragment of Frege's theory obtained by restricting the comprehension schema to predicative formulae. He further conjectured that the more encompassing Δ₁¹-comprehension (...) schema would already be inconsistent. In the present paper, we show that this is not the case. (shrink)
In “Judy Benjamin is a Sleeping Beauty” (2010) Bovens recognises a certain similarity between the Sleeping Beauty (SB) and the Judy Benjamin (JB). But he does not recognise the dissimilarity between underlying protocols (as spelled out in Shafer (1985). Protocols are expressed in conditional probability tables that spell out the probability of coming to learn various propositions conditional on the actual state of the world. The principle of total evidence requires that we not update on the content of the proposition (...) learned but rather on the fact that we learn the proposition in question. Now attention to protocols drives a wedge between the SB and the JB. We have shown that the solution to a close variant of the SB which involves a clear protocol is P*(Heads) = 1/3 and since Beauty’s has precisely the same information at her disposal in the original SB at the time that she is asked to state her credence for Heads, the same solution should hold. The solution to the JB, on the other hand, is dependent on Judy’s probability distribution over protocols. One reasonable protocol yields P(Red) = 1/2, but Judy could also defend alternative values or a range of values in the interval [1/3, 1/2] depending on her probability distribution over protocols. (shrink)
Take as basic references some reflections of the philosopher Martin Heidegger about the planetary domain technique to show a shortage of time marked by the end of philosophy as metaphysics by its achievement in technical sciences. It also explains how this end of philosophy in the age of planetary domain technique can be the starting point for a new beginning of thinking, thinking beyond the limits of calculative thinking. In the concluding part of the article seeks to determine the character (...) and the task that would fit into this new way of thinking and knowing that we approach things as they are. (shrink)
We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.
It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...) a novel and perspicuous proof of the strong normalization property for the full intuitionistic propositional calculus. It is noticed that this novel proof bestows a crucial role to $\eta$-conversions. (shrink)
Every model of IΔ0 is the tally part of a model of the stringlanguage theory Th-FO . We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of IΔ0 + ¬exp is a proper initial segment of a model of Th-FO and that a modicum of bounded collection is true in these models.
We present a functional interpretation of Peano arithmetic that uses Gödel’s computable functionals and which systematically injects uniformities into the statements of finite-type arithmetic. As a consequence, some uniform boundedness principles are interpreted while maintaining unmoved the -sentences of arithmetic. We explain why this interpretation is tailored to yield conservation results.
The surprise exam paradox has attracted the attention of prominent logicians, mathematicians and philosophers for decades. Although the paradox itself has been resolved at least since Quine, some aspects of it are still being discussed. In this paper we propose, following Sober, to translate the paradox into the language of game theory to clarify these aspects. Our main conclusions are that a much simpler game?theoretic analysis of the paradox is possible, which solves most of the puzzles related to it, and (...) that this way of analysing the paradox can also throw light on our comprehension of the pragmatics of linguistic communication. (shrink)
In "'Yes" and "No'" (2000), Ian Rumfitt proposed bilateralism--a use-based account of the logical words, according to which the sense of a sentence is determined by the conditions under which it is asserted and denied. One of Rumfitt's key claims is that bilateralism can provide a justification of classical logic. This paper raises a techical problem for Rumfitt's proposal, one that seems to undermine the bilateralist programme.
This paper develops the very basic notions of analysis in a weak second-order theory of arithmetic BTFA whose provably total functions are the polynomial time computable functions. We formalize within BTFA the real number system and the notion of a continuous real function of a real variable. The theory BTFA is able to prove the intermediate value theorem, wherefore it follows that the system of real numbers is a real closed ordered field. In the last section of the paper, we (...) show how to interpret the theory BTFA in Robinson's theory of arithmetic Q. This fact entails that the elementary theory of the real closed ordered fields is interpretable in Q. (shrink)
We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak König's lemma. We discuss some applications, as well as some previous results in the literature.
A life form and its environment constitute an essential unit, a microcosm. This microcosm is sustained by a privileged dialectic relationship in which the embedded agent- an entity endowed with a particular physical architecture- and its specific environment, coupled, mutually influence each other. Identical principles rule both the basic forms of semiotic organisation and the upper forms. When we distinguish these two levels of semiotic structuring we are distinguishing the semiotic relations that involve a stimulus-response relationship, which is dyadic in (...) nature, from those that involve a more complex relationship where the capacity of symbolically encoding allows organisms to go beyond the immediacy of sensory awareness. However in all instances of semiotic structuring, there is the presence of a living system that evolves in an environment individuating and assigning a value to typical environmental features. Acknowledging this fact is crucial: the inquiry into how elemental life forms interact with their environments leads to the identification of the fundamental role played by the physical architecture of the agent and sheds light on the semiotic process that is common to all life forms, ultimately highlighting the very nature of meaning and reality. (shrink)
Empirical reports on scientific competition show that scientists can be depicted as self-interested, strategically behaving agents. Nevertheless, we argue that recognition-seeking scientists will have an interest in establishing methodological norms which tend to select theories of a high epistemic value, and that these norms will be still more stringent if the epistemic value of theories appears in the utility function of scientists, either directly or instrumentally. (Published Online July 11 2006) Footnotes1 The author gratefully acknowledges financial support from DGI grant (...) BEC2002-03715 (Ministerio de Educación y Cultura). 2 The author gratefully acknowledges financial support from grants PB98-0495-C08-01 and BFF2002-03656 (Ministerio de Educación y Cultura). (shrink)
We welcome the proposal to use forward models to understand predictive processes in language processing. However, Pickering & Garrod (P&G) miss the opportunity to provide a strong framework for future work. Forward models need to be pursued in the context of learning. This naturally leads to questions about what prediction error these models aim to minimize.
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this (...) extended system. (shrink)
In the course of ten short sections, we comment on Gödel's seminal dialectica paper of fifty years ago and its aftermath. We start by suggesting that Gödel's use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics, in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel's recasting of intuitionistic arithmetic via the dialectica interpretation, discuss the extra principles that (...) the interpretation validates and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the dialectica and related interpretations for extracting computational information from ordinary proofs in mathematics. (shrink)