The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different (...) approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

The paper explores Hegel's theory of language, from the Subjective Spirit book of his Encyclopedia. Hegel distinguishes between linguistic signs, as arbitrary signifiers and words, which occur when the signs are filled with thought or meaning. Words have greater objectivity than signs. The words of the positive, empirical sciences are taken up into Hegelian Science (system), affording it greater objectivity, which it, reciprocally re-confers on its linguistic contents.

I argue in favour of object languages of logics to be diversely-generated, that is, not having identical immediate sub-formulas. In addition to diversely-generated object languages constituting a more appropriate abstraction of the use of sentential connectives in natural language, I show that such language lead to a simplifications w.r.t. some specific issues: the identity of proofs, the factual equivalence and the Mingle axiom in Relevance logics. I also point out that some of the properties of classical (...) logic based on freely-generated object languagest. (shrink)

We argue that it would seem to be a mistake to blame Liar-like paradox on certain features of the object language, since the effect can be created with very minimal object languages that contain none of the usual suspects (truth-like predicates, reference to their own truth-bearers, negation, etc.).

This continues from Part 1. It is shown how an intensional interpretation of physics object languages can be formalised, and how a syntactic compositional time reversal operator can subsequently be defined. This is applied to solve the problems used as examples in Part 1. A proof of a general theorem that such an operator must be defineable is sketched. A number of related issues about the interpretation of theories of physics, including classical and quantum mechanics and classical EM theory (...) are discussed. (shrink)

In the worlds of philosophy, linguistics, and communications theory, a view has developed which understands conscious experience as experience which is 'reflected' back upon itself through language. This indicates that the consciousness we experience is possible only because we have culturally invented language and subsequently evolved to accommodate it. This accords with the conclusions of Daniel Dennett (1991), but the 'hermeneutic objection' would go further and deny that the objective sciences themselves have escaped the hermeneutic circle. -/- The (...) consciousness we humans experience is developed only within the context of crossing the 'symbolic threshold' (Percy 1975; Deacon 1997) and one of the earliest and most important symbols we acquire is that of the self, or 'the subject of experience'. It is only when we achieve self-awareness that the world, as such, comes to exist for us as an object (which contains categories and sub-categories of objects). Any consciousness imputed to prelinguistic stages of development is based on projection and guesswork, since we can know nothing directly of it. It can be said that any experience which does not separate an inner subject from an outer world is probably a continuum of sensation in which environmental stimulus and instinctive response are experienced as a unity; it may be 'lived experience' but it is experience 'lived' non-consciously. -/- Speech requires assertion and by learning to speak we find ourselves asserting, in essence, our selves into the world. The narrative form of language allows us to develop life stories, self-knowledge, and, most important, narrative memory coincident with narrative time. All this is made possible with the intersubjective 'net' of language which allows us to know ourselves by first identifying with the viewpoint of others; and, later, such allows us to identify with other minds as we anticipate their reception our communication. These three, assertion, narrative, and intersubjectivity are the essence of what language is and are the keystones that make culture possible outside of nature. (shrink)

This paper argues that ordinary object languages for fundamental physics are incomplete, essentially because they are extensional, and consequently lack any adequate formal representation of contingency. It is shown that it is impossible to formulate adequate deduction systems for general transformations in such languages. This is argued in detail for the time reversal transformation. Two important controversies about the application of time reversal in quantum mechanics are summarized at the start, to provide the context of this problem, and show (...) its serious implications, but the aim here is not to solve these problems. The flaw is not special to quantum mechanics: it is a general feature traced to extensionality, and demonstrated through a simple example in classical physics. It is proposed that this defect can be overcome by extending to an intensional semantics, but this involves extending the usual formalism of physics. A detailed proposal for such an extension is given in Part 2. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

The semantic paradoxes arise when the range of the quantifiers in the object language is too generous in certain ways. But it is not really clear how unfair to Urdu or to Hindi it would be to view the range of their quantifiers as insufficient to yield an explicit definition of ‗true-in-Urdu‘ or ‗true-in- Hindi‘. Or, to put the matter in another, if not more serious, way, there may in the nature of the case always be something we (...) grasp in understanding the language of another (the concept of truth) that we cannot communicate to him. In any case, most of the problems of general philosophical interest arise within a fragment of the relevant natural language that may be conceived as containing very little set theory. Of course these comments do not meet the claim that natural languages are universal. But it seems to me this claim, now that we know such universality leads to paradox, is suspect. –―Truth and Meaning‖. (shrink)

In this paper we examine the thesis that the probability of the conditional is the conditional probability. Previous work by a number of authors has shown that in standard numerical probability theories, the addition of the thesis leads to triviality. We introduce very weak, comparative conditional probability structures and discuss some extremely simple constraints. We show that even in such a minimal context, if one adds the thesis that the probability of a conditional is the conditional probability, then one trivializes (...) the theory. Another way of stating the result is that the conditional of conditional probability cannot be represented in the object language on pain of trivializing the theory. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and (...) degrees is considerably more marginal than generally held. (shrink)

1. There is a tendency nowadays for linguists, philosophers and other theorists of language, to dismiss the notion of an object like the English language or the Polish language as simply mythological or mythopoeic—as of no interest to any serious science of language. Some theorists even appear to deny that there are such things as languages . ‘This notion [of a public language] is unknown to empirical inquiry and raises what seem to be irresolvable (...) problems’, Chomsky said in a lecture he gave recently in London. (shrink)

Typical spatial descriptions, such as “The car is in front of the house,” describe the position of a located object (LO; e.g., the car) in space relative to a reference object (RO) whose location is known (e.g., the house). The orientation of the RO affects spatial language comprehension via the reference frame selection process. However, the effects of the LO's orientation on spatial language have not received great attention. This study explores whether the pure geometric information (...) of the LO (e.g., its orientation) affects spatial language comprehension using placing and production tasks. Our results suggest that the orientation of the LO influences spatial language comprehension even in the absence of functional relationships. (shrink)

The thesis of this paper concerns the fundamental role of "ordinary objects" with respect to the structure of natural language. It ascribes their role as basic objects of reference to their being both natural and "given" individuals. Section 1 will summarize that idea. Further argument will be offered in Section 2. An objection appealing to physical theory will be answered in Section 3. Sections 4, 5, and 6 consider the implications of the thesis for current theories of the identity (...) of "ordinary objects" over time. Section 4 deals with some traditional, paradoxical, but still influen tial arguments. Section 5 focuses on four-dimensionalism and the ontology of possible worlds. Section 6 examines the theory of David Wiggins, who recognizes that biological individuals, at least, are both natural and given, but who retains a form of conceptualism. Some remarks are made through out about the wider philosophical motivations of different approaches to the topic of identity, and about the nature of philosophical "analysis.". (shrink)

Does thought depend on language? Primarily as a consequence of the cognitive turn in empirical disciplines like psychology and ethology, many current empirical researchers and empirically minded philosophers tend to answer this question in the negative. This book rejects this mainstream view and develops a philosophical argument in favor of a universal dependence of language on thought. In doing so, it comprises insights of two primary representatives of 20 th century and contemporary philosophy, namely Donald Davidson and Robert (...) Brandom. Barth offers an introduction to the debate concerning the language-dependence of thought and lays the methodological foundation for the subsequent argument in favor of a universal dependence of thought on language, presenting an account and defense of the transcendental method in reference to the writings of Peter F. Strawson. He then offers a transcendental argument in favor of a universal language-dependence of thought, beginning with a reevaluation of a basic idea for an argument originally presented by Donald Davidson. Later, two main objections to the conclusion of this transcendental argument are addressed and rejected using Robert Brandom’s inferentialist and normativist account of thought and language. In the course of doing so, the recent debate on Brandom’s work is addressed extensively, and main objections to Brandom’s work are presented and answered. (shrink)

Objective Bayesianism says that the strengths of one’s beliefs ought to be probabilities, calibrated to physical probabilities insofar as one has evidence of them, and otherwise sufficiently equivocal. These norms of belief are often explicated using the maximum entropy principle. In this paper we investigate the extent to which one can provide a unified justification of the objective Bayesian norms in the case in which the background language is a first-order predicate language, with a view to applying the (...) resulting formalism to inductive logic. We show that the maximum entropy principle can be motivated largely in terms of minimising worst-case expected loss. (shrink)

To find more information about Rowman and Littlefield titles, please visit www.rowmanlittlefield.com.

Twentieth Century philosophical thought has expressed itself for the most part through two great Movements: the phenomenological and the analytical. Each movement originated in reaction against idealistic—or at least antirealistic—views of "the world". And each has collapsed back into an idealism not different in effect from that which it initially rejected. Both movements began with an appeal to meanings or concepts, regarded as objective realities capable of entering the flow of experience without loss of their objective status or of their (...) power to reveal to us an objective world as it would be if there were no subjective apprehensions of it. Both movements ended with a surrender of the objectivity of meanings and concepts in this strong sense, coming to treat them as at most more-or-less shareable components of a somehow communalized experience, but in any case incapable of revealing how things are irrespective of actual human experience. For the old Egocentric Predicament, with its "ideas" etc., is substituted a Lingocentric or Histrocentric Predicament of "language" and its elements. Hilary Putnam speaks for the current consensus: 'Internal realism says that we don't know what we are talking about when we talk about "things in themselves"' ( The Many Faces of Realism , p. 36). (shrink)

Objective Bayesian probability is often defined over rather simple domains, e.g., finite event spaces or propositional languages. This paper investigates the extension of objective Bayesianism to first-order logical languages. It is argued that the objective Bayesian should choose a probability function, from all those that satisfy constraints imposed by background knowledge, that is closest to a particular frequency-induced probability function which generalises the λ = 0 function of Carnap’s continuum of inductive methods.

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

Using Natural Language Processing tools, the current study explores the evolution of objectivity practice in terms of attitude injection. Adopting the indicator of moral loading under the Moral Foundation Theory framework, it examined the moral judgments embedded in 20,679 culture war news articles published in five major U.S. newspapers from 1980 to 2021. Our findings revealed a distinct mixed journalistic liberal pattern and an apparent paradox in objectivity practice: the less moral judgments, the more liberal tendencies, which could be (...) caused by journalists’ watchdog role and the increase of liberal components in U.S. democracy. We then argue that the performance of traditional objectivity has remained robust, especially when accounting for the degree to which moral judgments can be attributed to source quotations. The study contributes to the literature by bridging moral psychology and the enactment of journalistic norms, applying MFT to evaluate degrees of objectivity in news. (shrink)

The Danish amateur scholar Christian Jürgensen Thomsen has often been described as a founder of modern “scientific” archaeology. Thomsen's innovation, this essay argues, reflects developments within neighboring fields, such as philology and history. He reacted against historians who limited themselves to histories of texts and therefore abandoned the earliest human history. Instead, he proposed a new history of objects, which included the entire history of humankind. Thomsen's work as director of the Royal Museum of Nordic Antiquities in Copenhagen was especially (...) important for this renewal. The arrangement of artifacts not only helped him formulate his theories, but also allowed him to present his arguments in a language of objects. At the same time, Thomsen's definition of archaeology as a museum science placed his branch of archaeology in a closer relationship with other museum sciences, such as geology and comparative anatomy. From the 1840s, Thomsen's museum became a model for how the study of human artifacts could deliver scientific insights into human nature and the laws of human development. (shrink)

The author argues that Günter Figal sheds novel light on language in his recent Objectivity: The Hermeneutical and Philosophy through a debate he appears to stage with the position Jacques Derrida develops in some of his early essays on deconstruction. Figal describes language as a form of showing and emphasizes the openness and flexibility of expression involved in determining significance. Yet, he rejects the idea he finds in Derrida that such flexibility should lead us to wholesale suspicion of (...) the capacity of language to fix significance. Whereas Derrida concludes that all attempts to fix significance through supplementation of our expressions can only end in the need for further supplementation, Figal stresses the dialectical mien of language that allows supplementation to yield genuinely determinate significances. (shrink)

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

Response to Max Kölbel: "A Criterion for Objectivity", Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia: Volume > 15 > Issue: 2.

Understanding the language of rejections and objections is an important part of the analysis and practice of argument. In order to strengthen this understanding, we might turn to diagramming, as it has been shown to have the virtue of improving critical thinking skills. This paper discusses what reliable meaning can be taken from words and phrases related to rejections and objections, and then how to diagram them.

Programming languages have developed significantly over the past century to provide complex models to think about and describe the world and processes of computation. Out of Alan Kay’s Smalltalk and a number of earlier languages, object-oriented programming has emerged as a preeminent mode of writing and organizing programs. Tracing the history of object-oriented programming from its origins in Simula and Sketchpad through Smalltalk, particularly its philosophical and technical developments, offers unique insights into philosophical questions about objects, language, (...) and our digital technologies. These early attempts to understand objects as basic elements of computation demonstrate the ways in which language, while firmly planted in the material reality of computation, must delimit objects from each other. This essay critically explores this history and explicates a theory of objects suggested by the development of object-oriented programming languages, which insists on the importance of language for representing and delimiting objects. It argues that the philosophies behind object-oriented programming are ultimately opposed to the claims of object-oriented ontology and find themselves more closely allied with philosophies that insist on the mediation of what exists through language. (shrink)

The present “visual world” eye-tracking study examined the time-course of how native and non-native speakers keep track of implied object-state representations during real-time language processing. Fifty-two native speakers of English and 46 non-native speakers with advanced English proficiency joined this study. They heard short stories describing a target object either having undergone a substantial change-of-state or a minimal change-of-state while their eye movements toward competing object-states and two unrelated distractors were tracked. We found that both groups (...) successfully directed their visual attention toward the end-state of the target object that was implied in the linguistic context. However, neither group showed anticipatory eye movements toward the implied object-state when hearing the critical verb. Only native English speakers but not non-native speakers showed a bias in visual attention during the determiner before the noun. Our results suggested that although native and non-native speakers of English largely overlapped in their time-courses of keeping track of object-state representations during real-time language comprehension, non-native speakers showed a short delay in updating the implied object-state representations. (shrink)

Book reviewed:;Jerrold J. Katz, Language and OtherObjects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold J. Katz, Language and Other Abstract Objects;Book reviewed:;Jerrold (...) J. Katz, Language and Other Abstract Objects. (shrink)

Language—often said to set human beings apart from other animals—has resisted explanation in terms of evolution. Language has—among others—two fundamental and distinctive features: syntax and the ability to express non-present actions and events. We suggest that the relation between this representation (of non-present action) and syntax can be analyzed as a relation between a function and a structure to fulfill this function. The strategy of the paper is to ask if there is any evidence of pre-linguistic communication that (...) fulfills the function of communicating an absent action. We identify a structural similarity between understanding indexes of past actions of conspecifics (who did what to whom) and one of the simplest and most paradigmatic linguistic syntactic patterns – that of the simple transitive sentence. When a human being infers past events from an index (i.e., a trace, the conditions of a conspecifics or an animal, a constellation or an object) the interpreters’ comprehension must rely on concepts similar in structure and function to the ‘thematic roles’ believed to underpin the comprehension of linguistic syntax: in his or her mind the idea of a past action or event emerges along with thematic role-like concepts; in the case of the presentation of, e.g., a hunting trophy, the presenter could be understood to be an agent (subject) and the trophy a patient (direct object), while the past action killed is implied by the condition of the object and its possession by the presenter. We discuss whether both the presentation of a trophy and linguistic syntax might have emerged independently while having the same function (to represent a past action) or whether the presentation of an index of a deed could constitute a precursor of language. Both possibilities shed new light on early, and maybe first, language use. (shrink)

Berkeley holds that vision, in isolation, presents only color and light. He also claims that typical perceivers experience distance, figure, magnitude, and situation visually. The question posed in New Theory is how we perceive by sight spatial features that are not, strictly speaking, visible. Berkeley’s answer is “that the proper objects of vision constitute an universal language of the Author of nature.” For typical humans, this language of vision comes naturally. Berkeley identifies two sorts of objects of vision: (...) primary (light and colors) and secondary (distance, figure, magnitude, and situation). Berkeley also appeals to a third class of a different sort: visible figure, magnitude, and situation, constituting the vocabulary of the language of vision. By considering two perceivers who lack this vocabulary we may better understand this third category and the difference between those who must learn the language of vision and those for whom it is a natural endowment. (shrink)