In this paper I draw together the notion of the absent referent as proposed by Carol J. Adams, and the notions of literal and symbolical sacrifice by eating the other — or ingestion — advanced by Jacques Derrida, to characterize how animals are commonly perceived, which ultimately forbids productive arguments for vegetarianism. I discuss animals as being literally and definitionally absent referents, and I argue, informed by Derrida’s philosophy, that it is impossible to aim at turning them into present referents (...) without reinforcing symbolic ingestion by linking symbolic ingestion to epistemic appropriation or conceptualization. With this, I highlight the ethical importance of discussing symbolic ingestion in animal philosophy. (shrink)

Religious discourse is one of the instruments that are often used by the dominant class (the majority, who are in power) to carry out a symbolic violence mechanism against the dominated class (the minority, who are ruled). For example, through religious discourses that seem plural and open, the power and domination of the dominant class are continuously perpetuated. This study aims to analyze the symbolic violence that occurs in religious discourse in Indonesia, especially in the study of religion, (...) by reviewing the discourse of “agama vs. kepercayaan” and “moderasi beragama”. The symbolic violence referred to here is, according to Pierre Bourdieu's theory, violence that does not appear asviolence and is latent. Victims of this type of violence do not feel that they are victims ofviolence as if what happened was natural and it should have been. This study also argues that symbolic violence in religious discourse in Indonesia is widely produced in educational institutions, especially through the hands of academics, because through educational institutions, discourses of “agama vs. kepercayaan” and “moderasi beragama” are formulated and then implemented in government policies, as if the discourse has accommodated all religions and beliefs, but only perpetuates the way of thinking and tastes of the dominant class. In short, this study argues that religious discourses such as “agama vs. kepercayaan” and “moderasi beragama” are produced by the dominant class through educational institutions and so on and produce symbolic violence. (shrink)

In ‘‘Why brains matter: an integrational perspective on The Symbolic Species’’ Cowley (2002) [Language Sciences 24, 73–95] suggests that Deacon pictures brains as being able to process words qua tokens, which he identifies as the theory’s Achilles’ heel. He goes on to argue that Deacon’s thesis on the co-evolution of language and mind would benefit from an integrational approach. This paper argues that Cowley’s criticism relies on an invalid understanding of Deacon’s use the concept of ‘‘symbolic reference’’, (...) which he appropriates from Peirce’s semiotic. Peirce’s analysis as well as Deacon’s appropriation will be examined in detail. Consequently it will be argued that an integrationist reading would add very little to Deacon’s core thesis. (shrink)

I here investigate the sense in which diagonalization allows one to construct sentences that are self-referential. Truly self-referential sentences cannot be constructed in the standard language of arithmetic: There is a simple theory of truth that is intuitively inconsistent but is consistent with Peano arithmetic, as standardly formulated. True self-reference is possible only if we expand the language to include function-symbols for all primitive recursive functions. This language is therefore the natural setting for investigations of self-reference.

In this paper I argue against a deflationist view that as representational vehicles symbols and models do their jobs in essentially the same way. I argue that symbols are conventional vehicles whose chief function is denotation while models are epistemic vehicles whose chief function is showing what their targets are like in the relevant aspects. It is further pointed out that models usually do not rely on similarity or some such relations to relate to their targets. For that referential relation (...) they reply instead on symbols (names and labels) given to them and their parts. And a Goodmanian view on pictures of fictional characters reveals the distinction between symbolic and model representations. (shrink)

This paper presents a mutual confrontation of the oeuvres of Pierre Teilhard de Chardin (1881–1955) and Jacques Lacan (1901–1980), highlighting their relevance for the planetary challenges we are facing today. I will present their views on technoscience, environmental pollution and religious faith, focussing on human genomics as a case study. Both authors claim that technoscience reflects a tendency towards symbolisation: incorporating the biosphere (liv- ing nature) into the “symbolic order’ (Lacan) or ‘noosphere’ (Teilhard). On various occasions, Lacan refers to (...) Teilhard’s concept of the hominization of the planet and their dialogue culminates in a ‘final conversation’ between Teilhard and Lacan in 1954, during a reception organised by the journal Psyché. I will conclude that the Teilhard-Lacan dialogue is highly relevant for current debates concerning the Anthropocene, as a moment of global awakening and global crisis. Processes of hominization allowed humans to become literate beings, littering the planet as well: humans as literate litterers. Whereas Teilhard argues that technoscience and self-direc- ted evolution are about to culminate in what he refers to as point Omega, Lacan rather stresses the hazards involved in this optimistic desire towards all-encompassing synthesis, unification and fulfilment. (shrink)

Kant uses the concept of the symbol to show the complicated relationship between the autonomy of beauty and its systematic function as a transition from nature to freedom, which are the two most important topics in the third Critique. Beauty’s symbolism of morality lies in the analog between aesthetic reflection and moral disposition; concretely, it lies in the purity or disinterestedness and self-legislation as negative and positive freedom in both subjective states of mind. In this scenario, beauty’s symbolism does not (...) refer to aesthetic ideas that either involve intelligent interests (in the beauty of nature) or presuppose an end (in the beauty of art); it also cannot be grounded in the supersensible substrate, which is an elevated and metaphysical principle of the judgment of taste given in the Dialectic but not the original principle of subjective purposiveness in the Analytic. With this formal relationship, beauty and morality accelerate each other in the empirical-anthological sense—but they are also not a sufficient or necessary condition for each other. Furthermore, through symbolism, taste looks toward the intelligible and serves as a transition from nature to freedom from the transcendental perspective. (shrink)

In ethical reflections on new technologies, a specific type of argument often pops up, which criticizes scientists for “playing God” with these new technological possibilities. The first part of this article is an examination of how these arguments have been interpreted in the literature. Subsequently, this article aims to reinterpret these arguments as symbolic arguments: they are grounded not so much in a set of ontological or empirical claims, but concern symbolic classificatory schemes that ground our value judgments (...) in the first place. Invoking symbolic arguments thus refers to how certain new technologies risk undermining our fundamental symbolic distinctions by which we organize and evaluate our interactions with the world and in society. Such symbolic distinctions, moreover, tend to be resilient against logical argumentation, mainly because they themselves form the basis on which we argue in the cultural and ethical sphere in the first place. Therefore, effective strategies to evaluate and counter these arguments require another approach, showing that these technologies either do not challenge these classifications or, if they do, how they can be accompanied by the proper actions to integrate these technologies into our society. (shrink)

Susan Stebbing’s work on incomplete symbols and analysis was instrumental in clarifying, sharpening, and improving the project of logical constructions which was pivotal to early analytic philosophy. She dispelled use-mention confusions by restricting the term ‘incomplete symbol’ to expressions eliminable through analysis, rather than those expressions’ purported referents, and distinguished linguistic analysis from analysis of facts. In this paper I explore Stebbing’s role in analytic philosophy’s development from anti-holism, presupposing that analysis terminates in simples, to the more holist or foundherentist (...) analytic philosophy of the later 20th century. I read Stebbing as a transitional figure who made room for more holist analytic movements, e.g., applications of incomplete symbol theory to Quinean ontological commitment. Stebbing, I argue, is part of a historical narrative which starts with the holism of Bradley, an early influence on her, to which Moore and Russell’s logical analysis was a response. They countered Bradley’s holist reservations about facts with the view that the world is built up out of individually knowable simples. Stebbing, a more subtle and sympathetic reader of the British idealists, defends analysis, but with important refinements and caveats which prepared the way for a return to foundherentism and holism within analytic philosophy. (shrink)

In this paper we propose the notion of “subjective reference” as a conceptual tool that explains how and why human-robot sexual interactions could reframe users approach to human-human sexual interactions. First, we introduce the current debate about Sexual Robotics, situated in the wider discussion about Social Robots, stating the urgency of a regulative framework. We underline the importance of a social-relational approach, mostly concerned about Social Robots impact in human social structures. Then, we point out the absence of a (...) precise framework conceptualizing why Social Robots, and Sexual Robots in particular, may modify users’ sociality and relationality. Within a psychological framework, we propose to consider Sexual Robots as “subjective references”, namely objects symbolically referring to human subjects: we claim that, for the user experience, every action performed upon a Sexual Robot is symbolically directed toward a human subject, including degrading and violent practices. This shifting mechanism may transfer the user relational setting from human-robot interactions to human-human interactions. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the (...) role of these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

During the Fifties and the Early Sixties Hans Jonas developed a theory of man based on a series of concepts as separation of form from matter, image and symbol. By reflecting on these themes, Jonas seems to refer to the aesthetic abilities man embodies as the essence of human life. In this article I try to analyse Jonas’ thoughts on man and to determine to what extent it is possible to consider his theory as an aesthetic anthropology. Eventually, I discuss (...) what Aesthetics may win by directing its attention to this author. (shrink)

Kant says that it can be rational to accept propositions on the basis of non-epistemic or broadly practical considerations, even if those propositions include “transcendental ideas” of supersensible objects. He also worries, however, about how such ideas (of freedom, the soul, noumenal grounds, God, the kingdom of ends, and things-in-themselves generally) acquire genuine positive content in the absence of an appropriate connection to intuitional experience. How can we be sure that the ideas are not empty “thought-entities (Gedankendinge)”—that is, speculative fancies (...) that do not and perhaps even cannot have referents in reality? In this paper I argue for an account of the fundamental problem here (i.e. that it is based in a concern about whether or not the objects of such ideas are "really possible" in Kant's technical sense). I then critically evaluate Kant's three proposed solutions to the problem. The third one involves an appeal to the complicated doctrine of "symbolization" that becomes prominent in Kant's later works. -/- . (shrink)

This article proposes to read John Banville’s The Book of Evidence, a crime story narrated from the protagonist’s first-person gaze, from a Lacanian perspective by referring to his mirror stage theory. As an extension of testimonial literature, the novel is deemed to be a narrative of introspective self-examination, thus introducing a creation of “the self” paralleling the text. The protagonist’s mnemonic narrative is accompanied by the idea of an alternative world of not only self-expression but also self-depiction and presentation, as (...) in Lacan’s Imaginary. This self-creation, however, may not be as innocent as it seems. The reason for this is that although the mirror phase involves a transition from the Imaginary to the Symbolic, it presupposes the role of the other, biologically (m)other, in order to accustom the subject to the law of society. However, just because the protagonist, Freddie, mentions his mother’s presence as “nothing,” there is no soothing force for his adaptation to societal laws. Here, Freddie is subject to what Lacan sees as a minor prototype who lives in a society and yet is attached to his own rules, which is the first principle of male violence associated with this novel. Therefore, this article also tries to find answers for Freddie’s performance of male violence within the axis of psychoanalytic postulations elaborated on Lacan’s identity theory. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational (...) model of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

In theological sources, many symbols are used to explain the transcendent truths of existence. Among the shapes, the circle has the most use of a symbol which is important for Religious, philosophers, and mystics. However, what is refer mostly to the shape of a circle is the rotation of a circular line that begins at a point on a surface and ends at the same point; then, the most superficial and intermediate symbols of facts are explained with it. Contrary, the (...) present article proposes a novel way of drawing a circle, and with this approach, examines some philosophical concepts. We call this drawing "Boiling Circle", because, the rays are coming out boiling from the center. We also have analyzed and introduced a unique example of a mystical-philosophical-religious Architectural building, during which a circular spring has been built. Its water comes out boiling of the center and fills the five circles within itself and twelve eyes around it. This article begins with the drawing of a boiling circle, continues with explaining the philosophical symbols of the boiling circle and boiling spring according to Islamic mysticism, and ends with comparing and expressing the differences between the symbols of the two circles. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

In sensorimotor integration, representation involves an anticipatory model of the action to be performed. This model integrates efferent signals (motor commands), its reafferent consequences (sensory consequences of an organism’s own motor action), and other afferences (sensory signals) originated by stimuli independent of the action performed. Representation, a form of internal modeling, is invoked to explain the fact that behavior oriented to the achievement of future goals is relatively independent from the immediate environment. Internal modeling explains how a cognitive system achieves (...) its goals despite variations in the environment with insufficient and noisy sensory–perceptual data. In a self that acts intentionally on the environment, knowledge is dependent upon the necessity to guide actions directed toward an aim. The self-inner model, a representation of internal and external environments (including reafferent and afferent messages) and also of the behavior plans and desirable future states (aims) and efferent intentions (motor planning and motor command messages), is intrinsically linked to a thinking capacity, which is supposed to emerge from the binding of multiple influences. Thinking emerges when higher behavior strategies are considered possible and capable of leading to aims or the fulfillment of intentions. In this model, symbolization processes are projective and anticipatory and, in this way, beyond present referents. Symbolization occurs linked to action planning, command, and regulation in mental simulation. Meaning is related to an inner sense of a self that acts over the environment. (shrink)

In 2009, a law was passed in the Danish parliament, according to which judges cannot wear religious symbols in courts of law. First, I trace the development of this legislation from resistance to Muslim religious practices on the nationalist right to ideas in mainstream Danish politics about secularism and state neutrality – a process I refer to as ‘liberalization’. Second, I consider the plausibility of such liberal justifications for restrictions on religious symbols in the public sphere and, in particular, for (...) the ban on the wearing of religious symbols by judges. I argue that such justifications are flawed and so are not plausible corollaries of anti-Islamic justifications originating on the nationalist right. (shrink)

I present a general metaphysical framework for any formal system that works with truth-values. To establish such a framework, I start with the notion of absolute nothingness, from which I construct a nothingness which is akin to the notion of an empty set in mathematics. Then I provide a formal system that its ability to produce symbols is an integral property and an inseparable part of its metaphysics.

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

Paleontological evidence suggests that human artefacts with intentional markings might have originated already in the Lower Paleolithic, up to 500.000 years ago and well before the advent of ‘behavioural modernity’. These markings apparently did not serve instrumental, tool-like functions, nor do they appear to be forms of figurative art. Instead, they display abstract geometric patterns that potentially testify to an emerging ability of symbol use. In a variation on Ian Hacking’s speculative account of the possible role of “likeness-making” in the (...) evolution of human cognition and language, this essay explores the central role that the embodied processes of making and the collective practices of using such artefacts might have played in early human cognitive evolution. Two paradigmatic findings of Lower Paleolithic artefacts are discussed as tentative evidence of likenesses acting as material scaffolds in the emergence of symbolic reference-making. They might provide the link between basic abilities of mimesis and imitation and the development of modern language and thought. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

In "The Incoherence of Whitehead’s Theory of Perception" (PS 9:94-104), Robert H. Kimball tries to show how Alfred North Whitehead’s account of perception is a failed attempt to reconcile two traditional theories of perception: phenomenological (or sense-data) theory and causal (or physiological) theory. Whitehead fails, Kimball argues, in two main ways. First because his notion of symbolic reference requires the simultaneous enjoyment of perceptions in the mode of presentational immediacy and causal efficacy. Kimball believes this experience is, in (...) principle, impossible and supports this claim by attacking Whitehead’s conception of causal efficacy and the experiential evidence used to support it. Whitehead’s second failure results from the first: Whitehead’s erroneous belief in the simultaneous enjoyment of the two modes of perception leads him to construct a theory of perception which is composed of two contradictory parts: realism and mediatism. In this essay, I will examine Kimball’s attack on causal efficacy and symbolic reference and show why Whitehead’s theory of perception is not susceptible to Kimball’s charge of incoherence. (shrink)

The original interest of this article lies in existential import. It provides a broader view on the problem by reference to modern, symbolic logic (ch.1). Gradually, however, our interest will change into the amalgamated expressions often used in logic; that is, why are such expressions as “x is a round triangle” applied in logic? We critically discuss this question from an extensional viewpoint, namely model theoretic semantics (ch.2). We also touch on Church’s λ-calculus in the appendix (app.2).

The paper aims to show that by abstracting from a specific mythical historical- stylistic context and “ideation” of the notion of the Proto-Slavic deities Perun and Veles, especially in Croatian tradition, symbolic archetypes and abstract notions of form and primordial matter (materia prima) can be extracted from mythical content. We refer to mythical texts and contents according to the reconstructions and materials brought by Radoslav Katičić, and comparative analysis by Mislav Ježić. We distinguish form (1) as that in which (...) identity and possibility of a thing consists, (2) as the reasonableness of judgment and the form of existence, and (3) as the specific structure of a thing, which unites its parts and aspects as a whole and constitutes its internal necessity. These formative notions are relativized and nullified in Veles’ appearances, in which the archetypal notion of primordial matter is encoded. Examples of Platō’s dialogues historically confirm certain aspects of decoding myth as constitutive of philosophy. The above approach also opens a view of the roots of Croatian philosophical thought, which in its genesis can be traced back to Proto-Slavic mythical archetypes. With the implementation of Christianity, the questions of identity, reason and the structure of the whole are raised radically and sharply, as shown by the text of Trpimir’s grant (852). (shrink)

The purpose of this article is to present Lisa Shabel's interpretive proposal that relates algebra to symbolic constructions. This briefly covers the problem of the status of algebra and how some of the interpretations given relate it to the numerical calculation. Subsequently, by the hand of Shabel and with an eye on the mathematical practice of Cristian Wolff, the ways of proceeding algebraically in the eighteenth century will be identified and then analyze the two meanings of the term “magnitude”. (...) Finally, algebra is related to a construction in accordance with the a priori concepts, certain rules and which it has its referent. Such a type of construction defines what Kant understands by symbolic construction. (shrink)

In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears in the treatment (...) of the calculative abilities of logical forms, the ontological-referential status of conceptual content and the inferential-categorical status of logical forms. The basic markers or basic ideas that separate ontologically oriented logic from categorically oriented logic are the (1) concept of truth, the (2) concept of meaning, the (3) concept of identity, and the (4) concept of predication. Here, this differences are explicitly demonstrated by the introduction of differential terminology. From this differential methodology follows a new set of characterizations of logic. (shrink)

................English....................... The purpose of this study is to reveal university students’ perceptions regarding Holy Qur’an through metaphors. The survey group of study consists of 194 participants who were studying in Theology Department and Social Service Department at Gümüşhane University in the 2014-2015 academic terms. Both quantitative and qualitative methods are used together. The study’s data was collected through a form with the phrase “The Holy Qur’an is similar/like…, because...” and some demographical variables. The Content Analysis Technique was used to interpret (...) data. Results of this study determined that 44 different metaphors regarding Holy Qur’an were given by participants. Theme of these metaphors were compiled as 9 categories consisting of directional, life source, explanatory, key, protective, curative, instructive, speech, and other categories. Top metaphors are in the directional, life source and explanatory categories. Key words are metaphor, perception, The Qur’an perception, religious concepts, and religious symbols. Getting data through comprehensive and in-dept analysis can help to have information about concepts of holy books in the human mind. The purpose of this study is to pick out perceptions of university students with regard to the Holy Qur’an through metaphors. For this reason, these questions are searched by researchers: 1) What are the metaphors which used by university students on description of perceptions regarding the Holy Qur’an? 2) How are the metaphors regarding the Holy Qur’an categorized in terms of common characteristics which produced by university students? 3) Are there any links between socio-demographic variables and composed metaphoric categories? One of the qualitative data collection technics, data collecting through metaphors method is used, and is asked open-ended question in the study. Picking up similarities and diversities under thematic topics is quite easy in the method. Therefore, this method has a functional feature in the sociology, psychology and anthropology, and it gives a wealthy and qualified image about matter, phenomenon, event and situation (Yıldırım & Şimşek 2005, 212). The target population of the study consists of students who were taking education at Gümüşhane University. Easily accessible and availability principles pursued in the sample choosing. In the distribution of participants according to the demographical features, females have 61.9 percent (n:120) and males have 38.1 percent (n:74) in terms of gender. Students who graduated from religious vocational high school is 61.3 percent (n:119), and others who from other high schools is 38.7 percent (n:75) in terms of graduated from different high schools. Students in theology department have 68.0 percent (n:132), and students who were educated in the social service department have 32.0 percent (n:62). Research data is gathered through survey form includes “The Holy Qur’an is like/similar to…, because…” sentence and demographical variabilities. Data, gathered from 194 survey forms, is transferred to the Excel and the SPSS program. In an attempt to reliability of study, gathered metaphors is examined by four area expert. Frequencies (f) and percentages (%) is taken into consideration in the process of replacing metaphors to the tables. Data analysis technique is used on the getting relationships and explaining gathered data, while content analysis technique is used on the interpreting of data. The SPSS program is used in the analysis of quantitative data. Obtained data from the surveys and composed categories is associated with descriptive statements in the verses of the Holy Qur’an. In the composed categories demonstrate distribution of produced 44 different metaphors with regard to the Holy Qur’an as 9 categories. According to this, the sample is represented in the categories as 64.4 % (f:125) is in the ‘directional’, 11.3 % (f:22) is in the ‘life source’, 7.7 % (f:15) is in the ‘explanatory’, 3.1 % (f:6) is in the ‘key’, 3.1 % (f:6) is in the ‘protective’, 2.1 % (f:4) is in the ‘curative’, 2.1 % (f:4) is in the ‘instructive’, 2.1 % (f:4) is in the ‘speech’ and 4.1 % (f:8) is in the ‘other’ categories. Distributions of composed categories are represented according to common characteristics as frequencies and percentages in the next tables. In the distribution of produced metaphors in the ‘directional’ category, university students produced 7 different metaphors (f:125). Frequencies of produced metaphors in the category are such that: guide (f:41), advisor (f:25), mentor (f:19), compass (f:16), road map (f:8), route (f:3) and other (f:13). According to the result, it is understood that aspects of guide, advisor, mentor and compass stood mostly out in the category. In the ‘life source’ category, 6 different metaphors (f:22) is developed by participants. Developed metaphors’ frequencies in the category are the following: life (f:4), lifeblood (f:4), weather (f:2), water (f:2), inheritance (f:2) and others (f:7). So, life and lifeblood aspects stood mostly out in the category. In the ‘explanatory’ category, 5 different metaphor (f:15) is developed by participants. Frequencies of produced metaphors in the category are such that: light (f:5), sun (f:3), flashlight (f:2), torch (f:2) and other (f:3). According to the result, it is understood that aspects of light and sun stood mostly out in the category In the ‘protective’ category, 5 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: saver (f:2), lifeguard (f:1), hereafter-saving (f:1), escapeway (f:1) and branch to catch (f:1). According to the result, it is understood that aspect of saver stood mostly out in the category. In the ‘instructive’ category, 4 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: reference book (f:1), dictionary (f:1), priceless book (f:1) and life encyclopedia (f:1). In the ‘speech’ category, it is seen that 4 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: divine message (f:1), speaking truth (f:1), Allah’s dialogue with us (f:1) and final word (f:1). In the ‘key’ category, 3 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: a key (f:4), the key of heaven (f:1) and the key of salvation (f:1). In the ‘curative’ category, 2 different metaphors (f:4) is developed by participants. Frequencies of produced metaphors in the category are such that: a pill (f:3) and doctor (f:1). In the ‘others’ category, 8 different metaphors (f:8) is developed by participants. Frequencies of produced metaphors in the category are such that: world (f:1), the friend of lonely passenger (f:1), the tree with fruit (f:1), hereafter (f:1), priceless treasure (f:1), miracle (f:1), philosophy (f:1) and mirror (f:1). Participants composed of 44 different metaphors regarding the Holy Qur’an. The metaphors were summed up in the 9 categories as ‘directional’, ‘life source’, ‘explanatory’, ‘key’, ‘protective’, ‘curative’, ‘instructive’, ‘speech’ and ‘other’ To results of the study; guide, advisor, mentor and compass aspects of the Qur’an came into prominence at most in the ‘directional’ category, when life and lifeblood aspects of the Qur’an came into prominence at most in the ‘life source’ category. Light and sunny aspects of the Qur’an came into prominence at most in the ‘explanatory’ category, while saver aspect of the Qur’an came into prominence at most in the ‘protective’ category. Instructive aspect of the Qur’an came into prominence at most in the ‘instructive’ category. Speech aspect of the Qur’an came into prominence at most in the ‘speech’ category, while key aspect of the Qur’an came into prominence at most in the ‘key’ category. Moreover, pill aspect of the Qur’an came into prominence at most in the ‘curative’ category. Whatsoever world, friend of single traveler, tree with fruit, hereafter, priceless treasure, miracle, philosophy and mirror aspects of the Qur’an came into prominence at most in the ‘other’ category. It is inferred that significant relationships between demographic variables and metaphor categories. In terms of major variable; theology students were composed of more metaphor in the ‘explanatory’ and ‘instructive’ categories, while social service students were composed of more metaphor in the ‘life source’ category. In terms of gender variable; females composed of more metaphor in the ‘curative’ and ‘other’ categories, while males composed of more metaphor in the ‘directional category. In terms of graduating high school variable, students who graduated from religious vocational high school composed of more metaphor in the ‘key’ and ‘speech’ categories, when students who graduated from other high school composed of more metaphor in the ‘directional’ category. Whatsoever, in terms of having the Qur’an education in their life status variable, had the Qur’an education in their life students composed of more metaphor in the ‘curative’ and ‘other’ categories, while other group composed of more metaphor in the ‘directional’. Moreover, in terms of perception of subjective religiousness, students who think themselves are ‘religious’ composed of more metaphor in the ‘key’ and ‘other’ categories, while students who think themselves are ‘less religious’ composed of more metaphor in the ‘explanatory’ category. In terms of perception of family religiousness, students who think own family ‘less religious’ composed of more metaphor in the ‘directional’ and ‘life source’ categories, when students who think own family ‘religious’ composed of more metaphor in the ‘key’ category. It can be suggested by the results of this study; perception of the Qur’an can be studied with the different study techniques, or it can be studied in the different research groups with the same technique. Muslims’ perceptions regarding the Holy Qur’an can be examined with intercultural comparative studies. Perceptions regarding the Holy Qur’an can be researched through interviews. Members’ perception regarding holy book that have different religious faith can be comparatively examined. Individuals’ perceptions regarding different religious concepts can be studied through metaphors. .................. Turkish...................Bu araştırmanın amacı üniversite öğrencilerinin Kur’an-ı Kerim’e ilişkin algılarını metaforlar aracılığıyla ortaya çıkarmaktır. Araştırmanın çalışma grubunu, 2014-2015 eğitim öğretim yılında Gümüşhane Üniversitesi İlahiyat Fakültesi ve Sosyal Hizmetler bölümünde öğrenim gören 194 katılımcı oluşturmaktadır. Araştırmada nitel ve nicel yöntemler birlikte kullanılmıştır. Araştırma verileri, “Kur’an-ı Kerim……gibidir, çünkü……” cümlesini ve demografik değişkenleri içeren bir form aracılığıyla toplanmıştır. Verilerin analizi ve yorumlanmasında içerik analizi tekniği kullanılmıştır. Araştırmada Kur’an’a ilişkin 44 farklı metafor geliştirildiği tespit edilmiştir. Bu metaforlardan ‘yönlendirici’, ‘yaşam kaynağı’, ‘açıklayıcı’, ‘anahtar’, ‘koruyucu’, ‘öğretici’, ‘derman’, ‘kelam’ ve ‘diğer’ olmak üzere 9 farklı kategori oluşturulmuştur. Üretilen metaforların ‘yönlendirici’, ‘yaşam kaynağı’ ve ‘açıklayıcı’ kategorilerinde yoğunlaştığı görülmüştür. Demografik değişkenler ile metafor kategorileri arasındaki ilişkiyi ortaya çıkarmak araştırmanın ikincil amaçlarındandır ve bu yönüyle sonuçlar değerlendirildiğinde değişkenler ile kategoriler arasında anlamlı ilişkiler olduğu tespit edilmiştir. Demografik değişkenler ile kategori ilişkisinde fakülte değişkeni açısından ilahiyat öğrencileri ‘açıklayıcı’ ve ‘öğretici’ kategorilerinde daha fazla metafor üretirken sosyal hizmet öğrencileri ‘yaşam kaynağı’ kategorisinde daha fazla metafor üretmiştir. Cinsiyet değişkeni açısından ise kız öğrenciler ‘derman’ ve ‘diğer’ kategorilerinde daha fazla metafor üretirken erkek öğrenciler ‘yönlendirici’ kategorisinde daha fazla metafor üretmiştir. Lise mezuniyeti açısından bakıldığında da İHL’den mezun olanlar ‘anahtar’ ve ‘kelam’ kategorilerinde daha fazla metafor üretirken diğer lise mezunları ‘yönlendirici’ kategorisinde daha fazla metafor üretmiştir. Kur’an Kursu eğitimi alma değişkeni açısından ise Kur’an kursu eğitimi alanlar ‘derman’ ve ‘diğer’ kategorilerinde daha fazla metafor üretirken Kur’an Kursu eğitimi almayanlar ‘yönlendirici’ kategorisinde daha fazla metafor üretmiştir. Ayrıca öznel dindarlık ve aile dindarlık algılarıyla metafor kategorileri arasında da anlamlı ilişkiler elde edilmiştir. (shrink)

The set of symbols of success is a set of cultural determinants of activity and their functioning is connected with the fundamental functions of culture as a system of historically developing supra-biological programs of life. The relevance of considering the symbolization of success in modern cinema is due to several factors. First, according to the majority of art historians and film theorists, cinema remains the leading, most widespread form of art throughout the 20th and 21st centuries. If we understand art (...) as a figurative comprehension of reality, its process and result, which is expressed in works, then the symbolization of success in cinema can be considered one of the most common practices for representing the determinants of activity through a figurative comprehension of reality. An analysis of this process in modern cinematography reveals the mechanisms of functioning of one of the elements of the totality of joint life programs as a segment of modern culture, limited by the boundaries of film communication. Secondly, the development of cinematography largely determines the fundamental changes in the culture of the 20th century. and there is no reason to believe that its influence is diminishing in recent times. Consequently, modern cinema remains one of the most important areas of cultural life, the study of which allows expanding scientific understanding of the patterns of changes taking place in culture. Thirdly, the development of information and communication technologies at the end of the 20th century. led to the fact that the value complexes of traditional cultures of different peoples of the world and expansive global neoplasms of a supranational nature (mass, elite, corporate, fandom, etc.) are simultaneously transmitted into the space of personal culture. Cinema in the new conditions only strengthened its position as the leading relay of value complexes. The special socio-forming qualities of cinema were noted both by its pioneers (L. Delluk, A. Dovzhenko, Ch. Chaplin, S. Eisenstein, etc.), scientists (B. Balash, V. A. Gottwald, E. M. Samuylenko, etc.) , and the ideologists of cultural revolutions at the beginning of the 20th century. G. Turner, in particular, drew attention to the fact that “to achieve control over the everyday representation of the world for a nation means to acquire strong power over the representation of individuals about themselves and about each other”, referring to the threat to the integrity and coherence of an individual’s understanding of the world under the pressure of foreign cultural domination over film communication. In this regard, the search for ways to relevantly measure the trends in the development of modern culture by marking in cinema the cultural determinants of activity, which are the symbols of success, seems to be an urgent theoretical and scientific-practical task, the solution of which expands the predictive potential of culture and its projective possibilities. (shrink)

Herein, I evaluate how masking traditions (which are an integral part of the African identity and the Igbo reality) vary within Igbo land: from Omabe, Mma, Mmawu, Ogbodo, Ekpe, and Odo. I lay focus on the tradition of Odomagana or simply, Odo, with all its richly symbolic rituals especially within the domains of its role in the life of the people of the Northern Igbo Land. Particular emphases are made on the role of masquerade cults as means of initiating (...) the young into full adulthood with special reference to Ukana which is present within Igbodo tradition practiced by a group of towns. (shrink)

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although their (...) properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (shrink)

In this paper I provide empirical and theoretical considerations in favor of a non-inferential view of speech comprehension. On the view defended, we typically comprehend speech by perceiving or grasping apparently conveyed meanings directly rather than by inferring them from, say, linguistic principles and perceived phonemes. “Speech” is here used in the broad sense to refer not only to verbal expression, but also written messages, including Braille, and conventional signs and symbols, like emojis, a stop sign or a swastika. Along (...) the way I define what I mean by ‘inference’ and provide an account of what it means to say that we perceive apparently conveyed meanings. (shrink)

How do religions refer to reality in their language and symbols, and which reality do they envisage and encounter? on the basis of some examples of an understanding of religion without reference to reality, I first answer the question of what ”realism’ is. realism has been an opposite concept to nominalism, idealism, empiricism and antirealism. The paper concentrates especially on the most recent formation of realism in opposition to antirealism. In a second section the consequences for philosophy of religion (...) and theology are considered. How the reality, as it is considered in philosophy of religion and in theology, has to be characterised, if and how this reality is relevant for human beings, and what its relation is to everything else, can only be answered and clarified in a presentation in a language that is specific for this reality, the reality of God. (shrink)

Apart from what (little) OpenAI may be concealing from us, we all know (roughly) how ChatGPT works (its huge text database, its statistics, its vector representations, and their huge number of parameters, its next-word training, and so on). But none of us can say (hand on heart) that we are not surprised by what ChatGPT has proved to be able to do with these resources. This has even driven some of us to conclude that ChatGPT actually understands. It is not (...) true that it understands. But it is also not true that we understand how it can do what it can do. I will suggest some hunches about benign biases: convergent constraints that emerge at LLM scale that may be helping ChatGPT do so much better than we would have expected. These biases are inherent in the nature of language itself, at LLM scale, and they are closely linked to what it is that ChatGPT lacks, which is direct sensorimotor grounding to connect its words to their referents and its propositions to their meanings. These convergent biases are related to (1) the parasitism of indirect verbal grounding on direct sensorimotor grounding, (2) the circularity of verbal definition, (3) the mirroring of language production and comprehension, (4) iconicity in propositions at LLM scale, (5) computational counterparts of human categorical perception in category learning by neural nets, and perhaps also (6) a conjecture by Chomsky about the laws of thought. The exposition will be in the form of a dialogue with ChatGPT-4. (shrink)

What the COVID-19 pandemic serves to reveal is the inherent limitations and contradictions of a symbolic order that must now be perceived via an “impossible subjectivity”: what this essay will refer to as the “in-human.” (Zizek, 2020). Indeed, this in-human perspective transpires not through our fetishization of the virus, as some form of justification for humanity’s impact on the world, but from a position of impossibility that renders “the whole situation into which we are included.” (Monbiot, 2020; Zizek, 2020). (...) It is on this basis that the virus confers a confrontation with the Real: an antagonism steered by the isolation of an “impossible phenomenon,” grounded in a certain level of “disengagement” that obliges us to “perceive reality as it were viewed from outside.” (Zizek, 2020). Importantly, this “view from outside” does not—and now, cannot—avoid our engagement with the impossible, but must instead be rendered via a form of approachment that conceives of the “virus” as an in-human phenomenon that is our universal condition. The following sections will serve to clarify this in-human approach. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of (...) which are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

The Mind-Body Problem is a by-product of subjective consciousness, i.e. of the self-reference of an awareness system. Given the possibility of a subjective frame placed around the contents of consciousness, and given also the reifying tendency of mind, the rift between subject and object is an inevitable artifact of human consciousness. The closest we can come to a solution is an understanding of the exact nature and situation of the embodied subject. Ontological solutions, such as materialism and idealism, are (...) excluded as part of the problem. Reification is examined as the fundamental movement of mind. Subjectified consciousness is a meta-system whose evolutionary role is to counterbalance the natural realism of mind. The Mind-Body Problem is the contradiction between these natural viewpoints. The intentionality of mind is likened to that of an "interpreted" formal system. The nature of experienced qualia is the same as that of the intentionally created meanings of words or mathematical symbols. The concept of a self who speaks this inner language is examined and rejected. There is a rapprochement between spiritual idealism and scientific materialism in regard to the nature, not only of the object, but also of the subject or self and its potential freedom. (shrink)

Traditional theatre refers to the art forms which have their origins in the people’s culture and express their belief system, worldwide view, wishes and aspirations. It serves several functions within the society. Its educational value is embedded in its nature as a repository of the mores and traditions of people. Certain modes within its confines are used to explain life, the reason for events, the people’s origin and history, as well as other philosophies of life. Traditional theatre imparts positive values (...) through the exploration of crime and punishment using satires and straightforward criticism of deviant behaviours. Even when such presentations are couched in symbolic terms and the characters basically animals, the human idiosyncrasies under attack do not remain unidentifiable. The social function remains in its ability to exercise some level of control on social behaviours. No member of the community wants to lend himself to be ridiculed or lampooned. As such, they consciously curtail or exercise restraints in their actions, even when they are done in secret. Once a recalcitrant behaviour is made known; the individual involved is publicly disgraced or might even be ostracized. The entertainment value of traditional theatre is predicated on its ability to hold attention, please the senses and suspend all worries of life, even beyond the period of presentation. More so, because it often employs dance and music and the audience plays a second role as participants. The potency of traditional African and Nigerian theatre as tourist attractions lie within their entertainment value. They include festivals, music, dances rituals etc. Traditional festivals are of concern to this work. (shrink)

We introduce two notions–the shadows and the shallows of explanation–in opening up explanation to broader, interdisciplinary investigation. The shadows of explanation refer to past philosophical efforts to provide either a conceptual analysis of explanation or in some other way to pinpoint the essence of explanation. The shallows of explanation refer to the phenomenon of having surprisingly limited everyday, individual cognitive abilities when it comes to explanation. Explanations are ubiquitous, but they typically are not accompanied by the depth that we might, (...) prima facie, expect. We explain the existence of the shadows and shallows of explanation in terms of there being a theoretical abyss between explanation and richer, theoretical structures that are often attributed to people. We offer an account of the shallows, in particular, both in terms of shorn-down, internal, mental machinery, and in terms of an enriched, public symbolic environment, relative to the currently dominant ways of thinking about cognition and the world. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY 14260-4150 (...) E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

● Sergio Cremaschi, The non-existing Island. I discuss the way in which the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, as well as recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to both the familiar self-images and to the fashionable ecumenic or anti-ecumenic strategies. My conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (...) (ii) less obviously, also analytic philosophy does not exist, or does no more exist as a current or a paradigm; what does exist is, on the one hand, philosophy of language and, on the other, philosophy of mind, that is, two disciplines; (iii) the dissolution of analytic philosophy as a school has been extremely fruitful, precisely in so far as it has left room for disciplines and research programmes; (iv) what is left, of the Anglo-American/Continental cleavage is primarily differences in styles, depending partly on intellectual traditions, partly owing to sociology, history, institutional frameworks; these differences should not be blurred by rash ecumenism; besides, theoretical differences are alive as ever, but within both camps; finally, there is indeed a lag (not a difference) in the appropriation of intellectual techniques by most schools of 'Continental' philosophy, and this should be overcome through appropriation of what the best 'analytic' philosophers have produced. ● Michael Strauss, Language and sense-perception: an aspect of analytic philosophy. To test an assertion about one fact by comparing it with perceived reality seems quite unproblematic. But the very possibility of such a procedure is incompatible with the intellectualistic basis of logical positivism and atomism (as it is for example to be found in Russell's Analysis of Mind). According to the intellectualistic approach pure sensation is meaningless. Sensation receives its meaning and order from the intellect through interpretation, which is performed with the help of linguistic tools, i.e. words and sentences. Before being interpreted, sensation is not a picture or a representation, it is neither true nor false, neither an illusion nor knowledge; it does not tell us anything; it is a lifeless and order-less matter. But how can a thought (or a proposition) be compared with such a lifeless matter? This difficulty confronts the intellectualist, if on the one hand he admits the necessity of comparing thought with sense-perception, and on the other hand presupposes that we possess only intellectual and no immediate perceptual understanding of what we see and hear. In this paper I give a critical exposition of three attempts, made by Russell, Neurath and Wittgenstein, to solve this problem. The first attempt adheres to strict conventionalism, the second tends to naturalism and the third leads to an amended, very moderate version of conventionalism. This amended conventionalism looks at sense impressions as being a peculiar language, which includes primary symbols, i.e. symbols not founded on convention and not being in need of interpretation. ● Ernst Tugendhat, Phenomenology and language analysis. The paper, first published in German in 1970, by which Tugendhat gave a start to the German rediscovery of analytic philosophy. The author stages a confrontation between phenomenology and language analysis. He argues that language analysis does not differ from phenomenology as far as the topics dealt with are concerned; instead, both currents are quite different in method. The author argues that language-analytic philosophy does not simply lay out of the mainstream of transcendental philosophy, but that instead it challenges this tradition on the very level of foundations. The author criticizes the linguistic-analytic approach centred on the subject as well as any object-centred approach, while proposing inter-subjective understanding through language as the new universal framework. This is, when construed in so general terms, the same program of hermeneutics, though in a more basic version. ● Jürgen Habermas, Language game, intention and meaning. On a few suggestions by Sellars and Wittgenstein. The paper, first published in German in 1975, in which Habermas announces his own linguistic turn through a discovery of speech acts. In this essay the author wants to work out a categorical framework for a communicative theory of society; he takes Wittgenstein's concept of language game as a Leitfade and, besides, he takes advantage also of Wilfried Sellars's quasi-transcendental account of the genesis of intentionality. His goal is to single out the problems connected with a theory of consciousness oriented in a logical-linguistic sense. ● Zvie Bar-On, Isomorphism of speech acts and intentional states. This essay presents the problem of the formal relationship between speech acts and intentional states as an essential part of the perennial philosophical question of the relation between language and thought. I attempt to show how this problem had been dealt with by two prominent philosophers of different camps in our century, Edmund Husserl and John Searle. Both of them wrote extensively about the theory of intentionality. I point out an interesting, as it were unintended, continuity of their work on that theory. Searle started where Husserl left off 80 years earlier. Their meeting point could be used as the first clue in our search. They both adopted in effect the same distinction between two basic aspects of the intentional experience: its content or matter, and its quality or mode. Husserl did not yet have the concept of a speech act as contradistinguished from an intentional state. The working hypothesis, however, which he suggested, could be used as a second clue for the further elaboration of the theory. The relationship of the two levels, the mental and the linguistic, which remained for Husserl in the background only, became the cornerstone of Searle' s inquiry. He employed the speech act as the model and analysed the intentional experience by means of the conceptual apparatus of his own theory of speech acts. This procedure enabled him to mark out a number of parallelisms and correlations between the two levels. This procedure explains the phenomenon of the partial isomorphism of speech acts and intentional states. ● Roberta de Monticelli, Ontology. A dialogue among the linguistic philosopher, the naturalist, and the phenomenological philosopher. This paper proposes a comparison between two main ways of conceiving the role and scope of that fundamental part of philosophy (or of "first" philosophy) which is traditionally called "ontology". One way, originated within the analytic tradition, consists of two main streams, namely philosophy of language and (contemporary) philosophy of mind, the former yielding "reduced ontology" and the latter "neo-Aristotelian ontology". The other way of conceiving ontology is exemplified by "phenomenological ontology" (more precisely, the Husserlian, not the Heideggerian version). Ontology as a theory of reference ("reduced" ontology, or ontology as depending on semantics) is presented and justified on the basis of some classical thesis of traditional philosophy of language (from Frege to Quine). "Reduced ontology" is shown to be identifiable with one level of a traditional, Aristotelian ontology, namely the one which corresponds to one of the four "senses of being" listed in Aristotle's Metaphysics: "being" as "being true". This identification is justified on the basis of Franz Brentano's "rules for translation" of the Aristotelian table of judgements in terms of (positive and negative) existential judgments such as are easily translatable into sentences of first order predicate logic. The second part of the paper is concerned with "neo-Aristotelian ontology", i.e. with naturalism and physicalism as the main ontological options underlying most of contemporary discussion in the philosophy of mind. The qualification of such options as "neo-Aristotelian" is justified; the relationships between "neo-Aristotelian ontology" and "reduced ontology" are discussed. In the third part the fundamental tenet of "phenomenological ontology" is identified by the thesis that a logical theory of existence and being does capture a sense of "existing" and "being" which, even though not the basic one, is grounded in the basic one. An attempt is done of further clarifying this "more basic" sense of "being". An argument making use of this supposedly "more basic" sense is advanced in favour of a "phenomenological ontology". ● Kuno Lorenz, Analytic Roots in Dialogic Constructivism. Both in the Vienna Circle ad in Russell's early philosophy the division of knowledge into two kinds (or two levels), perceptual and conceptual, plays a vital role. Constructivism in philosophy, in trying to provide a pragmatic foundation - a knowing-how - to perceptual as well as conceptual competences, discovered that this is dependent on semiotic tools. Therefore, the "principle of method" had to be amended by the "principle of dialogue". Analytic philosophy being an heir of classical empiricism, conceptually grasping the "given", and constructive philosophy being an heir of classical rationalism, perceptually providing the "constructed", merge into dialogical constructivism, a contemporary development of ideas derived especially from the works of Charles S. Peirce (his pragmatic maxim as a means of giving meaning to signs) and of Ludwig Wittgenstein (his language games as tools of comparison for understanding ways of life). 7. Albrecht Wellmer, "Autonomy of meaning" and "principle of charity" from the viewpoint of the pragmatics of language. In this essay I present an interpretation of the principle of the autonomy of meaning and of the principle of charity, the two main principles of Davidson's semantic view of truth, showing how both principles may fit in a perspective dictated by the pragmatics of language. I argue that (I) the principle of the autonomy of meaning may be thoroughly reformulated in terms of the pragmatics of language, (ii) the principle of charity needs a supplement in terms of pragmatics of language in order to become really enlightening as a principle of interpretation. Besides, I argue that: (i) on the one hand, the fundamental thesis of Habermas on the pragmatic theory of meaning ("we understand a speech act when we know what makes it admissible") is correlated with the seemingly intentionalist thesis according to which we understand a speech act when we know what a speaker means; (ii) on the other hand, to say that the meaning competence of a competent speaker is basically a competence about a potential of reasons (or also of possible justifications) which is inherently connected with the meaning of statements, or with their use in utterances. ● Rüdiger Bubner, The convergence of analytic and hermeneutic philosophy This paper argues that the analytic philosophy does not exist, at least as understood by its original programs. Differences in the analytic camp have always been bigger than they were believed to be. Now these differences are coming to the fore thanks to a process of dissolution of dogmatism. Philosophical analysis is led by its own inner logic towards questions that may be fairly qualified as hermeneutic. Recent developments in analytic philosophy, e.g. Davidson, seem to indicate a growing convergence of themes between philosophical analysis and hermeneutics; thus, the familiar opposition of Anglo-Saxon and Continental philosophy might soon belong to history. The fact of an ongoing appropriation of analytical techniques by present-day German philosophers may provide a basis for a powerful argument for the unity of philosophizing, beyond its strained images privileging one technique of thinking and rejecting the remainder. Actual philosophical practice should take the dialogue between the two camps more seriously; in fact, the processes described so far are no danger to philosophical work. They may be a danger for parochial approaches to philosophizing; indeed, contrary to what happens in the natural sciences, Thomas Kuhn's "normal science" developing within the framework of one fixed paradigm is not typical for philosophical thinking. And in philosophy innovating revolutions are symptoms more of vitality than of crisis. ● Karl-Otto Apel, The impact of analytic philosophy on my intellectual biography. In my paper I try to reconstruct the history of my Auseinandersetzung mit - as I called it - "language-analytical" philosophy (including even Peircean semiotics) since the late Fifties. The heuristics of my study was predetermined by two main motives of my beginnings: the hermeneutic turn of phenomenology and the transformation of "transcendental philosophy" in the light of the "language a priori". Thus, I took issue with the early and the later Wittgenstein, logical positivism, and post-Wittgensteinian and post-empiricist philosophy of science (i.e. G.H. von Wright and the renewal of the "explanation vs understanding controversy" as well as the debate between Th. Kuhn and Popper/Lakatos); besides, with speech act theory and the debate about "transcendental arguments" since Strawson. The "pragmatic turn", started already by C.L. Morris and the later Carnap, led me to study also the relationship between Wittgensteinian "use" theory of meaning and of truth. This resulted on my side in something like a program of "transcendental semiotics", i.e. "transcendental pragmatics" and "transcendental hermeneutics". ● Ben-Ami Scharfstein, A doubt on both their houses: the blindness to non-western philosophies. The burden of my criticism is that contemporary European philosophers of all kinds have continued to think as if there were no true philosophy but that of the West. For the most part, the existentialists have been oblivious of their Eastern congeners; the hermeneuticians have yet to stretch their horizons beyond the most familiar ones; and the analysts remain unaware of the analyses and linguistic sensitivities of the ancient non-European philosophers. Briefly, ignorance still blinds almost all contemporary Western philosophers to the rich, variegated philosophical traditions outside of their familiar orbit. Both Continental and Anglo-Americans have lost the breadth of view that once characterized such thinkers as Herder and the Humboldts. The blindness that has resulted is not simply that of individual Western philosophers but of our whole, still parochial philosophical culture. (shrink)

This paper explores the possibility of a standard legal language (e.g. English) for a principled evolution of law in line with technological development. In doing so, reference is made to blockchain networks and smart contracts to emphasise the discontinuity with the liberal legal tradition when it comes to decentralisation and binary code language. Methodologically, the argument is built on the underlying relation between law, semiotics and new forms of media adding to natural language; namely: code and symbols. In what (...) follows, I will concentrate on the study of factors that explain why such approach can be fruitful for the future of law and innovation. I have three reasons for selecting this topic. The first is a more pragmatic reason, based on my current research of law as a linguistic phenomenon. Secondly, the topic does also touch the matter on binary code language, rivalrous to legal alphabetic language. Lastly, the study aims at emphasizing the pivotal role of the jurist as an interpreter in a changing society accommodating diverging realms of reality. The study is structured as follows. Firstly, a quick exam of the traits of blockchain networks would provide the contextual link to establish the arguments in support of the need of a standard legal language. Secondly, a comparison between liberal legal institutions and theory of semiotics is set to perceive their functioning and ascertain their limits in the light of todays unprecedented changes. Thirdly, a summary on blockchain networks’ legal features would constitute the thrust behind the idea of a uniform legal language. Methodologically, the argument does also establish some relations with classical laws of physics and philosophy of media. Its aim is to demonstrate how the suggested legal interpretation and semiotic-based approach can contribute to overcome existing stumbling blocks including, but not limited to, the lack of cooperation at the international level as well as the gap in State norms when it comes to innovation. In this sense, the proposed strategies do not intend to replace current advances in the legal thought. In contrast, it seeks to harmonise their results providing a methodical approach that can concur to inform a new technique to address new controversial issues. In practice, the proposed method regarding the adoption of a uniform legal language would lower transactive costs in terms of normative coordination in the matter of international cooperation and in the definition of applicable law among different legal systems. Alternatively, it might contribute to the convergence of legal systems and/or their underlying concepts. Differently put, article’s contribution can be envisaged in fostering juridical consistency with regards to different forms of languages’ coexistence. (shrink)

In the heart of southeast Texas, an industrial powerhouse often referred to as the 'Golden Triangle', the oil refineries and petrochemical plants stand as stalwart testaments to the region's economic evolution. Interestingly, before the discovery of oil at Spindletop, the lumber and cattle industries powered this region's economy. A profound shift occurred when the Lucas Gusher, a fountain of oil spurting thousands of feet into the air, struck the lands of Spindletop Hill on January 10, 1901. This remarkable discovery of (...) the Spindletop oilfield on a slat dome formation south of Beaumont, Texas, marked the birth of the modern petroleum industry and fundamentally transformed the region's geopolitical, economic, and cultural landscapes. People from all over the country relocated to Gladys City and Beaumont in search of work and new opportunities, creating a boomtown as the town's population swelled from 10,000 to 50,000. The newfound urbanization brought by the oil industry transformed the town and the surrounding areas, creating a ripple effect across the region that would be felt for generations to come. The surge in oil-driven economic activity transmuted the region into a vibrant nexus of commerce, with the oil industry emerging as a critical architect of growth and advancement. This newfound affluence incited by the petroleum sector ushered in an era of economic diversification, laying the groundwork for industrialization’s further evolution. The Spindletop Oil Fields not only underscored the United States’ ascent as the foremost petroleum-producing nation but also signaled the nation’s initiation into the Petroleum Age. It was Spindletop that solidified its position as America’s first significant oil field, becoming an enduring symbol of its industrial might. By 1985, over 153,000,000 barrels of oil had been produced and extracted from the Spindletop oil fields, underscoring the magnitude of this extraordinary resource. (shrink)

The evolution from pre-human primates to modern Homo sapiens is a complex one involving many domains, ranging from the material to the social to the cognitive, both at the individual and the community levels. This article focuses on a critical qualitative transition that took place during this evolution involving both the social and the cognitive domains. For the social domain, the transition is from the face-to-face forms of social interaction and organization that characterize the non-human primates that reached, with Pan, (...) a hiatus due to the centripetal effects that highly individualized behavior has on a social system. The transition is to the relation-based forms of social organization that evolved in the hominins ancestral to Homo sapiens and are universal in human societies today. For the cognitive domain, this transition involves going from behavior responding mainly to phenomenal level sensory inputs to behavior formed in accordance with the concept of a relation, initially abstracted from behavior patterns, then extending the concept of a relation beyond abstraction from behavior patterns to the concept of a relation generated recursively through constructing the relation of a relation. This extension made possible the construction of systems of relations; initially genealogical systems of relations constructed culturally using the logic of recursion, and subsequently, the symbolic, computational systems of kin term relations referred to by anthropologists as kinship terminologies. The latter are “constructed realities” in the sense this term is used by cultural anthropologists. It follows that the evolution of relation-based systems of social interaction is not adequately accounted for through population model evolutionary accounts such as the Dual Inheritance Theory of human evolution since “constructed realities” constitute collectively and publicly shared cultural knowledge rather than the individually and privately possessed knowledge that is assumed in the population model framework for human evolution. (shrink)

The Foundational Model of Anatomy (FMA) symbolically represents the structural organization of the human body from the macromolecular to the macroscopic levels, with the goal of providing a robust and consistent scheme for classifying anatomical entities that is designed to serve as a reference ontology in biomedical informatics. Here we articulate the need for formally clarifying the is-a and part-of relations in the FMA and similar ontology and terminology systems. We diagnose certain characteristic errors in the treatment of these (...) relations and show how these errors can be avoided through adoption of the formalism we describe. We then illustrate how a consistently applied formal treatment of taxonomy and partonomy can support the alignment of ontologies. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud if (...) possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Despite the popularity that the embodied cognition thesis has gained in recent years, explicit memories of events personally experienced are still conceived as disembodied mental representations. It seems that we can consciously remember our personal past through sensory imagery, through concepts, propositions and language, but not through the body. In this article, I defend the idea that the body constitutes a genuine means of representing past personal experiences. For this purpose, I focus on the analysis of bodily movements associated with (...) the retrieval of a personal memory, which have certain features that make them different from procedural memories, pragmatic actions and common gestures, as well as other forms of embodied memories found in recent literature. I refer to these as “kinetic memories” and analyse their representative nature as well as their adaptive functions. Kinetic memories are bodily movements in which some event or action that took place in the past can be seen, because they are an externalisation of the subject’s inner intention of representing a past personal experience. Kinetic memories represent a past experience sometimes by imitation of a past movement, and other times through embodied symbols and metaphors. Furthermore, although sometimes they present direct pragmatic benefits, such as communicative benefits, they seem to enhance the whole reexperience of the past event and memory recall, which I argue is one important adaptive value. (shrink)

This paper situates Einstein's theory of relativity within broader networks of communication. The speed of light, explained Einstein, was an unsurpassable velocity if , and only if , it was considered in terms of »arbitrary« and »voluntary« signals. Light signals in physics belong within a broader set of signs and symbols that include communication and military signals, understood by reference to Helmholtz, Saussure, media philosophies from WWII to '68 (Lavelle, Ong, McLuhan) and Derrida. Once light signals in physics are (...) considered in relation to semaphore, print, telegraph, radio, computers and tape recorders, Kittler and Habermas provide us with conflicting ways for understanding science and technology, rationality and consensus. We conclude with a study of »flash and bang« in popular accounts of relativity theory to understand the role of theoretical science in the transmission of information and violence. (shrink)