Proof-theoretic models of grammar are based on the view that an explicit characterization of a language comes in the form of the recursive enumeration of strings in that language. That recur-sive enumeration is carried out by a procedure which strongly generates a set of structural de-scriptions Σ and weakly generates a set of strings S; a grammar is thus a function that pairs an element of Σ with elements of S. Structural descriptions are obtained by means of Context-Free (...) phrase structure rules or via recursive combinatorics and structure is assumed to be uniform: binary branching trees all the way down. In this work we will analyse natural language constructions for which such a rigid conception of phrase structure is descriptively inadequate, and pro-pose a solution for the problem of phrase structure grammars assigning too much or too little structure to natural language strings: we propose that the grammar can oscillate between levels of computational complexity in local domains, which correspond to elementary trees in a lexicalised Tree Adjoining Grammar. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies (...) thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we (...) propose to tackle both syntactic and semantic underspecification using descriptions. (shrink)

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, (...) fstructures) are somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic (...) data structures, pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

Our aim here is to lay the groundwork for formal tree-ring analysis combining data from dendrochronology with formal techniques from semantics. We will present the basic syntax of, and basic compositional semantics of tree-ring structures.

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the four (...) classes of trees mentioned above. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...) mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it (...) is not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

The label `semiotic grammar' captures a fundamental property of the grammars of human languages: not only is language a semiotic system in the familiar Saussurean sense, but its organizing system, its grammar, is also a semiotic system. This proposition, explicated in detail by William McGregor in this book, constitutes a new theory of grammar. Semiotic Grammar is `functional' rather than `formal' in its intellectual origins, approaches, and methods. It demonstrates, however, that neither a purely functional nor (...) a purely formal account of language is adequate, given the centrality of the sign as the fundamental unit of grammatical analysis. The author distinguishes four types of grammatical signs: experiential, logical, interpersonal, and textural. The signifiers of these signs are syntagmatic relationships of the following types, respectively: constituency, dependency, conjugational and linking. McGregor illustrates and exemplifies the theory with data from a variety of languages including English, Acehnese, Polish, Finnish, Japanese, Chinese, and Mohawk; and from his pioneering research on Gooniyandi and Nyulnyul, two languages of the Kimberleys region of Western Australia. (shrink)

This paper analyzes some grammatical aspects of the English verb "to mean" and its nominalizations, and based on that, argues that meaning is something that people do rather than something that words have.

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

I argue that the ability to compute phrase structure grammars is indicative of a particular kind of thought. This type of thought that is only available to cognitive systems that have access to the computations that allow the generation and interpretation of the structural descriptions of phrase structure grammars. The study of phrase structure grammars, and formal language theory in general, is thus indispensable to studies of human cognition, for it makes explicit both the unique type of human thought and (...) the underlying mechanisms in virtue of which this thought is made possible. (shrink)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second kind--they (...) must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (shrink)

Public parks play important roles in conserving biodiversity, promoting environmental sustainability, fostering community engagement, and enhancing the overall well-being of residents in urban areas. Nevertheless, finance is needed to maintain and expand the greenspaces in the parks. The current study aims to examine how perceptions of biodiversity loss consequences and park visitation frequency influence the residents’ willingness to contribute financially to tree-planting projects in public parks. Employing the Bayesian Mindsponge Framework analytics on a dataset of 535 Vietnamese urban residents, (...) we discovered that perceived health loss and knowledge erosion as consequences of biodiversity loss and park visitation frequency are directly positively associated with financial donation willingness. Meanwhile, the perceived economic growth loss was found to be indirectly positively associated with donation willingness through park visitation frequency, whereas the perceived loss of nature-based recreation opportunities exhibits the opposite indirect association. Based on these results, communication strategies focusing on the multifaceted benefits of biodiversity preservation and investments in public parks are recommended to improve urban residents’ financial support to park panting initiatives, accessibility to greenspaces, and connections with nature. These are crucial for promoting an eco-surplus culture that enhances biodiversity conservation and human well-being. (shrink)

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the current (...) methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

This essay presents a new way of conceptualizing the problem of political obligation. On the traditional ‘normativist’ framing of the issue, the primary task for theory is to secure the content and justification of political obligations, providing practically applicable moral knowledge. This paper develops an alternative, ‘pragmatist’ framing of the issue, by rehabilitating a frequently misunderstood essay by Hanna Pitkin and by recasting her argument in terms of the ‘pragmatic turn’ in recent philosophy, as articulated by Robert Brandom. From this (...) perspective, the content and justification of political obligations cannot be determined in a way that is in principle separable from their application. This casts ‘political obligation’ not as a problem to be philosophically resolved, but as a political predicament that calls for a kind of practical engagement. The merit of this perspective is to draw our attention toward the conditions under which the problem appears as a lived predicament. (shrink)

This paper attempts to show the real nature of Universal Grammar. Universal grammar is separate part of human mind which makes language learning possible and generative. Universal grammar is the symbolic and systematic rules inside our mind. These rules help us to classify, analyze, differentiate, assimilate, understand and recognize human language. This paper determines the real nature of philosophical grammar and discusses the modular and non-modular approach of it. I shall examine the critical approaches of Wittgenstein (...) and Chomsky and their comparison to investigate the philosophical grammar. (shrink)

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design of (...) an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system. (shrink)

In light of the pragmatic aspirations of ordinary language philosophy, this essay critically examines the competing grammatical strictures that are often set forth within the theoretical discourse of 'power'. It repudiates both categorically appraisive employments of 'power' and the antithetical urge to fully operationalize the concept. It offers an attenuated defense of the thesis that 'power' is an essentially contestable concept, but rejects the notion that this linguistic fact stems from conflict between antipodal ideological paradigms. Careful attention to the ordinary (...) pragmatics of power-language evinces the prospects for integrating various context-specific aspects of power and mediating between traditionally divergent theoretical frameworks. (shrink)

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

The Tree of Life has traditionally been understood to represent the history of species lineages. However, recently researchers have suggested that it might be better interpreted as representing the history of cellular lineages, sometimes called the Tree of Cells. This paper examines and evaluates reasons offered against this cellular interpretation of the Tree of Life. It argues that some such reasons are bad reasons, based either on a false attribution of essentialism, on a misunderstanding of the problem (...) of lineage identity, or on a limited view of scientific representation. I suggest that debate about the Tree of Cells and other successors to the traditional Tree of Life should be formulated in terms of the purposes these representations may serve. In pursuing this strategy, we see that the Tree of Cells cannot serve one purpose suggested for it: as an explanation for the hierarchical nature of taxonomy. We then explore whether, instead, the tree may play an important role in the dynamic modeling of evolution. As highly-integrated complex systems, cells may influence which lineage components can successfully transfer into them and how they change once integrated. Only if they do in fact have a substantial role to play in this process might the Tree of Cells have some claim to be the Tree of Life. (shrink)

Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.

The purpose of this paper is to point the way to the money tree. Currently, almost all investment professionals think that outperformance requires an “edge,” that is, the ability to predict the future to some degree. In this paper, I suggest that money can be made in a 0, or even slightly negative, expected value environment by carefully choosing investment/bet sizes. Philosophical considerations are found mainly in Section 4.

The paper aims at critical reconsideration of a motif popular in Indian literary, ritual, and pictorial traditions – a tree goddess (yakṣī, vṛkṣakā) or a woman embracing a tree (śālabhañjīkā, dohada), which points to a close and intimate bond between women and trees. At the outset, I present the most important phases of the evolution of this popular motif from the ancient times to present days. Then two essential characteristics of nature recognized in Indian visual arts, literature, religions (...) and philosophy will be distinguished: (1) a dynamic, creative, self-sufficient and inexhaustible power, and (2) a passive, merely reproductive or vegetative, and dependent field of potentiality. The paper is to demonstrate the interdependence of the popular concepts of nature identified with femininity, and their iconic representations circulating for centuries in Indian culture, with a specific line of argument repeatedly used in social practices and public debates. While doing so, I consider the semiotic function of a cultural topos which proves to be an effective instrument for construing and supporting the gender roles and gender identities. As a modern example illustrating vitality and persuasive power of the motif of yakṣī and śālabhañjīkā, I refer to the Chipko Movement, a group of rural women based in the Garhwal Himalayas (state Uttarakhand), who fought against the mass cut of trees in the 1970s. They were involved in the wide-spread environmental campaign which significantly affected the ecological policy of the local and state authorities. Thus, a traditional motif of the visual arts has been revived and re-elaborated by the activists of this ecofeminist movement through converting the symbolic potential of yakṣī/śālabhañjīkā into social and political power. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...) new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

Anscombe’s published writings, lectures and notes on sensation point toward a sophisticated critique of sense-data, representationalist and direct realist theories of perception (in both their historical and contemporary forms), and a novel analysis of the concept of sensation. Her philosophy of perception begins with the traditional question, ‘What are the objects of sensation?’, but the response is a grammatical rather than ontological enquiry. What, she asks, are the characteristics of the grammatical object of sensation verbs? Anscombe’s answer is: sensation verbs (...) take ‘intentional objects’, where an ‘intentional object’ is a description which has the characteristics of the concept of intention—characteristics elucidated in great detail in her Intention. This simple manoeuvre allows Anscombe to reject two opposing positions in the philosophy of perception - that the objects of sensation are sense-data and that the objects of sensation are tables and chairs (etc). Both views, she argues, fail to recognise the grammatical fact that the verbs of sensation take intentional objects. This chapter outlines the case for a grammatical methodology in philosophy of perception, by framing an analysis of the ways in which the sense-data and direct-realist theories of perception arise out of the theoretical demands that are generated when the grammar of the concept of sensation is left unexplored. Along the way, it will be shown that Anscombe’s philosophy of perception should not be read as fore-running contemporary representationalism, and that reading it as such in fact runs counter not only to the letter but the spirit of Ancombe’s proposal. (shrink)

This article deals with the cognitive relationship between a speaker and her internal grammar. In particular, it takes issue with the view that such a relationship is one of belief or knowledge (I call this view the ‘Propositional Attitude View’, or PAV). I first argue that PAV entails that all ordinary speakers (tacitly) possess technical concepts belonging to syntactic theory, and second, that most ordinary speakers do not in fact possess such concepts. Thus, it is concluded that speakers do (...) not literally ‘know’ or ‘believe’ much of the contents of their grammars, and moreover, that these contents can only be attributed at a subpersonal level. (shrink)

In Sense and Content , Christopher Peacocke points out that two equally-sized trees at different distances from the perceiver are normally represented to be the same size, despite the fact that in a certain sense the nearer tree looks bigger ; he concludes on the basis of this observation that visual experiences possess irreducibly phenomenal properties. This argument has received the most attention of all of Peacocke’s arguments for separatism—the view that the intentional and phenomenal properties of experiences are (...) independent of one another. However, despite its notoriety, the argument is widely misunderstood and underappreciated. I argue that once the structure of the argument is clarified and the replies that have been offered are considered closely, one must conclude that the trees argument is successful. (shrink)

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs.” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are revealed (...) to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

Do trees of life have roots? What do these roots look like? In this contribution, I argue that research on the origins of life might offer glimpses on the topology of these very roots. More specifically, I argue (1) that the roots of the tree of life go well below the level of the commonly mentioned ‘ancestral organisms’ down into the level of much simpler, minimally living entities that might be referred to as ‘protoliving systems’, and (2) that further (...) below, a system of roots gradually dissolves into non-living matter along several functional dimensions. In between non-living and living matter, one finds physico-chemical systems that I propose to characterize by a ‘lifeness signature’. In turn, this ‘lifeness signature’ might also account for a diverse range of biochemical entities that are found to be ‘less-than-living’ yet ‘more-than-non-living’. (shrink)

In this paper, a formal theory is presented that describes syntactic and semantic mechanisms of philosophical discourses. They are treated as peculiar language systems possessing deep derivational structures called architectonic forms of philosophical systems, encoded in philosophical mind. Architectonic forms are constituents of more complex structures called architectonic spaces of philosophy. They are understood as formal and algorithmic representations of various philosophical traditions. The formal derivational machinery of a given space determines its class of all possible architectonic forms. Some of (...) them stand under factual historical philosophical systems and they organize processes of doing philosophy within these systems. Many architectonic forms have never been realized in the history of philosophy. The presented theory may be interpreted as falling under Hegel’s paradigm of comprehending cultural texts. This paradigm is enriched and inspired with Propp’s formal, morphological view on texts. The peculiarity of this modification of the Hegel-Propp paradigm consists of the use of algebraic and algorithmic tools of modeling processes of cultural development. To speak metaphorically, the theory is an attempt at the mathematical and logical history of philosophy inspired by the Internet metaphor. And that is why it belongs to the tradition of doing metaphilosophy in The Lvov-Warsaw School, which is continued today mainly by Woleński, Pelc, Perzanowski, and Jadacki. (shrink)

Within the philosophy of language, contextualists typically hold (and semantic minimalists deny) that pragmatic elements of an utterance can affect its semantic content. This paper concretizes this debate by analogizing both positions to different kinds of time-travel stories: contextualism is akin to Ludovician narratives that deny the possibility of temporal editing (or “the changing of past events”) while semantic minimalism is aligned with stories that allow the past to be literally altered. By focusing particularly on Denis Villeneuve’s 2016 film Arrival, (...) which portrays a Ludovician model of temporality that firmly denies the possibility of temporal editing, this paper defends the strength of the contextualist position. (shrink)

Pereira’s “The Projective Theory of Consciousness” is an experimental statement, drawing on many diverse sources, exploring how consciousness might be produced by a projective mechanism that results both in private selves and an experienced world. Unfortunately, pulling together so many unrelated sources and methods means none gets full attention. Furthermore, it seems to me that the uncomfortable breadth of this paper unnecessarily complicates his project; in fact it may hide what it seeks to reveal. If this conglomeration of diverse sources (...) and methods were compared to trees, the reader may feel like the explorer who cannot see the forest for the trees. Then again, it may be the author who is so preoccupied with foreground figures that the everpresent background is ultimately obscured. (shrink)

In her Natural Goodness, Philippa Foot argues both that a distinctive grammar of goodness applies to living things generally, and that moral goodness in human beings is a special instance of natural goodness. My goal in this chapter is to provide a sympathetic interpretation of Foots’ grammar of goodness, clarifying and expanding it in a few places, and defending it against some objections. I begin by sketching Foot’s grammar. As I understand it, that grammar includes four (...) main notions: 1) THE GOOD OF, 2) GOOD AS / GOOD IN, 3) GOOD FOR, and 4) GOODS / GOOD THINGS. I then consider the relation between GOOD FOR, on the one hand, and THE GOOD OF and GOOD AS, on the other. Is it always GOOD FOR a living thing to be GOOD AS the kind of thing it is? Could something be GOOD FOR an organism without being part of THE GOOD OF that kind of thing? I argue that GOOD FOR, GOOD AS, and THE GOOD OF are inseparable: what is GOOD FOR a living thing just is that which furthers or constitutes THE GOOD OF such a creature, and THE GOOD OF any creature is the actualization of those well-formed capacities that make it GOOD AS the kind of creature that it is. In the final part of this chapter, I consider how happiness fits into Foot’s grammar of goodness as applied to human beings, paying special attention to the idea that THE GOOD OF any living thing consists in a certain form of activity. (shrink)

In a previous article, Philosophy of Blockchain Technology - Ontologies, I talked about applying Paul Ricœur's narrative theory in developing an ontology of blockchain technology. In this article I intend to highlight the idea of an analogy between blockchain technology and the causal theories of reference. Such a theory can be interpreted as a result of syntactic notation in a reference field, based on the narrative theory developed by Paul Ricœur in Time and Narrative. DOI: 10.13140/RG.2.2.26682.95684.

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs (Semiotic).” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are (...) revealed to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

Various syntacticians have argued that coordinate structures involve a three-dimensional syntactic structure. This paper proposes an interpretation of three-dimensional syntactic structures in terms of plural reference and argues that such structures give further support for plural reference, the view that plural terms refer to several entities at once, rather than referring to a single plural individual.

The high-profile debate between John Milbank and Slavoj Žižek in The Monstrosity of Christ comprises an immensely important work in the contemporary intersection of Church dogmatics and ontology. This study consists of an indirect commentary on this debate, using Milbank and Žižek’s dispute as a foil for mobilizing an ontology favorable to Eastern Orthodox dogmatics. The starting point here is that Orthodoxy simply bypasses Neo-Platonism as the definitive philosophical expression of its dogmatic theology, and, on this score, Žižek’s powerful criticisms (...) of theurgic Neo-Platonism can be embraced and redirected in support of an ontology of the Orthodox dogma of synergy. It will be shown that Milbank’s position that there is a “Catholic Žižek” who embraces theurgy—that is, analogical, Neo-Platonist ontology—is mistaken; the dismantling of the “suspended middle” is necessary for the Žižekian and that, therefore, a Catholic version of this figure does not exist. But it will be suggested that, instead, there is a latent Orthodox Žižek whose criticism of analogical ontology can pave the way for a more profitable dialogue between Žižek and Orthodoxy. The conclusion will provide a playful reading of an Orthodox Žižek—an entirely fictional but ontologically serviceable character—who can begin new conversations between ontology and dogmatic theology. The upshot of the study is the extension of Terry Eagleton’s claim that the historical materialist, but not the dialectical materialist, can legitimately venerate the Virgin Mary—to the surprising suggestion that even the dialectical materialist can justifiably venerate her, too. (shrink)