En su primer período friburgués y en su período marburgués Martin Heidegger desarrolla el método hermenéutico fenomenológico con motivo de aprehender el sentido original de la vida en su ser vivida. La indicación formal es el elemento de conceptualización que el autor articula en correspondencia a las particularidades del fenómeno-vida y a su aprehensión. El presente artículo tiene por objetivo la presentación clara y concreta de la idea y las diferentes tareas metódicas que pertenecen a este elemento.

RESUMEN: El presente artículo se centra en algunos de los aspectos centrales de la concepción heideggeriana de la indicación formal. Como es sabido, el filósofo toma como punto de partida en una de las más tempranas exposiciones de este metaconcepto, una explicación delimitativa frente a otras operaciones conceptuales. Se revisará críticamente la explicación que Heidegger hace de la generalización a diferencia de la formalización, destacando especialmente que no se trata aquí de una mera distinción entre generalización y formalización, (...) sino de una estructura de fundamentación. En segundo lugar se argumenta que la crítica de Heidegger no se dirige directamente contra la formalización, sino contra el contexto metódico al cual sirve. Por último, a modo de conclusión, se intenta mostrar que para Heidegger concebir la indicación formal como principio de la investigación fenomenológica, supone que ella es, por vía negativa, una radicalización de la tendencia a lo formal.ABSTRACT: The aim of this article is to focus on central aspects of Heidegger's conception of the formal indication. An early Heideggerian exposition of this meta-concept take as starting point a differentiation from others conceptual operations. First, it will be critical discuss the exposition of the generalization. The main point is that the distinction of generalization and formalization is rather a foundational structure than a simple difference. This premise leads to the view that the Heidegger's critical attempt is not addressed to the formalization as such, but rather to the methodological context to which the formalization serves. Finally, based on this, it will be claimed that is a necessary condition for the determination of the formal indication as a methodological principle of the phenomenological investigation, that this meta-concept is a radical tendency toward the formal. (shrink)

En sus primeras lecciones de Friburgo, Heidegger planteó que una conceptuación originariamente filosófica debía tener un carácter indicativo-formal. Esto involucraba una transformación metodológica de la fenomenología hacia una hermenéutica de la vida fáctica. En este artículo se expone cómo la asunción de un procedimiento indicativo-formal permite a Heidegger superar ciertos problemas, apuntados por Natorp, que amenazaban la comprensión de Husserl de la fenomenología. Por otra parte, se hace también una consideración crítica del planteamiento fenomenológico original de Heidegger. In (...) his first Freiburg lessons Heidegger proposed that an original philosophical conceptualization had to have a formal-indicative character. This involved a deep methodological transformation of phenomenology towards a hermeneutics of factual life. This work expounds how the assumption of a formal-indicative procedure allows Heidegger to overcome certain problems of Husserl's understanding of phenomenology, which Natorp had pointed out. Besides, this paper makes a critical consideration of Heidegger's original phenomenological approach. (shrink)

El artículo argumenta que se puede trazar un paralelo entre la elaboración husserliana del imperativo categórico y la caracterización heideggeriana de la indicación formal en los tempranos cursos de Friburgo. Introduce la cuestión con una exposición de la distinción heideggeriana entre los niveles de objetualización teórica, objetivización formal y el “proto-algo”. El artículo se ocupa luego de comparar el sentido de contenido heideggeriano con la primera formulación del imperativo categórico como un motivo conductor para subsiguientes especificaciones. Esto (...) proporciona una base para considerar una ulterior semejanza entre el sentido de referencia y el desarrollo del imperativo con relación a un mundo de objetos, a un horizonte intersubjetivo y al pleno horizonte de la propia vida, en armonía con las nociones heideggerianas de mundo circundante, mundo compartido y mundo del sí-mismo. Además, se argumenta que el sentido de ejecución puede ser tomado como un modelo para el énfasis husserliano en el logro de un cumplimiento del imperativo. Por último, el “proto-algo”, que es indiferente a cualquier tipo particular de objeto, es considerado a la luz de las unidades hyléticas pre-objetivas de Husserl, que pueden ser convertidas en objetos perceptivos, emotivos o volitivos. (shrink)

The influence of Saint Augustine in the existential analysis of Being and Time is highly recognized and is always a source of fruitful research. Our work, however, will try to discover the elongated shadow of the bishop of Hippo in the definition of the task of thinking, and therefore in II Heidegger, from what we will call the salvation of the vital-existential moment of the experience of the encounter with the absolute. It is investigated here, then, the possibility that the (...) fundamental notes on which, in our opinion, the mystical experience that is inferred in the Confessions can count as formal indicators of what is the heideggerian notion of meditative thinking. (shrink)

En las últimas décadas se ha tomado gran conciencia dentro de los estudios heideggerianos de la relevancia de la indicación formal. En efecto, en ella se encuentra la pieza clave de la metódica filosófica de este pensador. Heidegger introduce por primera vez este concepto a través de una delimitación frente a otras operaciones conceptuales. El siguiente artículo se limitará a la exposición crítica que Heidegger hace de la generalización y de la formalización para mostrar que aquí late una (...) discusión mucho más compleja con la fenomenología husserliana. La propuesta esencial de este artículo es que el problema acerca de los conceptos filosóficos se sitúa con Heidegger en el plano fundamental del problema de los principios metódicos de la investigación filosófica. (shrink)

El texto aborda una de las cuestiones metodológicas fundamentales que Heidegger se planteaba en las Frühe Freiburger Vorlesungen (1919-1923), a saber, el problema de la indicación formal. En efecto, si la vida misma (Dasein) es un acontecimiento de sentido cerrado en sí mismo es necesario establecer un punto de vista que exprese conceptualmente la vida sin objetivarla. El gran problema con el que Heidegger se enfrenta es encontrar un metalenguaje no objetivante. El concepto de indicación formal (...) es lo que le permite elaborar un discurso sobre el origen. (shrink)

En el parágrafo §7 de Ser y Tiempo Heidegger distingue entre «vulgar», «formal» y «fenomenológico» a propósito del concepto de «fenómeno». El objetivo del presente artículo es mostrar, en primer lugar, que esta diferencia puede entenderse únicamente desde una previa aclaración de los motivos metodológicos del término. Se sostendrá, en segundo lugar, que todo tratamiento temático es al mismo tiempo un tratamiento metodológico, esto es, que la fenomenología hermenéutica de la existencia humana desarrolla y oculta un particular discurso del (...) método. (shrink)

Tratamos, en este trabajo, de un curso de Heidegger de su primera época de Friburgo, a saber Phänomenologie der Anschauung und des Ausdrucks. Theorie der Philosophischen Begriffsbildung, del semestre de invierno 1919/20. Se deciden en dicha época, para Heidegger, cuestiones esenciales en punto a qué sea fenomenología y cuál haya de ser su método. En la primera parte de mi artículo presento ciertos conceptos clave de esta fenomenología de la intuición y de la expresión como son los conceptos de palidecimiento (...) o Verblassung del significado, así como los relativos al movimiento que se presenta como su contrapunto, a saber, la llamada Phänomenologische Destruktion, evidenciando su relación con el hoy célebre proceder «formalmente indicativo», y que tiene en la llamada Phänomenologische Diiudication su punto culminante. Dedicaré una segunda parte a la brillante aplicación de la «destrucción fenomenológica» al concepto de «historia» y a sus diversos sentidos, haciendo uso de las célebres categorías hermenéuticas (Gehaltsinn, Vollzugsinn, Bezugsinn) en las que se moverá el uso de la indicación formal. Veremos así a la destrucción fenomenológica a la obra. (shrink)

RESUMENLa idea de la filosofía sostenida por Heidegger en sus primeros cursos puede ser caracterizada por las notas que Karl Jaspers utiliza para describir a los profetas de la comunicación indirecta. El objetivo de este artículo es mostrar la influencia de la labor metodológica de Søren Kierkegaard en el joven Heidegger.PALABRAS CLAVEHEIDEGGER, KIERKEGAARD, COMUNICACIÓN INDIRECTA,INDICACIÓN FORMAL, ÉTICA DEL MÉTODOABSTRACTThe idea of philosophy held by Heidegger in his early courses can be characterized by the features that Karl Jaspers uses (...) to describe the prophets of indirect communication. The aim of this article is to show the influence of Søren Kierkegaard’s methodological work on the young Heidegger.KEY WORDSHEIDEGGER, KIERKEGAARD, INDIRECT COMMUNICATION,FORMAL INDICATION, ETHICS OF METHOD. (shrink)

Este artículo analiza los aspectos metodológicos principales del proyecto heideggeriano de una ontología fundamental. Heidegger considera que no hay un punto de partida privilegiado, porque todos estamos hermenéuticamente situados. Por ello propone que la investigación filosófica comience justo donde ya nos encontramos. Esto significa que debemos apropiarnos de nuestra situación hermenéutica. La explicación de esta idea mostrará la clave metodológica de la ontología heideggeriana: la indicación formal. Ella habilita un acceso al fenómeno sin abandonar el marco de la (...) facticidad. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, (...) but also relations between what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

Science in a new sense arises in the first instance from Plato's establishing of logic, as a place for exploring the essential requirements of "genuine" ...

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

In this paper, we prove the correspondence between complete extensions in abstract argumentation and 3-valued stable models in logic programming. This result is in line with earlier work of [6] that identified the correspondence between the grounded extension in abstract argumentation and the well-founded model in logic programming, as well as between the stable extensions in abstract argumentation and the stable models in logic programming.

The concept ofsemantic interpretation is a source of chronic confusion: the introduction of a notion ofinterpretation can be the result of several quite different kinds of considerations.Interpretation can be understood in at least three ways: as a process of dis-abstraction of formulas, as technical tool for the sake of characterizing truth, or as a reconstruction of meaning-assignment. However essentially different these motifs are and however properly they must be kept apart, these can all be brought to one and the same (...) notion of interpretation: to the notion of a compositional evaluation of expressions inducing a possible distribution of truth values among statements. (shrink)

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated (...) into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic. (shrink)

Os princípios emancipatórios da filosofia de educação atual, enquadrados no paradigma da complexidade e de educação ao longo da vida, incitou-nos a escrever este documento. O foco será a compreensão da vinculação a um paradigma e das suas consequências teóricas e metodológicas, demonstrando especificamente como tal se concretiza na investigação-ação enquadrada no paradigma da complexidade, teorizando em educação não formal e intervenção comunitária. Procuramos, assim, tecer um enquadramento que mostre como a investigação-ação e métodos associados se coadunam neste tipo (...) de pesquisa e intervenção em filosofia de educação não formal. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His (...) book will both define and further the debate between philosophers from two very different sides of the epistemological spectrum. (shrink)

In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.

J.M. Bocheński together with J. Salamucha, B. Sobociński, and J.F. Drewnowski formed the so-called Cracow Circle in the 30s of the previous century. Its main aim was to utilize contemporary logic in theology and philosophy of God. The first work in this area was Salamucha’s formal analysis of the prima via, published in 1934. The article was reviewed by Bocheński, who provided a number of remarks concerning Salamucha’s analysis. At that time he did not decide to conduct a holistic (...) research into the prima via. That was done by him only at the end of his life as part of the logical analysis of the quinque viae. This paper aims at presenting Bocheński’s unpublished formal analysis of the prima via from 1953 and proving that it constitutes a valuable completion of his published formal analyses, which come from the 1980s and 1990s. Above all, they provide a more insightful analysis of the notion of movement in the prima via, as well as the form of axiom expressing the lack of regress into infinity. In the formalizations of 1953 there are also interesting analyses concerning the ancestral closure of three-argument relations. (shrink)

Ontology and theology cannot be combined if ontology excludes non physical causes. This paper examines some possibilities for ontology to be combined with theology in so far as non physical causes are permitted. The paper builds on metaphysical findings that shows that separate ontological domains can interact causally indirectly via interfaces. As interfaces are not universes a first universe is allowed to be caused by an interface without violating the principle of causal closure of any universe. Formal theology can (...) therefore be based on the assumption that the (first) universe is caused by God if God is defined as the first cause. Given this, formal theology and science can have the same ontological base. (shrink)

This study investigated ideological belief bias, and whether this effect is moderated by analytical thinking. A Swedish nationally representative sample (N = 1005) evaluated non-political and political syllogisms and were asked whether the conclusions followed logically from the premises. The correct response in the political syllogisms was aligned with either leftist or rightist political ideology. Political orientation predicted response accuracy for political but not non-political syllogisms. Overall, the participants correctly evaluated more syllogisms when the correct response was congruent with their (...) ideology, particularly on hot-button issues (asylum to refugees, climate change, gender-neutral education, and school marketization). Analytical thinking predicted higher accuracy for syllogisms of any kind among leftists, but it predicted accuracy only for leftist and non-political syllogisms among rightists. This research contributes by refining a promising paradigm for studying politically motivated reasoning, demonstrating ideological belief bias outside of the United States across diverse political issues, and providing the first evidence that analytical thinking may reduce such bias. (shrink)

Recent debate about the error theory has taken a ‘formal turn’. On the one hand, there are those who argue that the error theory should be rejected because of its difficulties in providing a convincing formal account of the logic and semantics of moral claims. On the other hand, there are those who claim that such formal objections fail, maintaining that arguments against the error theory must be of a substantive rather than a formal kind. In (...) this paper, we argue that formal objections to the error theory cannot be eschewed but must be met head-on. (shrink)

It is argued that formal reconstructions of the EPR-argument do not only show semantical incompleteness, but also incorrectness of quantum mechanics together with the projection postulate. The latter has to be rejected because it contradicts Schrödinger's equation. A logical analogon to the problem is given.

This paper traces a relatively linear sequence of early research approaches to the formal verification of concurrent programs. It does so forwards and then backwards in time. After briefly outlining the context, the key insights from three distinct approaches from the 1970s are identified (Ashcroft/Manna, Ashcroft (solo) and Owicki). The main technical material in the paper focuses on a specific program taken from the last published of the three pieces of research (Susan Owicki’s): her own verification of her _Findpos_ (...) example is outlined followed by attempts at verifying the same example using the earlier approaches. Reconsidering the prior approaches on the basis of Owicki’s useful example illuminates similarities and differences between the proposals. Along the way, observations about interactions between researchers (and some “blind spots”) are noted. (shrink)

This position paper advocates combining formal epistemology and the new paradigm psychology of reasoning in the studies of conditionals and reasoning with uncertainty. The new paradigm psychology of reasoning is characterized by the use of probability theory as a rationality framework instead of classical logic, used by more traditional approaches to the psychology of reasoning. This paper presents a new interdisciplinary research program which involves both formal and experimental work. To illustrate the program, the paper discusses recent work (...) on the paradoxes of the material conditional, nonmonotonic reasoning, and Adams’ Thesis. It also identifies the issue of updating on conditionals as an area which seems to call for a combined formal and empirical approach. (shrink)

In this paper we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out (...) something's propria. This last kind of explanation has been somewhat overlooked in the literature, but we argue that it features in much of the most relevant uses of formal explanations in philosophy and science. These are the explanations for why an object has certain propertis that are not, properly speaking, parts of its essence, but that belong to it more intimately than just being part of its consequential essence: they are the properties that ‘flow’ from something's essence. It is argued that a powers metaphysics is uniquely placed to make sense of this last phenomenon. We then distinguish three grades of involvement in which powers might be salient for formal causal explanations: i) powers might be the subject matter of the essence operator, ii) the essence of something might include (or be exhausted) by powers, or iii) powers can explain how propria can flow from something's constitutive existence. (shrink)