In a hydrocarbon exploration workflow, marine controlled-source electromagnetic data are usually acquired after seismic interpretation for prospect identification and close-to-the-drilling decision making. Therefore, the mCSEM interpreter must provide quick answers to the asset teams in a way that the EM interpretation can add value to that decision. To achieve that goal, Petrobras developed a fast-track mCSEM interpretation workflow that consists in identifying anomalies in the mCSEM data set by frequency normalization, and then performing 1D CMP inversions followed by 2.5D polygonal (...) inversions. The proposed workflow was successfully applied to several mCSEM surveys offshore Brazil. We evaluated an application in a complex geologic setting where the reservoir dips toward allochthonous salt. The reservoir appears as a flat spot in the seismic section, but with no significant amplitude variation with offset response. The mCSEM analysis confirmed the seismic anomaly and extended it northward. Two drilled wells corroborated the mCSEM interpretation. (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)

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)

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)

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)

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.

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)

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)

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)

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.

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)

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.

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 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.

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 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)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

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)

The research team measured the enterprise web accessibility levels of the Forbes 250 largest enterprises using the fully automatic accessibility evaluation tool Sortsite, and presented the compliance of the evaluated websites to WCAG 1.0, WCAG 2.0 and Section 508 accessibility levels. Given the recent attention to organizational leaders having ethical duties towards their dedicated employees, we propose that ‘societal citizenship behaviour’ concerns ethical duties of organizational leaders towards society in general and in particular to those who have less means to (...) assert their needs. In effect, we found enterprise website accessibility levels to be in need of significant improvement. An interpretation of a positive path forward to better enterprise website accessibility levels is put forth based on a focus-group interaction and using BNML—a novel Business Narrative Modelling Language. (shrink)

Kierkegaard's "Works of Love" provocatively presses for a reconsideration of impartiality, partiality, and equality. Past readings of this text have typically (1) criticized its focus on the abstract category of "human being," ignoring its attention to distinctiveness and difference; (2) defended it from the charge of abstraction by accenting its treatment of distinctiveness and difference, playing down its assumptions about the "essentially" human; (3) acknowledged its emphases on both essence and difference, arguing that they are incompatible and irreconcilable; or (4) (...) acknowledged both emphases, assuming they are compatible without exploring or accounting for the apparent incompatibility. As a means of resolving this seeming inconsistency, I will focus on Kierkegaard's recommendation of moral blindness and its implications for moral vision, and I will argue that "Works of Love" contains resources for an understanding of impartiality that allows moral attention to concrete difference. (shrink)