We prove that a variant of Robinson arithmetic $\mathsf{Q}$ with nontotal operations is interpretable in the theory of concatenation $\mathsf{TC}$ introduced by A. Grzegorczyk. Since $\mathsf{Q}$ is known to be interpretable in that nontotal variant, our result gives a positive answer to the problem whether $\mathsf{Q}$ is interpretable in $\mathsf{TC}$. An immediate consequence is essential undecidability of $\mathsf{TC}$.

Reliabilism suffers from a problem with long sequences of justifications. The theory of justification provided in process reliabilism allows for an implausibly large extension of ‘justified belief’. According to process reliabilist theory, it is possible that a justifying cognitive process has an arbitrarily low probability of being successful and a justified belief an arbitrarily low probability of being true. This result violates reliabilism’s aims as well as our ordinary standards of justification.

The notation and terminology of this paper follow [2], and are dual to those of [6] and [7]. If L is a language in the narrow sense, Cn may be any consequence operation on sets of sentences of L that includes classical sentential logic. Henceforth when we talk of the language L we intend to include reference to some fixed, though unspecified, operation Cn. X is a deductive system if X = Cn(X). Sentences x, z that are logically equivalent with (...) respect to Cn – that is x ∈ Cn({z}) and z ∈ Cn({x}) – are identified. If X and Z are systems we often write X x instead of x ∈ X and Z X instead of X ⊆ Z. If X = Cn({x}) for some sentence x, X is (finitely) axiomatizable. The set theoretical intersection of X and Z has the logical force of disjunction, and is written X ∨ Z; Cn(X ∪ Z), the smallest system to include both X and Z, is written XZ. If K is a family of systems, [K] and [K] may be defined in an analogous way. The logically strongest system S is the set of all sentences of L; the weakest system T is defined as Cn(∅). The autocomplement Z of Z is defined to be the strongest system to complement T, namely the system [{Y : Y ∨ Z = T}]. More generally we may define X − Z as [{Y : X Y ∨ Z}]. In terms of this operation to remainder, Z is identical with T − Z. The class of all deductive systems forms a distributive lattice under the operations of concatenation and ∨; and indeed a Brouverian algebra (a relatively authocomplemented lattice with unit) under concatenation, ∨ – and T. (shrink)

Many current problems surrounding science revolve around the complex epistemological framework that shapes a new vision of knowledge about reality. The traditional epistemological positions are characterized by the explanation of nature by means of concatenated facts; that is, as bricks attached to each other giving shape to the edifice of science. A conception of this nature showed that the idea of certainty was nothing more than a mere illusion, opening the way, on the contrary, to the idea of the uncertainty (...) of knowledge based on the descriptions of quantum physics, also a product of the non-reductionist conception of reality, thus criticizing the specular representation. This article addresses the main problems surrounding the critical conceptions that the emerging epistemology reveals about knowledge, pointing towards a much more complex vision of reality. (shrink)

이 글은 『지성 교정론』의 미완의 이유로 제기된 다양한 가설들 가운데 방법이라는 기획 자체의 문제를 다룬다. 스피노자는 가상의 반박자의 입을 빌려 방법의 기획에 다음과 같은 치명적 문제를 제기한다. 첫째, 올바른 방법을 마련하려면 그것을 마련할 올바른 방법이, 또 이를 발견할 올바른 방법 등등이 필요하지 않은가? (무한퇴행의 문제) 둘째, 방법의 출발점인 주어진 참된 관념의 참됨은 어떻게 보증하는가? (진리의 보증 문제) 셋째, 진리는 스스로 참됨을 드러내는데 인식 과정과 별도로 방법이 왜 필요한가? (방법의 필요 문제) 스피노자는 인식에 대한 방법의 내재성과 진리의 자기현시를 통해 앞의 두 (...) 물음에 답함과 동시에, 스스로를 베이컨 및 데카르트의 입장과 차별화한다. 단 마지막 문제는 내가 보기에 충분히 답변되지 않았으며, 나는 여기에 논고가 미완으로 남은 이유가 함축되어 있다고 본다. 곧 방법 논의는 한편으로는 관념들의 발생적 원인에 대한 논의로 대체되어야 했고, 다른 한편으로는 진리의 자기현시를 가로막는 편견이나 정념의 치유에 대한 논의로 대체되어야 했다. (shrink)

We treat the problem of reasoning with ambiguous propositions. Even though ambiguity is obviously problematic for reasoning, it is no less obvious that ambiguous propositions entail other propositions, and are entailed by other propositions. This article gives a formal analysis of the underlying mechanisms, both from an algebraic and a logical point of view. The main result can be summarized as follows: sound reasoning with ambiguity requires a distinction between equivalence on the one and congruence on the other side: (...) the fact that \ entails \ does not imply \ can be substituted for \ in all contexts preserving truth. Without this distinction, we will always run into paradoxical results. We present the sequent calculus \, which we conjecture implements sound and complete propositional reasoning with ambiguity, and provide it with a language-theoretic semantics, where letters represent unambiguous meanings and concatenation represents ambiguity. (shrink)

Analytic philosophy is difficult to define since it is not so much a specific doctrine as a loose concatenation of approaches to problems. As well as having strong ties to scientism -the notion that only the methods of the natural sciences give rise to knowledge -it also has humanistic ties to the great thinkers and philosophical problems of the past. Moreover, no single feature characterizes the activities of analytic philosophers. Undaunted by these difficulties, Avrum Stroll investigates the "family resemblances" (...) between that impressive breed of thinkers known as analytic philosophers. In so doing, he grapples with the point and purpose of doing philosophy: What is philosophy? What are its tasks? What kind of information, illumination, and understanding is it supposed to provide if it is not one of the natural sciences? Imbued with clarity, liveliness, and philosophical sophistication, Stroll´s book presents a synoptic picture of the main developments in logic, philosophy of language, epistemology, and metaphysics in the past century. It does this by concentrating on the individual thinkers whose ideas have been most influential. Major themes in Twentieth-Century Analytic Philosophy include: · the innovation of mathematical logic by Gottlob Frege at the close of the nineteenth century and its independent development by Bertrand Russell; · the impact of advancements in science on the world of philosophy and its importance for understanding such doctrines as logical positivism, philosophy of language, philosophy of mind, and eliminative materialism; · the refusal by such thinkers as Wittgenstein, Moore, and Austin to treat logic as an ideal language superior to natural languages; and · a conjecture about which, if any, of the philosophers discussed in the book will enter the pantheon of philosophical gods. Along the way, Stroll also covers the theories of Rudolf Carnap, W. V. O. Quine, Gilbert Ryle, J. L. Austin, Hilary Putnam, Saul Kripke, John Searle, Ruth Marcus, and Patricia and Paul Churchland. Stroll´s approach to his subject treats the critical movements in analytic philosophy in terms of the philosophers who defined them. The notoriously complex realm of analytic philosophy emerges less as an abstract enterprise than as a domain of personalities and their competing methods and arguments. The book´s inventive presentations of complex logical doctrines relate them to the traditional problems of philosophy, seeking the continuity between them rather than polemical distinctions so as to bring the true differences of their respective achievements into sharper focus. (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

This article is concerned with the problem of the relation between the genetic information contained in the DNA and the emergence of visible structure in multicellular animals. The answer is sought in a reappraisal of the data of experimental embryology, considering molecular, cellular and organismal aspects. The presence of specific molecules only confers a tissue identity on the cells when their concentration exceeds the threshold of differentiation. When this condition is not fulfilled the activity of the genes that code (...) for the specific molecules in question only confers on them a histogenetic potency, i.e. the capacity to form the corresponding tissue in further development (or to transdifferentiate to that tissue). The progressive restriction of histogenetic potencies during development reflects the irreversible repression of more and more genes. The establishment of a given tissue identity under the influence of an inducing tissue (or a morphogenetic hormone) is only possible when the cells have acquired the competence to respond. Tissue differentiation proceeds progressively during development thanks to the cytoplasmic memory that cells retain collectively (or sometimes individually) of the items of information successively registered by their ancestors cells. The increasing complexity of visible structure emerging during development results only from the progression of tissue differentiation. This involves continual exchange of information among the cells and leads to (1) cell displacements and rearrangements, particularly during organogenesis and (2) extreme diversification of cell individualities within tissues, particularly during postembryonic growth. A mutation (just as a teratogenic factor) evokes an anomaly that is localized in both space and time because it alters a certain aspect of cell behaviour (particularly cell surface adhesiveness or mitotic activity) at the time when this is involved in the establishment of a particular structural trait. Neither the organization of the adult nor the modalities of development are encoded in the DNA. The automatic concatenation of cell interactions in the embryo and the structural amplification it entails is conditioned by the specific biochemical composition of the cytoplasm of the egg and by the heterogeneous distribution of its inclusions. (shrink)

This paper analyses the paradigms of interpretation and the evolution of the creative processes in music and law. Whether it is matter of a score or a law, the text is reborn through the work of the interpreter who, in dealing with the epistemological problem of the understanding, has to harmonize the purity of the philological reconstruction of the object with the need to actualize its sense. Moving from the creative character of every interpretation—neither the musician can be reduced (...) to a mere executor of a concatenation of musical symbols on the staff as Stravinsky wanted nor the judge may be conceived as a bouche de la loi according to Montesquieu’s theory—this work, after having discussed Gadamer and Betti’s hermeneutical approaches to music and law, focuses on the issue of the limits to the interpreters’ freedom. The interpretation here proposed revolves around improvisation, seen as a typical cultural practice of the aesthetic dimension of music. Improvisation, which from baroque to jazz does not correspond to the realm of absolute freedom, is used as a trait d’union in order to make a comparison with legal experience. This is particularly true with the development of case law, which becomes increasingly problematic especially in the light of “liquid modernity”, where the “polytheism of values” has been gaining strength. Seen from this perspective, the comparison between the judge and the musician in their activity as interpreters of a formalized system of signs highlights the controversial relationship between form and creativity, the accuracy of the text and the requisites deriving from the social context, certainty and justice. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

Named entity recognition is a subtask in natural language processing, and its accuracy greatly affects the effectiveness of downstream tasks. Aiming at the problem of insufficient expression of potential Chinese features in named entity recognition tasks, this paper proposes a multifeature adaptive fusion Chinese named entity recognition model. The model uses bidirectional long short-term memory neural network to extract stroke and radical features and adopts a weighted concatenation method to fuse two sets of features adaptively. This method can (...) better integrate the two sets of features, thereby improving the model entity recognition ability. In order to fully test the entity recognition performance of this model, we compared the basic model and other mainstream models on Microsoft Research Asia and “China People’s Daily” dataset from January to June 1998. Experimental results show that this model is better than other models, with F1 values of 97.01% and 96.78%, respectively. (shrink)

If all dependent expressions were adjacent some variety of immediate constituent analysis would suffice for grammar, but syntactic and semantic mismatches are characteristic of natural language; indeed this is a, or the, central problem in grammar. Logical categorial grammar reduces grammar to logic: an expression is well-formed if and only if an associated sequent is a theorem of a categorial logic. The paradigmatic categorial logic is the Lambek calculus, but being a logic of concatenation the Lambek calculus can (...) only capture discontinuous dependencies when they are peripheral. In this paper we present the displacement calculus, which is a logic of intercalation as well as concatenation and which subsumes the Lambek calculus. On the empirical side, we apply the new calculus to discontinuous idioms, quantification, VP ellipsis, medial extraction, pied-piping, appositive relativisation, parentheticals, gapping, comparative subdeletion, cross-serial dependencies, reflexivization, anaphora, dative alternation, and particle shift. On the technical side, we prove that the calculus enjoys Cut-elimination. (shrink)

We investigate theories of initial segments of the standard models for arithmetics. It is easy to see that if the ordering relation is definable in the standard model then the decidability results can be transferred from the infinite model into the finite models. On the contrary we show that the Σ₂—theory of multiplication is undecidable in finite models. We show that this result is optimal by proving that the Σ₁—theory of multiplication and order is decidable in finite models as well (...) as in the standard model. We show also that the exponentiation function is definable in finite models by a formula of arithmetic with multiplication and that one can define in finite models the arithmetic of addition and multiplication with the concatenation operation. We consider also the spectrum problem. We show that the spectrum of arithmetic with multiplication and arithmetic with exponentiation is strictly contained in the spectrum of arithmetic with addition and multiplication. (shrink)

This paper introduces the ontology of Emergent Dualism, which takes the position that the elementary stuff of everything in the universe is energy, that this energy can become structured into a series of levels of emergent organization whose operating principles are not derivable from the previous levels, that one of these levels is the concatenations of neural processes called brains, that brains have some particular emergent process that gives rise to subjective experience from the internal viewpoint of that process, and (...) that the private, subjective property of this emergent process entails a dualistic philosophical treatment of its analysis. Normal 0 false false false EN-US X-NONE X-NONE Normal 0 false false false EN-US X-NONE X-NONE. (shrink)

This volume integrates aspects of the Poetics into the broader corpus of Aristotelian philosophy. It both deals with some old problems raised by the treatise, suggesting possible solutions through contextualization, and also identifies new ways in which poetic concepts could relate to Aristotelian philosophy. In the past, contextualization has most commonly been used by scholars in order to try to solve the meaning of difficult concepts in the Poetics. In this volume, rather than looking to explain a specific concept, the (...) contributors observe the concatenation of Aristotelian ideas in various treatises in order to explore some aesthetic, moral and political implications of the philosopher's views of tragedy, comedy and related genres. Questions addressed include: Does Aristotle see his interest in drama as part of his larger research on human natures? What are the implications of tragic plots dealing with close family members for the polis? What should be the role of drama and music in the education of citizens? How does dramatic poetry relate to other arts and what are the ethical ramifications of the connections? How specific are certain emotions to literary genres and how do those connect to Aristotle's extended account of pathe? Finally, how do internal elements of composition and language in poetry relate to other domains of Aristotelian thought? The Poetics in its Aristotelian Context offers a fascinating new insight to the Poetics, and will be of use to anyone working on the Poetics, or Aristotelian philosophy more broadly. (shrink)

Machine generated contents note: -- Introduction to the OneThe Concept of One: From Philosophy to Politics -Artemy Magun Part I. Metaphysics of the One and the Multiple1. More than One -Jean Luc Nancy 2. Condivision, or Towards a Non- communitarian Concatenation of Singularities -Gerald Raunig 3. Unity and Solitude -Artemy Magun 4. The Fragility of the One -Maria Calvacante 5. The One: Construction or Event? For a Politics of Becoming -Boyan Mancher Part II. 20th-Century Thinkers of Unity and Multiplicity (...) 6. Truth and Infinity in Badiou and Heidegger -Alexey Chernyakov 7. Complicated Presence: The Unity of Being in Parmenides and Heidegger -Jussi Bachman 8. The Universal, the General, the Multiple in the Perspective of a Political Utopia: Deleuze and Badiou on the Event -Keti Chukhrov 9. Humanity, Unity and the One -Nina Power Part III. Unity and Multiplicity in Nature 10. Elemental Nature as the Ultimate Common Ground of the World Community -Susanna Lindberg 11. Vegetative Democracy, or the Post-metaphysics of Plants -Michael Marder Part IV. Unity in Action: Forms of Political Consolidation in the Case of Contemporary Russia12. Collectivity in Post-revolutionary Russia -Igor Tchubarov13. Street University: Production of Collective Time and Public Space -Pavel Arsenyev 14. Fighting Together: the Problem of Solidarity -Carine Cle;ment Part V. E Pluribus Unum: Res Publica and Community 5. How Does One Constitute the One? Theology of the Icon, Theory of Non-representative Art and of Non-representative Politics -Oleg Kharkhodin 12. Drawing Lots in Politics: Unity and Totality -Yves Sintomer. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 38.1 (2004) 35-52 [Access article in PDF] Means Without End:Production, Reception, and Teaching in Kant's Aesthetics Gary Peters The Work of Art If aesthetics is to have a role within an art school context, it must be able to engage with the work of art as an ongoing and ontologically open productive enterprise. The reception of the artwork as a completed thing or act (...) and the aesthetic judgment necessary to take pleasure in the contemplation of it is largely irrelevant to the day-to-day work of the artist in the studio or onsite. Rarely do the tutor or student stand before a work that could be claimed to have reached completion or achieved what might be called "finality." On the contrary, in most cases an essential aspect of teaching practice is precisely to resist the impending closure of the work through a critical engagement which challenges the student to consider and reconsider the aesthetic possibilities of given forms within a situation of infinite reflection. Given this, it is important at the outset to consider Kant's notion of finality without end. So we may at least observe a finality of form, and trace it in objects — though by reflection only — without resting it on an end....Whenever an end is regarded as a source of delight, it always imports an interest as determining ground of the judgment on the object of pleasure. Hence the judgment of taste cannot rest on any subjective end as its ground. But neither can any representation of an objective end, i.e., of the possibility of the object itself on the principles of final connection, determine the judgment of taste. 1Echoing his famous description of art as "purposiveness without purpose," here the Kantian relation between finality and endlessness turns attention away from the art object, and the objective judgment determined by it, to the reflective process whereby the act of aesthetic judgment has primacy as that which acts upon the pleasure attending finality in the manner [End Page 35] of a tracing to be traced and retraced by the receiver. By thus denying finality an objective end, it is true that Kant removes the specter of desire from his aesthetics. But does this not also remove the originary work of the work of art, its eruptive production prior to reproduction in what might be called the "instant" of its creation outside of the "always already there" of what Jean-François Lyotard calls "aesthetic time?" 2 Indeed, to go further still, Maurice Blanchot famously conceives of the art work as harboring a radical "worklessness," a "neutral" absence that, nevertheless, is essential to its being a work, or its being as a work. 3 Does Kant's nonobjective account of aesthetic experience direct us, ultimately, toward this peculiar ontological neutrality, or does the communicative imperative at the heart of his aesthetics overlook what Blanchot would call the "fascination" of the work as the inscrutable presence of an absence? It is this problematic that weighs heavily upon the reading and teaching of Kant's aesthetics as presented here.In Lessons on the Analytic of the Sublime, Lyotard offers one solution to the problem. For him, reflective judgment is itself productive — "production that exceeds simple reproduction is an a priori condition for aesthetic judgment" (LAS, 67). That is to say, the power of the imagination and the pleasure associated with this power concern respectively the exercise and the registration of a productivity that is crucial for aesthetic reception to be possible. But does this playful enjoyment of our receptive/productive faculties and their beautiful attunement not obscure or distract us from the pure and immediate desire of the aesthetic where the concatenation of work and worklessness, that is to say, of production and reception, within the creative moment demands from the artist an interest in the ownership of, and responsibility for the work, as well as an absolute (one might say obsessive) commitment to the work of art — the labor of the aesthetic... (shrink)

Decay gradients are usually drawn facing the wrong direction. Righting them emphasizes the role of stimuli that mark the response, and leads to different inferences concerning the factors controlling response–reinforcer associations. A simple model of the concatenation of stimulus traces provides some insight to the problems of impulse control relevant to ADHD.

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 31.3 (2001) 15-29 [Access article in PDF] Globality, Organization, Class Samuel Weber 1 Although one could hardly imagine a topic more far-ranging than "Theory, Globalization, and the Remains of the University," it can be argued that it does not range far enough. Or perhaps ranges too far. For the questions suggested by this concatenation of terms cannot be limited to the fate or future of "theory" in (...) whatever will remain of the "university" in a globalized world. And yet it is no doubt significant that "theory" leads the parade—significant but also perhaps part of the problem. For not just etymology links "theory" to notions such as detached contemplation, spectatorship, and appropriation through vision. The history and practice that have been associated with this term continue, even today, to be indebted to the dualist paradigm of an underlying subject—today reformulated as "agent" or "position"—confronting and comprehending an ob-ject. And yet, if we are still discussing "theory," here and today, it is by virtue of a series of texts that have persistently and powerfully questioned the subject-object paradigm that has dominated theoretical discourse at least since Descartes, and sought to elaborate alternatives to it. Those alternatives have almost always involved a reflection upon language as the medium of a practice that is no longer "theoretical" in the traditional sense, because it no longer works within the parameters of the subject-object model of cognition and truth. From Kierkegaard to Nietzsche, Benjamin, Heidegger, de Man, and Derrida, the subject-object model of cognition has been reinterpreted as an effect of the medium of language, a medium that articulates itself through the reading, writing, and repetition of texts, understood as concatenations of significance that both respond to and address an irreducible alterity.The "university" has always occupied an equivocal position with respect to this "linguistic" problematization of the subject-object model of cognition and truth: not only because "the university" as such has never existed—not at least as the singular universal implied by the definite article—but even more, because of the traditional claim of universities to serve as places where universally valid cognition is both transmitted and produced. In this sense, notions such as "the globalization of the university" simply continue the universalizing claims built into universities and promoted by them in order to justify their social existence and dependency.The very notion, or rather figure, implied in the notion of "globalization" tends to strengthen such universalism. Coming after the struggle between Communist and Capitalist camps in the Cold War, "Globalization" stresses that there is no place left on the "globe" where the capitalist system, its values, its power, and way of life can be contested. The "globe" is all there is, and despite its diversity, it is to have a single future, prolongation of the prevailing relation of forces. Globalization is thus the successor to the notion of "One World," itself a recent offshoot of the "universal history" that was the Enlightenment heir of the Christian eschatological narrative. [End Page 15]But the university has also been one of the few places in modern society where such universalizing and homogenizing tendencies have also been reflected, reworked, and criticized, if not resisted. Thus, if the names mentioned above have any credence at all in the English-speaking world, it is in large part by virtue of its universities, which have extended a certain hospitality to their writings. Like all hospitality, however, that of the universities has rarely been a neutral one. There, as elsewhere, writings are admitted as legitimate "objects" of study only under the double condition, first, of being linked to "proper names," and second, of being received and validated by existing disciplines. In short, writings are received for study in universities on the condition that they be certified as proper "theoretical objects" for "theoretical subjects" defined and validated through their appurtenance to the existing academic division of labor. This division of labor founds its disciplines in the subject-object model of cognition and of truth.This is why the hermeneutic and poststructuralist turn (back) to language as a signifying medium rather than... (shrink)

Les choses ne sont pas que des choses. Peut-être quelque chose d'essentiel échappe-t-il encore à la méthodologie philosophique appliquée aux théories des formes complexes aujourd'hui. Comment le simple et le complexe, deux catégories apparemment contraires, sont-elles dès les prémices de l'univers, nouées de façon inséparable? Tel est le problème onto-cosmologique que vise à résoudre l'homme sur terre, pour autant qu'il est exposé à l'avènement du posthumanisme persistant et au surgissement du transhumanisme subsistant. La nature n'est plus seulement moulée dans une (...) série des formes chaotiques, mais elle est aussi façonnée par une concaténation des systèmes catastrophiques. Il existe donc des choses imprévues que personne n'a jamais vues et des pensées fractales que personne n'a jamais eues dans le monde. (shrink)

Dual factor theories of meaning are fatally flawed in at least two ways. First. their very duality constitutes a problem: the two dimensions of meaning (reference and conceptual role) cannot be treated as totally orthogonal without compromising the intuition that much of our linguistic and non linguistic behavior is based on the cognizer’s interaction with the world. Second, Conceptual Role Semantics is not adequate for explaining a crucial feature of linguistic representation, viz., the special kind of compositionality known as (...) concatenative compositionality. Dual factor theories, I conclude, cannot constitute an acceptable philosophical model of content. (shrink)

The proposition 'seattle is west of spokane' has three parts: two\nproper names and the predicate 'is west of.' the fact pictured has\ntwo: seattle and spokane. but the picture theory holds that there\nmust be a one-to-one correspondence between fact and proposition.\nhow does wittgenstein solve this problem in the 'tractatus'? on one\ninterpretation the fact contains a third part, a relation, corresponding\nto the predicate (evans and stenius). on another the proposition\nis transformed by analysis into a two-dimensional diagram, the predicate\ndisappearing in the process (...) (copi and anscombe). both are rejected.\ntwo new suggestions are offered: (1) the number of possible configurations\nof 'simple' objects is not greater than the number concatenations\nof names, so no predicate is needed in 'elementary' propositions;\n(2) or the predicate can be taken as the analogue of the direction\narrow on a map and not counted as a part of the proposition. (shrink)

This paper studies the concept of memory as understood in Spinoza’s body of work, focusing mainly on E 2P18. The main features of memory’s functioning are explained across three conceptual axes: affectio, vestigium and concatenation. These shape Spinoza’s own argumentation in the cited proposition and also recall Aristotle’s theory on memory’s function and functioning. The link between both theories helps transversely to elucidate Spinoza’s position regarding the problem of the identity of the individual.

Words in Semitic texts often consist of a concatenation of word segments, each corresponding to a Part-of-Speech (POS) category. Semitic words may be ambiguous with regard to their segmentation as well as to the POS tags assigned to each segment. When designing POS taggers for Semitic languages, a major architectural decision concerns the choice of the atomic input tokens (terminal symbols). If the tokenization is at the word level the output tags must be complex, and represent both the segmentation (...) of the word and the POS tag assigned to each word segment. If the tokenization is at the segment level, the input itself must encode the different alternative segmentations of the words, while the output consists of standard POS tags. Comparing these two alternatives is not trivial, as the choice between them may have global effects on the grammatical model. Moreover, intermediate levels of tokenization between these two extremes are conceivable, and, as we will aim to show, beneficial. To the best of our knowledge, the problem of tokenization for POS tagging of Semitic languages has not been addressed before in full generality. In this paper, we study this problem for the purpose of POS tagging of Modern Hebrew texts. After extensive error analysis of the two simple tokenization models, we propose a novel, linguistically-motivated, intermediate tokenization model that gives better performance for Hebrew over the two initial architectures. Our study is based on the well-known Hidden Markov Models (HMMs). We start out from a manually devised morphological analyzer and a very small annotated corpus, and describe how to adapt an HMM-based POS tagger for both tokenization architectures. We present an effective technique for smoothing the lexical probabilities using an untagged corpus, and a novel transform for casting the segment-level tagger in terms of a standard, word-level, HMM implementation. The results obtained using our model are on par with the best published results on Modern Standard Arabic, despite the much smaller annotated corpus available for Modern Hebrew.. (shrink)

A physical framework has been proposed which describes manifestly covariant relativistic evolution using a scalar time τ. Studies in electromagnetism, measurement, and the nature of time have demonstrated that in this framework, electromagnetism must be formulated in terms of τ-dependent fields. Such an electromagnetic theory has been developed. Gravitation must also use of τ-dependent fields, but many references do not take the metric's dependence on τ fully into account. Others differ markedly from general relativity in their formulation. In contrast, this (...) paper outlines steps towards a τ-dependent classical intrinsic formulation of gravitation, patterned after general relativity, which we call parametrized general relativity (PGR). Given the existence of a preferred foliation, the Hamiltonian constraint is removed. We find that some nonmetricity in the connection is allowed, unlike in general relativity. Conditions on the allowable nonmetricity are found. Consideration of the initial value problem confirms that the metric signature should normally be O(3, 2) rather than O(4, 1). Following the lead of earlier works, we argue that concatenation (integration over τ) is unnecessary for relating parametrized physics to experience, and propose an alternative to it. Finally, we compare and contrast PGR with other relevant gravitational theories. (shrink)

Leading philosophical accounts of joint activity, such as Michael Bratman’s account of ‘shared intentional activity’, take joint activity to be the outcome of two or more agents having a ‘shared intention’, where this is a certain pattern of mutually known prior intentions that are directed toward a common goal. With Bratman’s account as a foil, I address two lacunas that are relatively unexplored in the philosophical literature. The first lacuna concerns how to make sense of the apparently joint cooperative activities (...) of agents that lack the capacities for planning and “mindreading” that one must have in order to be a party to a shared intention. The second lacuna concerns how participants are able to coordinate their actions “online”—that is, during action execution as a joint activity unfolds—without recourse to plans that specify in advance what they should do. Chapters 2 and 3 focus on the first lacuna, while chapters 4 and 5 focus on the second. In chapter 2, I focus on why participants must have mutual or common knowledge of each other’s intentions and beliefs in order to have a shared intention: Why must these attitudes be “out in the open”? I argue that, if participants lack the concept of belief, then one of the two main motivations for the common knowledge requirement—to filter out certain cases that intuitively aren’t cases of genuine joint activity—actually dissipates. Furthermore, a kind of “openness” that only requires of participants that they have the concept of goal but not that of belief can satisfy the other main motivation, to make sense of the idea that joint activities are non-accidentally coordinated. In chapter 3, I offer an account of a kind of joint activity in which agents such as young children and some non-human primates could participate, given what we know about their socio-cognitive capacities. In chapter 4, I argue that ‘shared intention’-accounts are unable to say much about spontaneous or skilful joint action because of the following widely accepted constraint on what one can intend: while an agent might intend—in the sense of commit to a plan—that “we” do something together, an agent cannot intend to perform “our” joint action. I reject this constraint and argue that some joint actions are joint in virtue of each participant having what I call ‘socially extended intention-in-action’ that overlap. In chapter 5, I review empirical work on subpersonal enabling mechanisms for the coordination of joint action. The review provides clues to what it is that enables participants to successfully coordinate their actions in the absence of plan-like intentions or beyond what such intentions specify. While what I address are lacunas rather than problems, an upshot of this thesis is that leading philosophical accounts of joint activity may have less explanatory scope than one might otherwise be led to believe. The accounts of joint activity and joint action that are presented in this thesis are arguably applicable to many of the joint activities and joint actions of adult human beings. The account also helps us avoid the false dichotomy between a very robust form of joint activity and a mere concatenation of purely individualistic actions—a dichotomy that accounts such as Bratman’s arguably invite us to adopt. (shrink)

This collection of twenty-three papers from the period 1934-1960 is concerned with formal number theory and syntax, axiomatic set theory, truth functions, and quantification theory. In the first group appear "Concatenation as a basis for arithmetic" and "Definition of substitution," among others; the second includes "Set-theoretic foundations for logic," "On ω-inconsistency," and "Element and number." Quine's important articles "Completeness of the propositional calculus" and "Cores and prime implicants of truth functions" are in the third section; the last one includes (...) "A proof procedure for quantification theory" and "Church's theorem on the decision problem". These are but a few of many important articles. All the articles have been reset in a new, perspicuous type-face which makes study easier. Several important papers which were omitted should, in the reviewer's opinion, have been included, but this is a minor quibble. Quine's stature in modern logic can be gauged by examining these papers.—P. J. M. (shrink)

The infinitary languages studied in this book are those in which quantification of infinitely many variables simultaneously, and conjunctions or alternations of infinitely many are permitted. Infinitary concatenation and infinitary propositional logics are first discussed, and a completeness theorem is proved about the latter. The later chapters deal with infinitary predicate languages and Scott's proof of incompleteness is introduced. Throughout the discussion, unsolved problems are mentioned and areas undergoing current development are emphasized. A short bibliography lists most recent articles (...) on this new branch of logic.—P. J. M. (shrink)

Logical pluralism is the theory that there is more than one right logic. Logical instrumentalism is the view that a logic is a correct logic if it can be used to fruitfully pursue some deductive inquiry. Logical instrumentalism is a version of logical pluralism, since more than one logic can be used fruitfully. In this paper, I will show that a logical instrumentalist must accept linear logic as a correct logic, since linear logic is useful for studying natural language syntax. (...) I further show that this means that the logical instrumentalist must accept a wide range of connectives, in particular concatenation. I end by explaining why this is a feature rather than a bug. (shrink)

We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theory TC. We prove that WTC is mutually interpretable with the weak theory of arithmetic R. The latter is, in a technical sense, much weaker than Robinson's arithmetic Q, but still essentially undecidable. Hence, as a corollary, WTC is also essentially undecidable.

Keystream sequences should look as random as possible, i.e. should present no logical pattern to be exploited in cryptographic attacks. The generalized self-shrinking generator, a sequence generator based on irregular decimation, produces a family of sequences with good cryptographic properties. In this work, we display a detailed analysis on the randomness of the sequences resulting from the concatenation of elements of this family. We apply the most important batteries of statistical and graphical tests providing powerful results and a new (...) method to construct sequences with good cryptographic properties. (shrink)

In his paper "Undecidability without arithmetization," Andrzej Grzegorczyk introduces a theory of concatenation $\mathsf{TC}$. We show that pairing is not definable in $\mathsf{TC}$. We determine a reasonable extension of $\mathsf{TC}$ that is sequential, that is, has a good sequence coding.

We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.

We consider weak theories of concatenation, that is, theories for strings or texts. We prove that the theory of concatenation WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document}, which is a weak subtheory of Grzegorczyk’s theory TC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{TC}^{-\varepsilon}}$$\end{document}, is a minimal essentially undecidable theory, that is, the theory WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document} is essentially undecidable and if one omits an axiom scheme from (...) WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document}, then the resulting theory is no longer essentially undecidable. Moreover, we give a positive answer to Grzegorczyk and Zdanowski’s conjecture that ‘The theory TC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{TC}^{-\varepsilon}}$$\end{document} is a minimal essentially undecidable theory’. For the alternative theories WTC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}}$$\end{document} and TC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{TC}}$$\end{document} which have the empty string, we also prove that the each theory without the neutrality of ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varepsilon}$$\end{document} is to be such a theory too. (shrink)

This paper presents a slightly modified version of the compositional semantics proposed in Events and Semantic Architecture (OUP 2005). Some readers may find this shorter version, which ignores issues about vagueness and causal constructions, easier to digest. The emphasis is on the treatments of plurality and quantification, and I assume at least some familiarity with more standard approaches.

There are (at least) four numbers of physical and cosmological significance, whose inferred values, when expressed in mass units, cluster in a window below 1 eV. There are: the neutrino mass, the neutrino chemical potential, the cosmological constant, and the size of two extra dimensions (if the fundamental scale of gravity is 1–10 TeV). In this note, we imagine ways in which these four numbers could all be connected.

The dynamical equations of relativistic quantum mechanics prescribe the motion of wave packets for sets of events which trace out the world lines of the interacting particles. Electromagnetic theory suggests thatparticle world line densities be constructed from concatenation of event wave packets. These sequences are realized in terms of conserved probability currents. We show that these conserved currents provide a consistent particle and antiparticle interpretation for the asymptotic states in scattering processes. The relation between current conservation and unitarity is (...) used to establish relations between pair production and annihilation amplitudes and scattering. The discrete symmetriesC, T, P are studied and it is shown that no Dirac sea (for fermions where such a construction is possible, or bosons where it is not) is required for consistency of the theory. These currents, furthermore, represent the discrete symmetries in a way consistent with their interpretation as particle currents. (shrink)

Paul M. Pietroski, University of Maryland For any sentence of a natural language, we can ask the following questions: what is its meaning; what is its syntactic structure; and how is its meaning related to its syntactic structure? Attending to these questions, as they apply to sentences that provide evidence for Davidsonian event analyses, suggests that we reconsider some traditional views about how the syntax of a natural sentence is related to its meaning.

In the language $\lbrace 0, 1, \circ, \preceq \rbrace$, where 0 and 1 are constant symbols, $\circ$ is a binary function symbol and $\preceq$ is a binary relation symbol, we formulate two theories, $\textsf {WD}$ and ${\textsf {D}}$, that are mutually interpretable with the theory of arithmetic ${\textsf {R}}$ and Robinson arithmetic ${\textsf {Q}}$, respectively. The intended model of $\textsf {WD}$ and ${\textsf {D}}$ is the free semigroup generated (...) by \(\lbrace {\varvec{0}}, {\varvec{1}} \rbrace \) under string concatenation extended with the prefix relation. The theories $\textsf {WD}$ and ${\textsf {D}}$ are purely universally axiomatised, in contrast to ${\textsf {Q}}$ which has the $\varPi _2$ -axiom $\forall x \; [ \ x = 0 \vee \exists y \; [ \ x = Sy \ ] \ ]$. (shrink)