We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

En este artículo propondremos, discutiremos y formalizaremos criterios gracias a los cuales podría legítimamente decirse que una inferencia o argumento es analítico o sintético. Para ello, necesitaremos discutir la noción de asunto de una oración o fórmula, que será crucial en la determinación del carácter analítico o sintético de las inferencias. En el curso de dicha discusión, intentaremos mostrar que hay un interés filosófico en considerar semánticas para sistemas de lógica que admiten valores de verdad sin sentido, para lo cual (...) haremos uso esencial de dos sistemas de “Lógicas del Sinsentido” introducidos por Dimitri Bochvar y Sören Halldén, respectivamente. El interés de considerar sistemas con semánticas de este tipo reside en que, bajo ciertas condiciones, dichos sistemas podrán ser tenidos por analíticos, o sintéticos. (shrink)

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...) in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...) or by adding some vocabulary) to keep as much of Classical Logic as possible. Our aim is to show that the divisions arising from these disputes can be dissolved in the context of a novel and intuitive proposal that we put forward. (shrink)

The present note revisits the joint work of Leonard Goddard and Richard Routley on significance logics with the aim of shedding new light on their understanding by studying them under the lens of recent semantic developments, such as the plurivalent semantics developed by Graham Priest. These semantics allow sentences to receive one, more than one, or no truth-value at all from a given carrier set. Since nonsignificant sentences are taken to be neither true nor false, i.e. truth-value gaps, in this (...) essay we show that with the aid of plurivalent semantics it is possible to straightforwardly instantiate Goddard and Routley’s understanding of how the connectives should work within significance logics. (shrink)

In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when there is both evidence in favor of A and evidence in favor of ￢A) both A and ￢A should be accepted without thereby accepting any proposition B whatsoever. Hence, reasoning within their system intends to mirror, and thus, should be constrained by, the way in which we reason (...) about evidence. In this article we will thoroughly discuss their position and suggest some ways in which this project can be further developed. The aim of the paper is twofold. On the one hand, we will present some philosophical critiques to the specific epistemic interpretation of paraconsistent logic proposed by Carnielli & Rodrigues. First, we will contend that Carnielli & Rodrigues’s interpretation implies a thesis about what evidence rationally justifies to accept or believe, called Extreme Permissivism, which is controversial among epistemologists. Second, we will argue that what agents should do, from an epistemic point of view, when faced with conflicting evidence, is to suspend judgment. On the other hand, despite these criticisms we do not believe that the epistemological motivation put forward by Carnielli & Rodrigues is entirely wrong. In the last section, we offer an alternative way in which one might account for the epistemic rationality of accepting contradictions and, thus, for an epistemic understanding of paraconsistency, which leads us to discuss the notion of diachronic epistemic rationality. (shrink)

After introducing the new field of cultural evolution, we review a growing body of empirical evidence suggesting that culture shapes what people attend to, perceive and remember as well as how they think, feel and reason. Focusing on perception, spatial navigation, mentalizing, thinking styles, reasoning (epistemic norms) and language, we discuss not only important variation in these domains, but emphasize that most researchers (including philosophers) and research participants are psychologically peculiar within a global and historical context. This rising tide of (...) evidence recommends caution in relying on one’s intuitions or even in generalizing from reliable psychological findings to the species, Homo sapiens. Our evolutionary approach suggests that humans have evolved a suite of reliably developing cognitive abilities that adapt our minds, information-processing abilities and emotions ontogenetically to the diverse culturally-constructed worlds we confront. (shrink)

The notion that the form of a word bears an arbitrary relation to its meaning accounts only partly for the attested relations between form and meaning in the languages of the world. Recent research suggests a more textured view of vocabulary structure, in which arbitrariness is complemented by iconicity (aspects of form resemble aspects of meaning) and systematicity (statistical regularities in forms predict function). Experimental evidence suggests these form-to-meaning correspondences serve different functions in language processing, development, and communication: systematicity facilitates (...) category learning by means of phonological cues, iconicity facilitates word learning and communication by means of perceptuomotor analogies, and arbitrariness facilitates meaning individuation through distinctive forms. Processes of cultural evolution help to explain how these competing motivations shape vocabulary structure. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.

This paper discusses a dualization of Fitting's notion of a "cut-down" operation on a bilattice, rendering a "track-down" operation, later used to represent the idea that a consistent opinion cannot arise from a set including an inconsistent opinion. The logic of track-down operations on bilattices is proved equivalent to the logic d_Sfde, dual to Deutsch's system S_fde. Furthermore, track-down operations are employed to provide an epistemic interpretation for paraconsistent weak Kleene logic. Finally, two logics of sequential combinations of cut-and track-down (...) operations allow settling positively the question of whether bilattice-based semantics are available for subsystems of S_fde. (shrink)

In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this characterization (...) problem by letting certain sentences belong to more than one semantic category. We also consider the prospect of generalizing this framework to deal with languages containing vague predicates. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...) our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

This article is concerned with an exploration of a family of systems—called immune logics—that arise from certain dualizations of the well-known family of infectious logics. The distinctive feature of the semantic of infectious logics is the presence of a certain “infectious” semantic value, by which two different though equivalent things are meant. On the one hand, it is meant that these values are zero elements for all the operations in the underlying algebraic structure. On the other hand, it is meant (...) that these values behave in a value-in-value-out fashion for all the operations in the underlying algebraic structure. Thus, in a rather informal manner, we will refer to immune logics as those systems whose underlying semantics count with a certain “immune” semantic value behaving in a way that is somewhat dual to that of the infectious values. In a more formal manner, carrying out this dualization will prove to be not as straightforward as one could imagine, since the two characterizations of infectiousness discussed above lead to two different outcomes when one tries to conduct them. We explore these alternatives and provide technical results regarding them, and the various logical systems defined using such semantics. (shrink)

En este artículo propondremos, discutiremos y formalizaremos criterios gracias a los cuales podría legítimamente decirse que una inferencia o argumento es analítico o sintetico. Para ello, necesitaremos discutir la noción de asunto de una oración o fórmula, que será crucial en la determinación del carácter analítico o sintético de las inferencias. En el curso de dicha discusión, intentaremos mostrar que hay un interés filosófico en considerar semánticas para sistemas de lógica que admiten valores de verdad sin sentido, para lo cual (...) haremos uso esencial de dos sistemas de “Lógicas del Sinsentido” introducidos por Dimitri Bochvar y Sören Halldén, respectivamente. El interés de considerar sistemas con semánticas de este tipo reside en que, bajo ciertas condiciones, dichos sistemas podrán ser tenidos por analíticos, o sintéticos. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

Some recent researches in experimental philosophy have posed a problem for philosophers’ appeal to intuition (hereinafter referred to as PAI); the aim of this paper is to offer an answer to this challenge. The thesis against PAI implies that, given some experimental results, intuition does not seem to be a reliable epistemic source, and —more importantly— given the actual state of knowledge about its operation, we do not have sufficient resources to mitigate its errors and thus establish its reliability. That (...) is why PAI is hopeless. Throughout this paper I will defend my own conception of PAI, which I have called the Deliberative Conception, and consequently, I will defend intersubjective agreement as a means to mitigate PAI errors, offering empirical evidence from recent studies on the Argumentative Theory of Reason that favor the conception I defend here. Finally, I will reply to some objections that might arise against the Deliberative Conception, which will lead me to discuss some metaphilosophical issues that are significantly relevant for the future of the dispute about the appeal to intuition. (shrink)

In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak Kleene logics with unary operators that allow looking at them as (...) Logics of Formal Inconsistency and Logics of Formal Underterminedness. Our aim with this work, rather than arguing for Suszko’s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specifically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems of Weak Kleene logics reveal the conjunctive flavor of the disjunction. (shrink)

This paper provides an inferentialist motivation for a logic belonging in the connexive family, by borrowing elements from the bilateralist interpretation for Classical Logic without the Cut rule, proposed by David Ripley. The paper focuses on the relation between inferentialism and relevance, through the exploration of what we call relevant assertion and denial, showing that a connexive system emerges as a symptom of this interesting link. With the present attempt we hope to broaden the available interpretations for connexive logics, showing (...) they can be rightfully motivated in terms of certain relevantist constraints imposed on assertion and denial. (shrink)

The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics ST and TS. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in (...) these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn’t lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present ST and TS. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in (...) terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic. -/- . (shrink)

The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...

The present study aimed at investigating the heavy metals concentrations in the soils around “Larga de Sus” abandoned mine, evaluating the potential ecological risk of heavy metal pollution and highlighting ethical aspects related to risk assessment, ecological restoration, and soil remediation. The results of the chemical analysis showed that the soil in the study area is highly polluted with heavy metals since the average concentrations of Pb, and Ni in soil exceed their corresponding threshold established by the Romanian legislation. The (...) potential ecological risk index method developed by Hakanson was used to assess the potential risk of heavy-metal pollution. The results indicated that Pb and Ni showed severe and considerable potential ecological risk, while Cr had lightly ecological risk. In this case, remediation should be focused only on Pb or on all heavy metals even if they have lightly ecological risk? A scientific management technique cannot logically prescribe which choices should be selected. The interaction between human activity and the environment is complicated and difficult to quantify and risk management cannot and should not be based simply on risk assessment results. What is needed to make the right choice of the most appropriate alternative that fits our personality, culture, religion, and desires? The moral and ethical implications of ecological restoration and soil remediation have to be incorporated within the decision-making process in order to make optimum sustainable decisions and to achieve real environmental protection. (shrink)

Researchers rely on psychometric principles when trying to gain understanding of unobservable psychological phenomena disconfounded from the methods used. Psychometric models provide us with tools to support this endeavour, but they are agnostic to the meaning researchers intend to attribute to the data. We define method effects as resulting from actions which weaken the psychometric structure of measurement, and argue that solution to this confounding will ultimately rest on testing whether data collected fit a psychometric model based on a substantive (...) theory, rather than a search for a model that best fits the data. We highlight the importance of taking the notions of fundamental measurement seriously by reviewing distinctions between the Rasch measurement model and more generalised 2PL and 3PL IRT models. We then present two lines of research that highlight considerations of making method effects explicit in experimental designs. First, we contrast the use of experimental manipulations to study measurement reactivity during the assessment of metacognitive processes with factor-analytic research of the same. The former suggests differential performance-facilitating and -inhibiting reactivity as a function of other individual differences, whereas factor-analytic research suggests a ubiquitous monotonically predictive confidence factor. Second, we evaluate differential effects of context and source on within-individual variability indices of personality derived from multiple observations, highlighting again the importance of a structured and theoretically grounded observational framework. We conclude by arguing that substantive variables can act as method effects and should be considered at the time of design rather than after the fact, and without compromising measurement ideals. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

Este artículo discute y analiza la formación del carácter crítico e intelectual en Rafael Gutiérrez Girardot. A partir de fuentes diversas y, en parte, inexploradas, se reconstruye el proceso de formación y ejercicio de su actividad crítica entre 1950 y 1965. Se tienen en cuenta tanto las relaciones con otros intelectuales como la influencia de los diversos contextos en los cuales se dieron dichas relaciones. Así, su participación en Cuadernos Hispanoamericanos, su correspondencia con Alfonso Reyes y con Nils Hedberg, su (...) actividad diplomática, su trabajo editorial y de traducción y, finalmente, su práctica docente, se estudian con objeto de tener un marco comprensivo. La obra crítica de Gutiérrez Girardot dista de estar comprendida y, de hecho, se precisa todavía de un exhaustivo trabajo de reconstrucción y análisis. This paper discusses and analyses the critical and intellectual nature of the work of Rafael Gutiérrez Girardot. It reproduces the process of construction and exercise of his critical activity (1950-1965), based on different sources some of them not yet very studied. The paper takes into account his relationships with other intellectuals and the influence of its different contexts. Thus, in order to get a comprehensive framework, it studies his participation in Cuadernos Hispanoamericanos, his correspondence with Alfonso Reyes and Nils Hedberg, his diplomatic activity, his work as editor and translator and finally his teaching experience. The critical work of Gutiérrez Girardot is far from being completely interpreted and this makes necessary an exhaustive work of reconstruction and analysis. (shrink)

In this paper we use a critically reflective research approach to analyze our efforts at transformative learning in food systems education in a land grant university. As a team of learners across the educational hierarchy, we apply scholarly tools to the teaching process and learning outcomes of student-centered inquiries in a food systems course. The course, an interdisciplinary, lower division undergraduate course at the University of California, Davis is part of a new undergraduate major in Sustainable Agriculture and Food Systems. (...) We provide an overview of the course’s core elements—labs, exams, assignments, and lectures—as they relate to social constructivist learning theory and student-centered inquiries. Then, through qualitative analysis of students’ reflective essays about their learning experiences in the course, we demonstrate important transformative outcomes of student-centered inquiries: (1) most students confronted the commodity fetish and tried to reconcile tensions between what the food system is and ought to be, and (2) students repositioned themselves, their thinking, and social deliberation in relation to the food system. Students’ reflections point to the power of learning that emerges through their inquiry process, including in the field, and from critical self-reflection. We also highlight the importance of reflective essays in both reinforcing experiential learning and in helping instructors to better understand students’ learning vis-à-vis our teaching. (shrink)

Subjects and Simulations presents essays focused on suffering and sublimity, representation and subjectivity, and the relation of truth and appearance through engagement with the legacies of Jean Baudrillard and Philippe Lacoue-Labarthe.

La percepción de la población acerca de la justicia e injusticia está sujeta a una reformulación evidente, debido en gran parte al proceso de transformación socioeconómica, los cambios en la estructura de oportunidades proporcionadas por el Estado y el mercado de trabajo, la crisis del marco institucional –y de las normas y valores interiorizados– y el derrumbe de las estructuras sociales que proporcionaban a los individuos una percepción de igualdad y seguridad.El presente artículo tiene como objetivo desarrollar, desde una perspectiva (...) crítica, un análisis de dichos procesos y sus consecuencias para el desarrollo de las nociones de justicia en el contexto de sus prácticas políticas, por parte de jóvenes de sectores populares y de clases medias empobrecidas. Nuestro estudio intentó comprender cuál es la conceptualización que los jóvenes tienen de justicia e injusticia, noción estrechamente conectada a la esfera de la protección de los derechos y necesidades, como a la de una mejor metodología de distribución de bienes. (shrink)

El filósofo cubano Pablo Guadarrama entrega en este libro una especie de suma de sus más de 30 años de estudio, análisis, difusión y defensa del pensamiento latinoamericano. No ha sido una labor fácil, como él mismo lo ha reconocido, pues ha tenido que enfrentarse y confrontarse con quienes han pensado que la nuestra no es auténtica filosofía, como si el logos fuera patrimonio de Europa o de algún pueblo en especial y no más bien de aquello que nos constituye (...) específicamente como hombres. (shrink)

Para desarrollar este trabajo, en el primer capítulo caracterizaré con cierta extensión dos de las principales posturas funcionalistas del progreso científico, a saber, la defendida por Thomas S. Kuhn y Larry Laudan, respectivamente. Posteriormente, haré un análisis crítico de estas posturas. En particular, mostraré que un modelo de progreso científico basado en la resolución de problemas no puede pasar por alto explicar cómo es que se genera un problema científico y cómo puede ser medida no sólo la importancia cognitiva de (...) los problemas científicos a resolver; sino la importancia cognitiva que tienen las soluciones a los problemas que enfrenta la ciencia. En el segundo capítulo caracterizaré y analizaré la postura realista metafísica sobre el progreso científico desarrollada por Philip Kitcher. El análisis del modelo de Kitcher es pertinente para el presente estudio debido a que este autor integró muchas de las críticas que se le hicieron a las posturas funcionalistas anteriores a su propuesta. Sin embargo, como sugeriré en la conclusión de ese capítulo, la postura defendida por Kitcher en torno al progreso cognitivo de la ciencia fluctúa entre la defensa de un realismo de corte metafísico (Kitcher 1993 y 1995) y un realismo de corte semántico (Kitcher 2001a, 2001b, 2002 y 2007) que hace difícil entender con precisión y a cabalidad su postura. Con los anteriores elementos, en el tercer capítulo revisaré el debate entre las posturas funcionalistas y las posturas realistas sobre el progreso cognitivo de la ciencia en el marco del llamado Realismo Epistemológico Convergente, con el objetivo de evaluar si otras posturas realistas pueden explicar de mejor manera el progreso cognitivo de la ciencia. Como mostraré, el realismo epistemológico convergente requiere para su defensa de una definición conceptual precisa en relación a lo que debe entenderse por “verdad” – o “aproximación a la verdad” – y su conexión con el éxito científico; así como la relación de referencia entre las entidades y organismos teóricos observables e inobservables que la ciencia postula y el mundo natural. Para analizar estas conexiones, en este capítulo revisaré varios argumentos anti-realistas en contra de la relación cognitiva que los defensores del realismo epistemológico convergente pretenden establecer entre el éxito empírico y la verdad, por un lado, y el éxito empírico y la referencia, por el otro. Posteriormente, analizaré los contra-argumentos realistas más importantes que a mi juicio se han elaborado para defender el realismo epistemológico convergente. Finalmente, mostraré que los contra-argumentos realistas no logran ser lo suficientemente sólidos para evadir con éxito los ataques anti-realistas en torno al progreso cognitivo de la ciencia. El cuarto capítulo de este trabajo lo dedicaré a caracterizar y analizar la postura fundacionista defendida por Alexander Bird. Este autor sostuvo que la ciencia progresa cuando muestra “acumulación de conocimiento justificado”. Para validar su postura, este autor contrastó sus ideas con los conceptos sobre el progreso científico construidos precisamente por Kuhn y Laudan, respectivamente. El objetivo de Bird fue mostrar que el criterio de “resolución de problemas” defendido por estos autores es regresivo y, por ello, anti-intuitivo. En este capítulo analizo los argumentos de Bird, muestro en qué fallan para, finalmente, evaluar su postura a partir de sus propios fundamentos epistemológicos. En el quinto y último capítulo del libro ofreceré algunas conclusiones que pueden ser inferidas del presente estudio. (shrink)

Patient outcome after serious brain injury is highly variable. Following a period of coma, some patients recover while others progress into a vegetative state (unresponsive wakefulness syndrome) or minimally conscious state. In both cases, assessment is difficult and misdiagnosis may be as high as 43%. Recent advances in neuroimaging suggest a solution. Both functional magnetic resonance imaging and electroencephalography have been used to detect residual cognitive function in vegetative and minimally conscious patients. Neuroimaging may improve diagnosis and prognostication. These techniques (...) are beginning to be applied to comatose patients soon after injury. Evidence of preserved cognitive function may predict recovery, and this information would help families and health providers. Complex ethical issues arise due to the vulnerability of patients and families, difficulties interpreting negative results, restriction of communication to “yes” or “no” answers, and cost. We seek to investigate ethical issues in the use of neuroimaging in behaviorally nonresponsive patients who have suffered serious brain injury. The objectives of this research are to: (1) create an approach to capacity assessment using neuroimaging; (2) develop an ethics of welfare framework to guide considerations of quality of life; (3) explore the impact of neuroimaging on families; and, (4) analyze the ethics of the use of neuroimaging in comatose patients. (shrink)

En este artículo realizo una lectura de la propuesta historiográfica de José Luis Romero y de la “Historia social de la literatura” de Rafael Gutiérrez Girardot, mostrando cómo la primera influye en la segunda, y relacionándolas con el problema de la identidad de América Latina. Se parte de un diagnóstico de la historiografía colombiana del siglo XX y se evidencia la manera como estas dos miradas historiográficas lograron superar las deficiencias de la misma, fundando en nuestro continente una utopía política (...) que aboga por una conciencia de América. (shrink)

The commentators expressed concerns regarding the relevance and value of non-computational non-symbolic explanations of cognitive performance. But what counts as an “explanation” depends on the pre-theoretical assumptions behind the scenes of empirical science regarding the kinds of variables and relationships that are sought out in the first place, and some of the present disagreements stem from incommensurate assumptions. Traditional cognitive science presumes cognition to be a decomposable system of components interacting according to computational rules to generate cognitive performances (i.e., component-dominant (...) dynamics). We assign primacy to interaction-dominant dynamics among components. Though either choice can be a good guess before the fact, the primacy of interactions is now supported by much recent empirical work in cognitive science. Consequently, in the main, the commentators have failed so far to address the growing evidence corroborating the theory-driven predictions of complexity science. (shrink)

Una de las obras fundamentales para entender el pensamiento de Max Scheler lleva por título la expresión angustiniana "ordo amoris". ¿Se trata de una mera coincidencia o se puede estrechar la relación entre ambos pensadores? El artículo muestra que un análisis exhaustivo de la cuestión nos lleva a concluir que existe una profunda influencia del santo de Hipona en Scheler, revelada explícitamente en las citas agustinianas de Scheler, e implícitamente en nociones centrales del pensamiento scheleriano, como la "Gesinnung" o "disposición (...) del ánimo". (shrink)

In this article we consider some questions raised by F. Benoist, E. Bouscaren, and A. Pillay. We prove that infinitely $p$-divisible points on abelian varieties defined over function fields of transcendence degree one over a finite field are necessarily torsion points. We also prove that when the endomorphism ring of the abelian variety is $\mathbb{Z}$, then there are no infinitely $p$-divisible points of order a power of $p$.

En este texto analizo los principales argumentos y contraargumentos realistas y anti-realistas que se han construido a favor y en contra de la capacidad científica para producir conocimiento objetivo y verdadero del mundo social y natural. Argumento que el lenguaje teórico y el lenguaje observacional con el que los científicos sociales y naturales se refieren a las diversas entidades, fenómenos, propiedades y procesos científicos observables e inobservables están determinados, en la práctica, por sus tradiciones teóricas de investigación; lo que muestra (...) que la metodología científica depende en tal medida de las teorías que es, a lo sumo, un proceder constructivo y no un proceder de descubrimiento. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)