En este trabajo se considera la orientación filosófica que cobra la ciencia desde la perspectiva materialista de la Teoría del Cierre Categorial. Se da cuenta de cómo entender la teoría como ideología, y se muestra que concebirla como señal permite percibir que ésta teoría materialista de la ciencia establece dos objetivos científicos fundamentales: el operacionalismo y el desarrollo y/o progreso, y pone de relieve un problema: la falta de desarrollo de la articulación entre conocimiento y acción que permita (...) atender a la axiología. (shrink)

-- 2. La Gnoseología como filosofía de la ciencia (parte I, sección 2) ; Historia de la teoría de la ciencia (parte I, sección 3) -- 3. El Sistema de las doctrinas gnoseológicas ; Las cuatro familias básicas (parte II, sección 1) -- 4. El sistema de las doctrinas gnoseológicas ; Descripcionismo (parte II, sección 2) ; Teoreticismo (parte II, sección 3) -- 5. Adecuacionismo (parte II, sección 4) ; Circularismo (parte II, sección 5) ; Glosario.

El surgimiento de la biología molecular en la frontera que separa la teoría genética y la bioquímica constituye un buen banco de pruebas para distintas estrategias metacientíficas. El teoreticismo de las revoluciones científicas de Thomas S. Kuhn propende hacia un constructivismo social que no sirve para dar cuenta de la posible verdad y corrección del teorema de la doble hélice. El enfoque semántico (desarrollado por J. Sneed, W. Stegmüller, U Moulines, etc.), aunque pretende adecuar sus análisis a los contenidos estructurales (...) y al significado de los teoremas científicos, acaba disolviendo estos en meras correspondencias formales. La teoría del cierre categorial, en cambio, se adscribe a un constructivismo circularista que permite entender los dogmas sobre la estructura del ADN como si fueran identidades sintéticas materiales sin desdeñar por ello los aspectos pragmáticos, históricos y sociales, que valoran en su justa medida las aportaciones del grupo Fago, de Watson y Crick, de Pauling o de las universidades implicadas. (shrink)

La realización del Proyecto Genoma Humano (PGH) supuso la utilización de diversas técnicas de cartografiado y secuenciación del genoma. En términos muy generales, los mapas del genoma permiten identificar y aislar genes individuales, esto es, fragmentos de ADN que codifican una determinada cadena polipeptídica. Por su parte, la secuenciación consiste en la determinación del orden de las bases nitrogenadas del ADN. Las técnicas implicadas en ambos procesos, aunque plurales y heterogéneas, tienen su origen en el ámbito de la biotecnología. En (...) su desarrollo constatamos cómo un conjunto de realidades heterogéneas se configuran como artefactos, operadores y relatores, en relación a otras configuraciones circulares y radiales con las que se codeterminan. (shrink)

RESUMEN El presente articulo procura dar cuenta del problema de la formación de conceptos en Ser y tiempo a partir de la contramovilidad que asume la filosofia respecto de las tendencias auto-supresivas de la vida cotidiana. En un primer momento se distinguen algunos niveles, tendencias y direcciones involucrados en los procesos de formación de conceptos de las ciencias y de la filosofia desde la estela de Ser y tiempo. En un segundo momento se deslindan algunas operaciones categoriales inmanentes a la (...) formación de conceptos a partir del despliegue de lo que Heidegger denomina el acto fundamental de la objetivación, identificable con la tematización y con las direcciones en la que ésta se ejecuta. En un tercer momento, y a modo de cierre, se intenta echar luz sobre la peculiar actitud fundamental de la filosofia para mostrar que ésta se caracteriza, en contra de la Grundhaltung de las ciencias, por lo que podemos denominar con Heidegger una contra-tendencia respecto de la actitud natural-cotidiana. ____________________________________________________________________________________________________ ____ -/- ABSTRACT This article accounts for the different levels, tendencies, and directions involved in theprocess of concept-formation that is proper to both sciences and philosophy in Being and Time. It distinguishes different immanent categorial operations that belong tothe concept formation from the perspective of the unfolding of the fundamental act of objectivation. The article shows, additionally, that Heidegger identifies this Grundakt with thematization and with the concrete directions within which thisact is executed. The paper clarifies, finally,what it is the Grundhaltung of philosophy in order to show that its fundamental attitude is characterized by a Gegenbewegung or Gegenzug. (shrink)

Classical categorial grammars are the grammars introduced by Ajdukiewicz [1] and formalized by Bar-Hillel [2], Bar-Hillel et al. [3]. In [3] there is proved the weak equivalence of CCG’s and context-free grammars [6]. In this note we characterize the strong generative capacity of finite and rigid CCG’s, i.e. their capacity of structure generation. These results are more completely discussed in [4], [5].

THE TITLE OF THIS PAPER calls for clarification. Not only are there several senses in which something may be said to "be," there are also many nuances to the terms "categorial" and "intuition." Taking Aristotle as a guide, let us focus upon the primary sense of "being," that is, substance considered both as first substance and second substance. We may then take "categorial" as referring to what Aristotle calls the "figures of predication," the ways in which predicates characterize (...) subjects, indicating "what" the subject is, its quality, quantity, relation, its "where," its "when," and so forth. The term "intuition" expresses something too primitive to be defined, but Edmund Husserl's metaphorical contrast between the "emptiness" of thought and speech and the "fullness" of intuition successfully highlights its essential characteristic. A couple of examples should suffice to grasp the import of Husserl's distinction. Consider the difference, for instance, between first entertaining vague plans of visiting a foreign city and then experiencing the fulfillment of actually strolling through its streets, or the difference between first reading a manual of instructions for performing some task and then actually executing the task skillfully. Taking Husserl as a guide, let us therefore characterize intuition broadly as the presentation of something in its fullness, as opposed to thinking or talking about it in an empty way. Finally, combining Husserlian and Aristotelian terminologies, we may describe categorial intuition as the presentation of figures of predication. Rather than presenting some particular thing, say a red chair, categorial intuition presents the chair's being red, the red quality's belonging to the chair. In short, categorial intuition makes present the modes of presentation of things. (shrink)

This paper revisits two fundamental issues in question semantics—what does a question mean, and how is this meaning compositionally derived? Drawing on observations with the distribution of wh-words in questions and free relatives as well as quantificational variability effects in question-embeddings, I argue that the nominal meanings of short answers must be derivable from question denotations, which therefore calls for a categorial approach to defining questions, including embedded questions. I provide a novel hybrid categorial approach to compose questions. (...) This approach overcomes the problems with traditional categorial approaches in defining bare wh-indefinites, composing multi-wh questions, and accounting for coordinations of questions. (shrink)

This paper solves a natural but still open question: can abstract categorial grammars (ACGs) respresent usual categorial grammars? Despite their name and their claim to be a unifying framework, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows that Non-Associative Lambek grammars as well as their derivations can be defined using ACGs of order two. To conclude, the outcome of such a representation are discussed.

Kant's "supreme principle of morality," which he calls the "categorical imperative," is often applied by him to specific cases to reach conclusions about particular moral duties, e.g., to abstain from suicide, to not make lying promises, to render assistance to others. There are a number of such applications in the first part of his Metaphysik der Sitten , entitled the Rechtslehre, that have had less attention paid to them. In the Rechtslehre Kant is concerned with state-created laws enforced by punishment, (...) that will serve to guarantee the rights of citizens. This makes the application process somewhat different from the more familiar examples from Kant's earlier Grundlegung zur Metaphysik der Sitten, which are concerned with the agent's inner decision process and the self-constraint of moral motivation. The present essay examines in some detail Kant's argument to show that there should be no such thing as an hereditary aristocracy, and compares it with the argument against making a lying promise in the Grundlegung. There are significant similarities and differences, and there are also significant connections to the ideas of John Rawls in A Theory of Justice . More briefly discussed are Kant's arguments in the Rechtslehre concerning punishment and the right of property. The whole discussion is intended as an introduction to the issues concerning the application of the categorical imperative in contexts where the result is external state-enforced laws, rather than an internal morally motivated moral decision. The issue in the former is said to be what persons abstractly considered could give their consent to in advance, where Kant makes a key distinction between a priori considerations having to do with agent liberty which lead to a moral decision concerning citizen rights, and empirical considerations having to do with happiness, which do not lead to conclusions concerning citizen rights. (shrink)

Geach’s rich paper ‘A Program for Syntax’ introduced many ideas into the arena of categorial grammar, not all of which have been given the attention they warrant in the thirty years since its first publication. Rather surprisingly, one of our findings (Section 3 below) is that the paper not only does not contain a statement of what has widely come to be known as “Geach’s Rule”, but in fact presents considerations which are inimical to the adoption of the rule (...) in question. With regard to at least some amongst the numerous other points extracted here from Geach’s discussion, we shall not be able to reach so definitive a conclusion, and content ourselves with giving the issues an airing. (shrink)

In [2], Bar-Hillel, Gaifman, and Shamir prove that the simple phrase structure grammars (SPGs) defined by Chomsky are equivalent in a certain sense to Bar-Hillel's bidirectional categorial grammars (BCGs). On the other hand, Cohen [3] proves the equivalence of the latter ones to what the calls free categorial grammars (FCGs). They are closely related to Lambek's syntactic calculus which, in turn, is based on the idea due to Ajdukiewicz [1]. For the reasons which will be discussed in the (...) last section, Cohen's proof seems to be at least incomplete. This paper yields a direct proof of the equivalence ofFCGs andSPGs. (shrink)

Discontinuity refers to the character of many natural language constructions wherein signs differ markedly in their prosodic and semantic forms. As such it presents interesting demands on monostratal computational formalisms which aspire to descriptive adequacy. Pied piping, in particular, is argued by Pollard (1988) to motivate phrase structure-style feature percolation. In the context of categorial grammar, Bach (1981, 1984), Moortgat (1988, 1990, 1991) and others have sought to provide categorial operators suited to discontinuity. These attempts encounter certain difficulties (...) with respect to model theory and/or proof theory, difficulties which the current proposals are intended to resolve.Lambek calculus is complete for interpretation byresiduation with respect to the adjunction operation of groupoid algebras (Buszkowski 1986). In Moortgat and Morrill (1991) it is shown how to give calculi for families of categorial operators, each defined by residuation with respect to an operation of prosodic adjunction (associative, non-associative, or with interactive axioms). The present paper treats discontinuity in this way, by residuation with respect to three adjunctions: + (associative), (.,.) (split-point marking), andW (wrapping) related by the equations 1+s 2+s 3=(s 1,s 3)Ws 2. We show how the resulting methods apply to discontinuous functors, quantifier scope and quantifier scope ambiguity, pied piping, and subject and object antecedent reflexivisation. (shrink)

In this article, Józef M. Bocheński is presented as a representative of the methodological tendencies of the Lvov–Warsaw School. Special attention is given to the reconstructive analysis of concepts, the categorial trait of this procedure, and examples of its application by Bocheński. First, some historical and substantial arguments are presented for including Bocheński in the LWS. Secondly, the procedure of the reconstruction of concepts applied in the LWS is characterized. Then the attention turns to the categorial trait of (...) the analysis as indicated by Bocheński. Finally, two examples of Bocheński’s categorial reconstruction of concepts are presented. The article ends with a recapitulation and general remarks. (shrink)

In this paper we show that the membership problem for second order non-linear Abstract Categorial Grammars is decidable. A consequence of that result is that Montague-like semantics yield to a decidable text generation problem. Furthermore the proof we propose is based on a new tool, Higher Order Intersection Signatures, which grasps statically dynamic properties of λ-terms and presents an interest in its own.

이 글은 100년 전 일본의 간토(관동)지역과 43년 전 한국의 광주에서 발생한 국가폭력과 민간인 학살을 사회철학적으로 재조명한 연구이다. 이 글은 국가폭력을 계엄령 이후의 비상사태에서 발생하는 군경의 물리적 폭력만이 아닌 평범한 일상의 정상상태에서 발생하는 범주적 살인으로 규명한다. 학살은 범주적 살인의 도구인 추상화⋅표본화⋅본질화를 통해 평범한 일상에서 특정 개인과 집단의 사회적 가시성을 제거하는 것에서 시작한다. 범주적 살인은 규범화된 사회적 공간에서 ‘이미 그리고 항상’ 발생하며, 이는 범주적 살인이 물리적 학살로 전화될 수 있는 폭력의 촉진제임을 의미한다. 이러한 맥락에서 학살은 예외가 아닌 상례이며, 제노사이드는 불연속이 아닌 연속체가 (...) 된다. 이 글은 학살을 사회적 파국을 수단으로 삼아 사회를 총체적으로 통제하는 관리된 살인으로 규명하고, 그 목적은 학살 자체가 아니라 권력이 추구하는 질서의 구축에 있다고 해명한다. 이를 통해, 이 글은 범주적 살인이 평범한 일상과 물리적 학살을 잇는 제노사이드적 연속체임을 주장할 것이다. (shrink)

A superficial glance at the philosophies of Hegel and Whitehead reveals some not insignificant thematic parallels and/or convergences: Both take process rather than static substance to be central, and both conceive it as a social, organic whole; both share a critique of the philosophical tradition of substance metaphysics, and both reject the substance-accident scheme. The question arises whether such thematic parallels are merely fortuitious, or grounded in yet more fundamental convergence. A formidable obstacle in making such a determination is created (...) by the vastly different philosophical terminology. Both Hegel and Whitehead generate new terminology partly as a result of their critique of the tradition and partly as a result of their construals of the philosophical task. Hegel’s terminology resists successful translation into English. And Whitehead’s terminology is anti-idealistic. Yet Whitehead himself acknowledges Hegel’s influence and characterizes his own argument in Process and Reality as an “Hegelian development of an idea.” Hence it is not surprising or difficult to find thematic and topical parallels between Whitehead and Hegel. The real problem is to determine what such parallels mean. Much work remains to sort this problem out, and the sorting out requires that fundamental questions concerning the possibility of speculative philosophy, as well as philosophical method, be addressed. (shrink)

Two axiomatizations of the nonassociative and commutative Lambek syntactic calculus are given and their equivalence is proved. The first axiomatization employs Permutation as the only structural rule, the second one, with no Permutation rule, employs only unidirectional types. It is also shown that in the case of the Ajdukiewicz calculus an analogous equivalence is valid only in the case of a restricted set of formulas. Unidirectional axiomatizations are employed in order to establish the generative power of categorial grammars based (...) on the nonassociative and commutative Lambek calculus with product. Those grammars produce CF-languages of finite degree generated by CF-grammars closed with respect to permutations. (shrink)

A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.