This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the provability predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way.Completeness theorems, existence of a characteristic model and of a characteristic frame, properties of FMP and FFP and decidability are proved.

We make use of a Theorem of Burris-McKenzie to prove that the only decidable variety of diagonalizable algebras is that defined by 0=1. Any variety containing an algebra in which 01 is hereditarily undecidable. Moreover, any variety of intuitionistic diagonalizable algebras is undecidable.

I give several characterizations of the set V₀ proposed in [3] as the set of meaningful and true sentences of first order arthimetic, and show that in Peano arithmetic the Σ₂ completeness of V₀ is provable.

I give several characterizations of the set V₀ proposed in [3] as the set of meaningful and true sentences of first order arthimetic, and show that in Peano arithmetic the Σ₂ completeness of V₀ is provable.

Using the Chinese Ring Puzzle (Kotovsky & Simon, Citation1990; P. J. Reber & Kotovsky, Citation1997), we studied the effect on rule discovery of having to plan actions or not in order to reach a goal state. This was done by asking participants to predict legal moves as in implicit learning tasks (Experiment 1) and by asking participants to make legal moves as in problem-solving tasks (Experiment 2). Our hypothesis was that having a specific goal state to reach has a dual (...) effect on rule discovery. The first effect is positive and related to feedback from moves done in order to attain the goal: generalising the results of action and associating them to the conditions in which they were obtained allows discovery of the rule and learning it. The second effect is negative. In attempting to reach a specific goal, participants first tend to reduce the distance that separates the current state from the goal state (hill climbing) and so neglect the kind of exploration that facilitates rule and procedure discovery because this would seem to be a detour from the goal. Results show that having to plan actions improved performance in implicit learning tasks (Experiment 1), yet it impaired performance in problem-solving tasks (Experiment 2). Although implicit learning and problem solving are based on rule discovery, and entail noticing regularities in the material, in both cases, rule discovery processes appear to be task-dependent. (shrink)

El presente artículo interroga de la naturaleza semiótica de la educación inclusiva y sus problemas de regulación ontológicos, visuales y epistémicos. Este problema comienza a evidenciarse cuando, buena parte, de la consciencia heurística de la educación especial se toma literalmente como la lengua natural de un espacio intelectual en blanco pero altamente generador en la transformación del conocimiento pedagógico. Tal transferencia, devino en la cristalización de un modelo semiótico universal que alcanza su efectividad a través de la castración de la (...) identidad semiológica de lo inclusivo, lo que afianza un sistema de edipización de sus signos y, con ello, coloca de manifestando un sistema de desviación sobre sus propiedades ontológicas implícitas. Producto de esta operación, es que, sus diferentes tipos de agenciamientos de enunciación son objeto de confusión y tervigersación, especialmente, sobre sus unidades semiológicas auténticas. Estamos en presencia de una operación estratégicamente intencionada que contribuye a castrar la pregunta por los signos de lo inclusivo y, por consiguiente, a instalar un sistema de edipización sobre su objeto. El método empleado es el de revisión documental crítica. El trabajo concluye que, al imponer el rostro de la educación especial como parte del corazón de la educación inclusiva se omite la intención de colocar en conexión sus dos tipos de representaciones, las que, también pueden ser interpretadas como formaciones particulares del poder, por medio de las cuales, se designa un modo particular de funcionamiento que es afianzado a través de un sistema de descodificación generalizada de sus signos y flujos semióticos. (shrink)

In the collection of oracular responses included in Book 14 of thePalatine Anthology, the oracle which bears the number 77 is introduced by the lemma χρησμòς ⋯ν τοῖς θησ⋯ως β⋯οις ⋯ναφερόμενος its text is as follows:The same oracle, with the same introductory formula, is also quoted as a scholium in the margin to the text of Herodotus 1.65.3 in the manuscript Flor. Laur. 70.3; first discovered by Jacob Gronovius, it can now be read in the editions of Stein, Rosen and (...) Asheri. (shrink)

El término nuestroamericano —utilizado por Horacio Cerutti— tiene sus fundamentos en el concepto "Nuestra América". Este hilo conductor de pensamiento tiene como hecho ineludible el hacerse cargo de la realidad en que se vive y del lugar en donde se está, hecho expresado en un permanente interés en la identidad cultural y nacional, como también por una lectura crítica y explicativa del desarrollo de las ideas. En el caso de Chile, a nuestro juicio, la memoria filosófica nuestroamericana ha tendido a (...) ser borrada, olvidada, siendo obnubilada por un fuerte eurocentrismo, lo que ha dado como resultado un escaso número de filósofos preocupados por "lo latinoamericano". Así, este trabajo indaga sobre los orígenes de la vertiente latinoamericanista en la filosofía chilena en la segunda mitad del siglo XX. A modo de conclusión, proponemos que no es sino hasta los años ochenta cuando, desde el Círculo de Filosofía de la Academia de Humanismo Cristiano, se genera un punto de inflexión con la tradición filosófica chilena, dando origen de forma más nítida a la vertiente nuestroamericana que, antes de esto, solo habría tenido pequeñas huellas dispersas. (shrink)

Due programmi diversi si intersecano nel lavoro di Frege sui fondamenti dell’aritmetica: • Logicismo: l’aritmetica `e riducibile alla logica; • Estensionalismo: l’aritmetica `e riducibile a una teoria delle estensioni. Sia nei Fondamenti che nei Principi, Frege articola l’idea che l’aritmetica sia riducibile a una teoria logica delle estensioni.

If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

Human coalitions frequently persist through multiple, overlapping membership generations, requiring new members to cooperate and coordinate with veteran members. Does the mind contain psychological adaptations for interacting within these intergenerational coalitions? In this paper, we examine whether the mind spontaneously treats newcomers as a motivationally privileged category. Newcomers—though capable of benefiting coalitions—may also impose considerable costs (e.g., they may free ride on other members, they may be poor at completing group tasks). In three experiments we show (1) that the mind (...) categorizes coalition members by tenure, including newcomers; (2) that tenure categorization persists in the presence of orthogonal and salient social dimensions; and (3) that newcomers elicit a pattern of impressions consistent with their probable ancestral costs. These results provide preliminary evidence for a specialized component of human coalitional psychology: an evolved concept of newcomer. (shrink)

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non (...) unlike the notion of "truth at world" found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization). (shrink)

This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.

Gathers the pre-Sand Country Almanac writings of Aldo Leopold, showing that he was not born an ecologist, but evolved over time through experimentation and thought.

The prior issue of Krisis (42:1) published Critical Naturalism: A Manifesto, with the aim to instigate a debate of the issues raised in this manifesto – the necessary re-thinking of the role (and the concept) of nature in critical theory in relation to questions of ecology, health, and inequality. Since Krisis considers itself a place for philosophical debates that take contemporary struggles as starting point, it issued an open call and solicited responses to the manifesto. This is one of the (...) sixteen selected responses, which augment, specify, or question the assumptions and arguments of the manifesto. (shrink)

Can stable regularities be explained without appealing to governing laws or any other modal notion? In this paper, I consider what I will call a ‘Humean system’—a generic dynamical system without guiding laws—and assess whether it could display stable regularities. First, I present what can be interpreted as an account of the rise of stable regularities, following from Strevens [2003], which has been applied to explain the patterns of complex systems (such as those from meteorology and statistical mechanics). Second, since (...) this account presupposes that the underlying dynamics displays deterministic chaos, I assess whether it can be adapted to cases where the underlying dynamics is not chaotic but truly random—that is, cases where there is no dynamics guiding the time evolution of the system. If this is so, the resulting stable, apparently non-accidental regularities are the fruit of what can be called statistical necessity rather than of a primitive physical necessity. (shrink)

Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of (...) a concept C, together with extra-logical axioms governing such a predicate, and show that arithmetic can be obtained in such a framework. As a philosophical payoff, we investigate the status of the so-called Hume's Principle and its connections to the root of the contradiction in Frege's system. (shrink)

Insurgent Universality offers a novel attempt to access history through a problematisation of the notion of universalism. Its main argument is based on three notions articulated in revolutionary events: temporalities, universality and insurgency. In this article we review their theoretical aspects, comment on their limitations, and outline potential reformulations.

Portioning-out and individuation are two important semantic properties for the characterization of countability. In Mandarin, nouns are not marked with count-mass syntax, and it is controversial whether individuation is encoded in classifiers or in nouns. In the present study, we investigates the interpretation of a minimal pair of non-interrogative wh-pronominal phrases, including duo-shao-N and duo-shao-ge-N. Due to the presence/absence of the individual classifier ge, these two wh-pronominal phrases differ in how they encode portioning-out and individuation. In two experiments, we used (...) a Truth Value Judgment Task to examine the interpretation of these two wh-pronominal phrases by Mandarin-speaking adults and 4-to-6-year-old children. We found that both adults and children are sensitive to their interpretative differences with respect to the portioning-out and individuation properties. They assign either count or mass readings to the bare wh-pronominal phrase duo-shao-N depending on specific contexts, but only count readings to the classifier-bearing wh-pronominal phrase duo-shao-ge-N. Moreover, the portioning-out and individuation properties associated with the individual classifier ge emerge independently in the course of language development, with the portioning-out property taking precedence over the individuation property. Taken together, the present study provides new evidence for the view that the portioning-out and individuation properties in Mandarin are encoded in classifiers rather than in nouns, and these two semantic properties are two distinct components in our grammar. (shrink)

We review here some recent data about glucose‐6‐phosphate dehydrogenase (G6PD), the first and key regulatory enzyme of the pentose phosphate pathway. New evidence has been presented to suggest that malaria is a selective agent for G6PD deficiency, which is the most common enzymopathy in man, and that G6PD deficiency, generally considered to be a mild and benign condition, is significantly disadvantageous in certain environmental conditions. At the molecular level, the enzyme structure has recently been elucidated and mechanisms regulating G6PD gene (...) expression have been determined. A G6PD knock‐out mutation introduced in mouse cells makes them exquisitely sensitive to oxidative stress, indicating that this ubiquitous metabolic enzyme has a major role in the defence against oxidative stress, even in eukaryotic nucleated cells, which have several alternative routes for providing the same protection. Because of the high prevalence of G6PD deficiency in many populations, it is expected that these findings will prompt further studies to ascertain the putative role of G6PD deficiency in conditions such as carcinogenesis and ageing. (shrink)

In this paper we aim to show an intrinsic contradiction of contemporary Metaphysical Realism by focusing on the relation between the subject and the object. Metaphysical Realism considers facts and objects as being empirical, and therefore they are considered in relation to the subject, while at the same time facts are assumed to belong to an autonomous and independent reality. However, if a real object is considered to be independent from the subject, once it enters in a relation with the (...) latter, a real object must undergo an intrinsic transformation. However, since an object cannot avoid this transformation then recovering the real or “absolute” object from the perceived object is not possible. In this way, the inherent contradiction of the “absolute” as being determined, i.e., defined by virtue of a limit, is revealed. (shrink)

Este artigo apresenta uma abordagem inicial sobre a caracterização do campo meta-teórico de pesquisa em educação inclusiva e, em particular, examina as forças que produzem seu discurso na pesquisa documental. É reconhecida a necessidade de avançar na exploração de uma perspectiva epistêmica que permita superar o absentismo teórico enfrentado pela educação inclusiva em tempos complexos. O desenvolvimento atual da pesquisa em educação inclusiva é alimentado por vários campos de confluência fora da pedagogia, o que resultou na cristalização de um discurso (...) crítico e não crítico sobre si mesmo. As diferenças entre as perspectivas crítica e acrítica residem na ausência de raciocínio para politizar a discussão sobre a inclusão como mecanismo de transformação de todos os campos da vida do cidadão. Isso confirma a presença de políticas de produção de conhecimento que impõem fundamentos intelectuais binários e poucos pontos de fuga para problematizar as relações estruturais da desigualdade. Soma-se a isso as fortes raízes de padrões que impõem modelos epistêmicos quebrados para pensar nas opressões objeto das diversas identidades que chegam ao espaço escolar e demarcam novas formas de expressão cidadã. Conclui-se com base em um modelo pré-construído de tipo normativo para refletir sobre as questões fundamentais do desenvolvimento humano e cidadão. É necessário promover um processo de descolonização em todos os campos da Ciência da Educação, bem como uma crítica genealógica dos fundamentos híbridos que este modelo propõe, dada a uniformidade de seu discurso em todos os ciclos e níveis de ensino. Palavras-chave: educação inclusiva, políticas de produção de conhecimento, epistemologia, identidades e temas educacionais. (shrink)

El presente artículo analiza algunos de los dilemas definitorios más relevantes del campo de la educación inclusiva. Sus desarrollos cognitivos actuales no son más que un peculiar sistema de ignorancia sancionada que opera con gran fuerza a través de la metáfora del engañador-engañado, es decir, una espacialidad argumentativa que nace engañada y que produce múltiples formas de engaño. Lo que conocemos como educación inclusiva no es más que una racionalidad que trabaja sin referencias objetivas sobre sí mismas. Lo cierto es (...) que la inclusión es un fenómeno dinámico y variable, cuyos significantes cambian, mutan y se transforman sistemáticamente de acuerdo con el contexto que dialoga. Es esto lo que permite sostener que la inclusión es un concepto maleta –esta metáfora nos informa cómo algo puede servir para múltiples cosas–, con usos y aplicaciones diferentes. Es un fenómeno y un cuerpo de conocimiento no fijo que, a partir de él, permite leer una multiplicidad de categorías teóricas y prácticas sociales. De ello se infiere que no estamos tratando con un cuerpo de conocimientos fijos. El conocimiento auténtico de la educación inclusiva ni su repertorio metodológico pueden escaparse de las relaciones de poder. Ambos están profundamente arraigados en aquello que se proponen comprender. Su conocimiento nunca es políticamente neutral. El trabajo concluye observando que una de las tensiones más relevantes que enfrenta la construcción epistemológica de la educación inclusiva consiste en aprender a utilizar en el trabajo empírico sus fundamentos cognitivos para evitar que su práctica no pueda defender las desigualdades sociales –estructurales y relaciones– que pretende comprender. Tomar la educación inclusiva como cualquier enfoque teórico que analiza problemas sociales puede incurrir en una praxis laxa que conduzca a la producción de más errores que respuestas. (shrink)

A compreensão epistemológica da Educação Inclusiva expressa um funcionamento diaspórico, isto é, as formas de construção do seu conhecimento, operam através de uma dispersão do conhecimento, distribuída por uma multiplicidade de geografias epistêmicas, entre elas, Feminismo, Teoria Queer, Estudos Postcolonial, entre outros. Neste caso, as contribuições do Feminismo e dos Estudos Queer, tornam-se instâncias chave do conhecimento para promover a proposta de uma nova racionalidade - cada vez mais ampla em suas propostas e sistemas de raciocínio - para justificar a (...) relevância da inclusão para além da produção de ficções baseadas na inclusão no mesmo - dentro da Ciência da Educação no século XXI. Retornando à idéia de Educação Inclusiva como "categoria de análise" e "dispositivo macroeducativo", esta entrevista analisa as interseções políticas, epistêmicas e pedagógicas que a Pedagogia Queer compartilha com a Educação Inclusiva; reconhecendo o primeiro como uma das suas principais memórias epistêmicas de transformação. Nessa ocasião, o Dr. Nilson Dinis, acadêmico do Departamento de Educação e Não-Programa de Graduação em Educação da Universidade Federal de São Carlos, nos dá reflexões interessantes sobre a configuração de um campo que, embora exprima uma longa história em epistemologias subalternas, é conhecida e entendida a partir de uma posição de afastamento e periferia na educação e no treinamento de professores. O Dr. Dinis também aprofunda a compreensão do trans, sua agência e repercussões políticas nas gramáticas educacionais. Ao mesmo tempo, dá idéias-chave para abordar o currículo, as lógicas operacionais das instituições educacionais e a co-gestão das identidades sexuais no contexto educacional. Indubitavelmente, suas contribuições contribuem para posicionar um tópico que as políticas públicas e educacionais no campo da produção de Educação Inclusiva, é subalternizado, gerando novas estratégias de apartheid do conhecimento ou em termos de Spivak ou Foucault, a violência epistêmica, se tornam os chamados "vazios da diversidade", que são apenas declarações que atraem a noção de diferença para o centro do capitalismo, sem abordá-lo, deixando-o em uma situação permanente de desvalorização social e indefesa. Em suma, a entrevista espelha uma crescente complexidade, convidando-nos a superar as simplicidades pedagógicas a este respeito. Palavras-chave: pedagogia queer, educação inclusiva, multiplicidade de diferenças, ação e resistência política. (shrink)

Examining the work on dialogue done by Gadamer, Habermas and Derrida, this article shows the theoretical depth and complexity of this concept. Drawing together different views, its highlights the stakes of the competing understandings of this topic. The diversity in their individual conceptualisations of dialogue gives an insight into the wealth of conceptual resources that is hidden in this word. This piece reads selected pieces from these thinkers through the lens of the concept of dialogue — building and refining a (...) definition of what dialogue could mean. (shrink)

Animals populate our artistic and philosophical discourses in critical ways. From Jacques Derrida's or Karen Barad's cat, to Donna Haraway's dog, to the fish in Lucien Castaing-Taylor and Véréna Paravel's Leviathan, these animals feature heavily in discussions regarding limits – the limits of the human and thus its relation with non-humans, but also the limits of knowledge itself. Cute or dangerous, real or fantasised, dead or alive: in this article, I juxtapose the various ways that such animals confront us with (...) what Jacques Derrida describes as “the point of view of the absolute other”. Similarly, recent texts stage encounters with animals – thus distributing agency towards a larger variety of beings, carving out space for a previously excluded non-human other. Yet these encounters are mediated in profoundly different ways. In researching how encounters with the animal are differentially inflected and “defracted” respective to the medium in which they are staged, this article invokes questions of form and style within the critical dialogue that attempts to centre non-human animals. Highlighting how formal decisions are not accidental, but rather integral, to the praxis of the philosophy of animality, this article aims to draw attention to how specific forms and styles allow for a moment of contact with a non-human other. To this end, this article examines three oft-cited encounters: Derrida's encounter with his cat, an intense stare with a fish in Leviathan, and Barad's inflection of Schrödinger's cat. This juxtaposition gives insight into the limits of certain styles of producing thought and critically reflects on these works in their discussion of non-human life and agency. (shrink)

O artigo aborda o ensino e a aprendizagem de filosofia a partir da noção de criação de conceitos, conforme o entendimento de Deleuze. Para isso, discute o que significa criar conceitos em filosofia, associando essa concepção a uma nova imagem do pensamento que entende a criação de conceitos como o dizer do acontecimento, o sentido incorporal produzido pelo efeito do encontro dos corpos. Depois estabelece os vínculos entre o sentido e o acontecimento com uma nova imagem sobre ensinar e aprender (...) filosofia e conclui com a figura do teatro para compreender esses vínculos. (shrink)

In his philosophical works, Cicero rationally considers death to be either the end of man or the passage of the soul to a better state. Though he sentimentally fells closer to the latter idea. The Consolatio takes a special position, in that it unconditionally accepts the immortality of the soul and eternal retribution, the alternative now concerning rewards and punishments. He seems to consider his daughter's survival as depending from his efforts to this effect, and does not appear to expect (...) a reunion with her after his own death. In the Divine Comedy Dante takes advantage of Cicero's Somnium Scipionis to describe his view of the universe from the Heaven of Fixed Stars, and in his Convivio uses the De amicitia and specially the De senectute in order to prove the immortality of the soul. To do so, he presents as the absolute truth the arguments employed by Cicero to illustrate the positive side of the Socratic alternative. (shrink)

Attraverso l'esame di tutte le citazioni da autori greci che compaiono nell'opera filosofica senecana si indaga da un lato sull'atteggiamento del filosofo romano nei confronti della cultura ellenica, dall'altro sulle soluzioni da lui adottate di fronte ai concreti problemi sollevati dalla resa in latino del pensiero e della forma degli originali greci. Il tipo prevalente della citazione senecana, che tende a configurarsi quasi sempre in forma di sentenza, pone costantemente il problema del carattere delle fonti greche utilizzate da Seneca. Il (...) libro si articola in capitoli dedicati ai vari autori greci citati dal Romano, con il massimo spazio riservato a quelli maggiormente utilizzati da lui: i filosofi stoici ed Epicurio. Precede un capitolo sulla posizione teorica senecana sulle due lingue e sulle due culture, fortemente influenzata da un lato dall'atmosfera culturale della sua epoca, dall'altro dalle dottrine filosofiche dello stoicismo relative al linguaggio, e strettamente collegata col concreto problema della traduzione. Alle dossografie dei vari libri delle Naturales questiones viene dedicata una trattazione speciale, mentre alcune appendici hanno lo scopo di completare il quadro tracciato nell'opera. (shrink)