The present paper explores the role of motivation to observe a certain outcome in people’s predictions, causal attributions, and beliefs about a streak of binary outcomes. In two studies we found that positive streaks lead participants to predict the streak’s continuation, but negative streaks lead to predictions of its end. More importantly, these wishful predictions are supported by strategic attributions and beliefs about how and why a streak might unfold. Results suggest that the effect of motivation on predictions is mediated (...) by a serial path via causal attributions to the teams at play and belief in the hot hand. (shrink)
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)
A resenha expõe o trabalho do autor - Valdinei Aparecido Ferreira, o qual faz a conceituação de Protestantismo e Modernidades nos principais expoentes da sociologia clássica e contemporânea. Aplicando estes conceitos para o século XX na América Latina e, principalmente no Brasil, trabalhando com a implantação do protestantismo no Brasil e sua influência.
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)
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.
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.
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)
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)
Let be the fragment of elementary Peano arithmetic in which induction is restricted to -formulas. More than three decades ago, Parsons showed that the provably total functions of are exactly the primitive recursive functions. In this paper, we observe that Parsons' result is a consequence of Herbrand's theorem concerning the -consequences of universal theories. We give a self-contained proof requiring only basic knowledge of mathematical logic.
Any complete theory of lexical access in production must address how words are produced in prosodic contexts. Levelt, Roelofs & Meyer make some progress on this point: for example, they discuss resyllabification in multiword utterances. I present work demonstrating that word articulation takes into account overall prosodic context. This research supports Levelt et al.'s hypothesized separation between metrical and segmental information.
Levinas's ethics of other-centered service has been criticized at the theoretical level for failing to offer a conception of moral agency adequate to ground its imperative and at the practical level for encouraging self-hatred. Levinas's explicit resistance to the incorporation of the phrase "as yourself" in the Judaeo-Christian love command might seem to validate the critics' complaints. The author argues, on the contrary, that Levinas does offer a strong and compelling conception of moral agency and that his ethics, properly understood, (...) does not entail self-abnegation. Levinas's attempt to counter excessive and manipulative self-concern and self-inflation by insisting on the dependent and situational position of the self has been wrongly overinterpreted as an abandonment of the self and its just claims. The author seeks to establish a more balanced understanding by focusing attention on the "ethics of welcome," on Levinas's distinctive conception of passivity, and on the role of "the third" in all human relations. (shrink)
Pickering & Garrod's (P&G's) mechanistic theory of dialogue is a major advance for psycholinguistics. But the commitment to representational parity in production and comprehension is problematic. Recent research suggests that speakers frequently produce a structure that listeners find ungrammatical and have trouble understanding. If the grammars of the two systems are different, then the assumption of representational parity must be relaxed.
Recently, Feferman and Hellman (and Aczel) showed how to establish the existence and categoricity of a natural number system by predicative means given the primitive notion of a finite set of individuals and given also a suitable pairing function operating on individuals. This short paper shows that this existence and categoricity result does not rely (even indirectly) on finite-set induction, thereby sustaining Feferman and Hellman's point in favor of the view that natural number induction can be derived from a very (...) weak fragment of finite-set theory, so weak that finite-set induction is not assumed. Many basic features of finiteness fail to hold in these weak fragments, conspicuously the principle that finite sets are in one-one correspondence with a proper initial segments of a (any) natural number structure. In the last part of the paper, we propose two prima facie evident principles for finite sets that, when added to these fragments, entail this principle. (shrink)
Cognition or higher brain activity is sometimes seen as a phenomenon greater than the sum of its parts. This viewpoint however is largely dependent on the state of the art of experimental techniques that endeavor to characterize morphology and its association to function. Retinal ganglion cells are readily accessible for this work and we discuss recent advances in computational techniques in identifying novel parameters that describe structural attributes possibly associated with specific function. These parameters are based on calculating wavelet gradients (...) from cell images followed by the extraction of meaningful measures including 2nd wavelet moment, entropy of orientation, and curvature. For the three cell types analyzed, the mean 2nd wavelet moment, which relates to the field of influence of the dendritic-tree segments was significantly different. cells had the highest mean 2nd wavelet moment, followed by the and cells (134 ± 22, 93 ± 19 and 63 ± 12, respectively). There was no significant difference between cells for entropy of orientation, indicating no class with a preferential orientation of their dendritic tree. Curvature provided similar results to the 2nd wavelet moment with cells having the highest curvature followed by and the cells (mean ± SD: 161 ± 15; 134 ± 22; 121 ± 15). Our feature space analysis also indicated a difference between these cell types. No difference was found between the and cell types and their physiological counterparts the Y and X cells based on wavelet analysis. Both the X and Y cells can be divided into two subtypes, the ON- and OFF-center cells based on the stratification level of the dendritic tree within the retina. Using 2nd wavelet moment, a difference in their morphological attributes, not reported previously, was noted for these subtypes. The 2nd wavelet moment and curvature are further discussed with respect to explaining regularity of spacing and coverage associated with retinal ganglion cell mosaics. (shrink)
A separation between interpretive and post-interpretive processes is central to Caplan & Waters's theory of language comprehension. This commentary raises some issues that are intended to help sharpen the distinction.
Levelt, Roelofs & Meyer present a comprehensive and sophisticated theory of lexical access in production, but we question its reliance on binding-by-checking as opposed to binding-by-timing and we discuss how the timing of retrieval events is a major factor in both correct and errorful production.