Espino, Santamaria, and Garcia-Madruga (2000) report three results on the time taken to respond to a probe word occurring as end term in the premises of a syllogistic argument. They argue that these results can only be predicted by the theory of mental models. It is argued that two of these results, on differential reaction times to end-terms occurring in different premises and in different figures, are consistent with Chater and Oaksford's (1999) probability heuristics model (PHM). It is argued (...) that the third finding, on different reaction times between figures, does not address the issue of processing difficulty where PHM predicts no differences between figures. It is concluded that Espino et al.'s results do not discriminate between theories of syllogistic reasoning as effectively as they propose. (shrink)

We report three experimental studies of reasoning with double conditionals, i.e. problems based on premises of the form: If A then B. If B then C. where A, B, and C, describe everyday events. We manipulated both the logical structure of the problems, using all four possible arrangements (or “figures” of their constituents, A, B, and C, and the believability of the two salient conditional conclusions that might follow from them, i.e. If A then C, or If C then A. (...) The experiments showed that with figures for which there was a valid conclusion, the participants more often, and more rapidly, drew the valid conclusion when it was believable than when it was unbelievable. With figures for which there were no valid conclusions, the participants tended to draw whichever of the two conclusions was believable. These results were predicted by the theory that reasoning depends on constructing mental models of the premises. (shrink)

We report three experimental studies of reasoning with double conditionals, i.e. problems based on premises of the form: If A then B. If B then C. where A, B, and C, describe everyday events. We manipulated both the logical structure of the problems, using all four possible arrangements (or ''figures" of their constituents, A, B, and C, and the believability of the two salient conditional conclusions that might follow from them, i.e. If A then C , or If C then (...) A . The experiments showed that with figures for which there was a valid conclusion, the participants more often, and more rapidly, drew the valid conclusion when it was believable than when it was unbelievable. With figures for which there were no valid conclusions, the participants tended to draw whichever of the two conclusions was believable. These results were predicted by the theory that reasoning depends on constructing mental models of the premises. (shrink)

We report five experiments showing that the activation of the end-terms of a syllogism is determined by their position in the composite model of the premises. We show that it is not determined by the position of the terms in the rule being applied (Ford, 1994), by the syntactic role of the terms in the premises (Polk & Newell, 1995; Wetherick & Gilhooly, 1990), by the type of conclusion (Chater & Oaksford, 1999), or by the terms from the source premise (...) (Stenning & Yule, 1997). In our first experiment we found that after reading a categorical premise, the most active term is the last term in the premise. In Experiments 2, 3, and 4 we demonstrated that this pattern of activity is due to the position of the concepts in the model of the premises, regardless of the delay after reading the premises (150 or 2000 msec) or the quantity of the quantifiers (universal or existential). The fifth experiment showed that the pattern switches around after participants evaluate a conclusion. We propose that the last element in the model maintains a higher level of activity during the comprehension process because it is generally used to attach the incoming information. After this process, the first term becomes more active because it is the concept to which the whole representation is referred. These results are predicted by the mental model theory (Johnson-Laird & Byrne, 1991), but not by the verbal reasoning theory (Polk & Newell, 1995), the graphical methods theory (Yule & Stenning, 1992), the attachment-heuristic theory (Chater & Oaksford, 1999), or the mental rules theory (Ford, 1994). (shrink)

We examine the role of working memory's central executive in the mental model explanation of propositional reasoning by using two working memory measures: the classical “reading span” test by Daneman and Carpenter (1980) and a new measure. This new “reasoning span” measure requires individuals to solve very simple anaphora problems, and store and remember the word solution in a growing series of inferential problems. We present one experiment in which we check the involvement of the central executive in conditional and (...) disjunctive inference tasks and compare predictions of the new reasoning span test with those of the classical reading span test. The results of the experiment confirm that reasoning responses, which according to mental model theory require high cognitive work, are predicted by working memory measures. Results also show that some reasoning responses are probably obtained by means of superficial biases or strategies that do not load working memory. The reasoning span test, which involves the central executive to a greater degree, predicts reasoning performance better than the reading span test. The significance and possibilities of the new measure in studying reasoning are discussed. (shrink)

El Foro Global de Bioética en Investigación (GFBR por sus siglas en inglés) se reunió el 3 y 4 de noviembre en Buenos Aires, Argentina, con el objetivo de discutir la ética de la investigación con mujeres embarazadas. El GFBR es una plataforma mundial que congrega a actores clave con el objetivo de promover la investigación realizada de manera ética, fortalecer la ética de la investigación en salud, particularmente en países de ingresos bajos y medios, y promover colaboración entre países (...) del norte y del sur.a Los participantes en el GFBR provenientes de Latinoamérica incluyeron a eticistas, investigadores, miembros de comités de ética y representantes de autoridades sanitarias provenientes de Argentina, Brasil, Chile, Colombia, Ecuador, El Salvador, Guatemala, Honduras, Panamá, Perú, Nicaragua y la República Dominicana. Una legítima preocupación por la protección de las mujeres embarazadas y sus embriones o fetos ha llevado a la mayoría de los países de la Región de las Américas a limitar la realización de estudios con mujeres embarazadas exclusivamente a aquellos estudios específicos sobre el embarazo, y a requerir la exclusión sistemática de las mujeres embarazadas o de las mujeres que quedan embarazadas en el curso del estudio. Ciertamente, a lo largo de la historia de la ética de la investigación, se ha creído erróneamente que proteger a una población es sinónimo de excluirla de los estudios. Se sabe ahora que proceder así implica exponer a riesgos mucho mayores a la población que se busca proteger. El embarazo implica cambios fisiológicos sustantivos e impacta profundamente la manera como el cuerpo metaboliza los medicamentos. Sin embargo, por evitar hacer investigación con mujeres embarazadas, no se ha producido la evidencia científica necesaria para tomar decisiones sobre tratamientos e intervenciones preventivas con dosis eficaces y seguras para ellas y sus embriones o fetos. A manera de ilustración, en el 2001 había en los Estados Unidos apenas más de una docena de medicamentos aprobados para uso en el embarazo (1) y en el 2011 la Food and Drug Administration (FDA) aprobó por primera vez en 15 años un medicamento para su uso en el embarazo (2). Como consecuencia de no haber producido la evidencia necesaria, se pone en riesgo la salud de las mujeres embarazadas cada vez que se les da atención médica. Las mujeres embarazadas se enferman y las mujeres enfermas se embarazan, y no se sabe si los medicamentos que se les da son eficaces o siquiera seguros para ellas y sus embriones o fetos. (shrink)

El propósito de este artículo es el de investigar algunos conceptos de la Filosofía del límite de Eugenio Trías y de la noción de “genealogía” propuesta por Michel Foucault.Expuestos a partir de tres trilogías de imágenes, se desprenden diálogos que ayudan a pensar cómo se develan esas sombras de la existencia que se esconden en los pliegues de lo racional. La gran pregunta tiene que ver con el “entorno matricial” y con el movimiento de “exilio y éxodo” del ser. Las (...) imágenes elegidas funcionan como “hitos genealógicos” foucoultianos: esas “verdades sin apariencia” y “sin historia” que emergen presentando vinculaciones que inducen a otras lecturas hermenéuticas.El artículo vuelve siempre otra vez -a partir de algunas de las imágenes elegidas- a pensarse desde San Juan / Argentina, sitio que tensiona e implica, en este caso, la existencia de todas estas reflexiones y su conexión visual. (shrink)

Reichenbachian approaches to indexicality contend that indexicals are "token-reflexives": semantic rules associated with any given indexical-type determine the truth-conditional import of properly produced tokens of that type relative to certain relational properties of those tokens. Such a view may be understood as sharing the main tenets of Kaplan's well-known theory regarding content, or truth-conditions, but differs from it regarding the nature of the linguistic meaning of indexicals and also regarding the bearers of truth-conditional import and truth-conditions. Kaplan has criticized these (...) approaches on different counts, the most damaging of which is that they make impossible a "logic of demonstratives". The reason for this is that the token-reflexive approach entails that not two tokens of the same sentential type including indexicals are guaranteed to have the same truth-conditions. In this paper I rebut this and other criticisms of the Reichenbachian approach. Additionally, I point out that Kaplan's original theory of "true demonstratives" is empirically inadequate, and claim that any modification capable of accurately handling the linguistic data would have similar problems to those attributed to the Reichenbachian approach. This is intended to show that the difficulties, no matter how real, are not caused by idiosincracies of the "token-reflexive" view, but by deep facts about indexicality. (shrink)

In this full review paper, the recent emerging trends in Computing Structures, Software Science, and System Applications have been reviewed and explored to address the recent topics and contributions in the era of the Software and Computing fields. This includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art, framework, implemented approaches and techniques research projects in the areas of Software Technology & Automation, Networking, Systems, Computing Sciences and Software Engineering, Big Data and E-learning. Based on this systematic (...) review, we have put some recommendations and suggestions for researchers, practitioners and scholars to improve their research quality in this area. (shrink)

In this work, we provide conditions to obtain fixed point theorems for parallel dynamical systems over graphs with maxterms and minterms as global evolution operators. In order to do that, we previously prove that periodic orbits of different periods cannot coexist, which implies that Sharkovsky’s order is not valid for this kind of dynamical systems.

The paper examines an alleged distinction claimed to exist by Van Gelder between two different, but equally acceptable ways of accounting for the systematicity of cognitive output (two “varieties of compositionality”): “concatenative compositionality” vs. “functional compositionality.” The second is supposed to provide an explanation alternative to the Language of Thought Hypothesis. I contend that, if the definition of “concatenative compositionality” is taken in a different way from the official one given by Van Gelder (but one suggested by some of his (...) formulations) then there is indeed a different sort of compositionality; however, the second variety is not an alternative to the language of thought in that case. On the other hand, if the concept of concatenative compositionality is taken in a different way, along the lines of Van Gelder's explicit definition, then there is no reason to think that there is an alternative way of explaining systematicity. (shrink)

Entrevista a Juan. A. Negrete, premio anual 2014 a la promoción de la filosofía y la cultura en Málaga. El premio se hace extensivo a la red de blogs: Cavernisofía, Cavernética y Cavernisofíasegundaplanta.

resumo Neste trabalho é analisada a estratégia da exposição de Fichte em seu escrito Sobre o conceito da Doutrina da Ciência e interpretada como indo de encontro a um determinado tipo do ceticismo moderno. Todavia, ao contrário da leitura proposta por Rockmore, que sustenta ser possível considerar toda a epistemologia fichteana dessa época como uma linha de argumentação de cunho pragmático e antifundacionista, defende-se a tese de que Fichte está comprometido desde o início com a tarefa de uma fundamentação última (...) de toda ciência a partir de um primeiro princípio. Esta fundamentação seria levada a cabo mediante uma demonstração indireta que pretende refutar de modo muito original objeções levantadas por Maimon, por Schulze e outros contra a filosofia transcendental de Kant. O mero fato de que Fichte não considerasse este último princípio como passível de demonstração direta não é suficiente para tachar sua estratégia de pragmática. palavras-chave Fichte; Filosofia Transcendental; Pragmatismo; Ceticismo; Fundacionismo. (shrink)

Turing was an exceptional mathematician with a peculiar and fascinating personality and yet he remains largely unknown. In fact, he might be considered the father of the von Neumann architecture computer and the pioneer of Artificial Intelligence. And all thanks to his machines; both those that Church called “Turing machines” and the a-, c-, o-, unorganized- and p-machines, which gave rise to evolutionary computations and genetic programming as well as connectionism and learning. This paper looks at all of these and (...) at why he is such an often overlooked and misunderstood figure. (shrink)

The state of computing science and, particularly, software engineering and knowledge engineering is generally considered immature. The best starting point for achieving a mature engineering discipline is a solid scientific theory, and the primary reason behind the immaturity in these fields is precisely that computing science still has no such agreed upon underlying theory. As theories in other fields of science do, this paper formally establishes the fundamental elements and postulates making up a first attempt at a theory in this (...) field, considering the features and peculiarities of computing science. The fundamental elements of this approach are informons and holons, and it is a general and comprehensive theory of software engineering and knowledge engineering that related disciplines can particularise and/or extend to take benefit from it. (shrink)

Why is it so difficult to achieve universal health coverage in the United States? First and foremost, as Richard Kirsch points out in his book, Fighting for Our Health, health care is deeply personal. Since most people in the United States have health insurance, efforts to modify the system understandably cause a certain amount of unease regarding how changes could impact their access to trusted doctors or necessary care.

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ intuitions; at (...) the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal-level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

In recent decades, there has been a proliferation among the scientific community of works that focus on Alan Turing’s contributions to the design and development of the modern computer. However, there are significant discrepancies among these studies, to such a point that some of them cast serious doubts on Alan Turing’s work with respect to today’s computer, and there are others that staunchly defend his leading role, as well as other studies that set out more well-balanced opinions. Faced with this (...) situation, the aim of this paper is to analyse the evidence existing today in order to be able to draw a conclusion about whether or not Turing anticipated the trivialisation of the modern computer memory and, likewise, if his universal a-machine is the precursor of the general-purpose computer so omnipresent today. As a result of our research, the authors conclude that Turing did indeed play a leading role in the appearance of the modern computer, although he was not the only one or the first in the field of Computing Science, albeit he was the most influential, both in scope and in depth. (shrink)