El presente artículo tiene como objetivo analizar críticamente los conceptos de “opinión” (δόξα) e “idea” (ἰδέα) a la luz de la República de Platón y la influencia de estos en la educación básica media y media vocacional. Se parte de un trabajo mancomunado entre la enseñanza de la Filosofía y el filosofar. Un primer apartado alude al concepto de opinión como camino inicial que exhorta al estudiante a un estudio crítico-reflexivo de los problemas propios del Estado (Polis). El segundo hace (...) énfasis en el concepto de idea como vía para el análisis y la comprensión de las dificultades que acontecen en el Estado (Polis). El último apartado expone la importancia de la enseñanza de la Filosofía y del filosofar en el quehacer educativo. Para ello, se recurre a la interpretación de algunos diálogos de Platón y a textos de investigación relevantes en el campo de la enseñanza de la Filosofía y la pedagogía. (shrink)

Este artículo rastrea el concepto de “felicidad” en la obra Anti-Séneca o Discurso sobre la felicidad de Julien Offray de La Mettrie (2010). Antes de explorar el término “felicidad”, es indispensable responder la pregunta: ¿qué entiende La Mettrie por “ser humano”? Para ello, en la primera sección se analiza la idea de “cuerpo humano”, entendido como máquina orgánica. En la segunda sección discutimos los daños físicos o enfermedades que pueden afectar la máquina o cuerpo humano. En la tercera parte exploramos (...) la concepción de “felicidad” entendida como placer carnal, voluptuosidad y felicidad orgánica o arterial. En la cuarta sección examinamos los diferentes caminos para alcanzar la vida feliz. Concluimos que la felicidad, para La Mettrie, es el resultado de la organización o composición del cuerpo humano; por lo tanto, el individuo, al actuar según su naturaleza, debe quedar exento de recriminación o juicios éticos. (shrink)

La formación docente es indispensable para responder a los requerimientos de la compleja sociedad actual. De su conocimiento, iniciativa, praxis y creatividad depende el éxito o el fracaso del sujeto que aprende. Al modificar el rol del docente se transforma la actitud de los estudiantes. ¿Cómo entender la formación filosófica transdisciplinar? Este texto responde a este y otros cuestionamientos: ¿cuáles son los planteamientos pedagógicos afines a la era digital? ¿en qué medida las TIC se encuentran al servicio de una filosofía (...) educativa transdisciplinar?, ¿cómo se explica ese enfoque en la formación del docente?, ¿cuál es la función de la formación en la innovación educativa?, ¿cómo formar para la ciudadanía mundial?, ¿cuáles son las contribuciones de las nuevas ciencias para la formación educativa? El crecimiento exponencial de la ciencia y de la tecnología nos obliga a pensar en procesos formativos innovadores. En tal sentido, resulta imprescindible el estudio de estas problemáticas. (shrink)

Reseña de Fernando Forero. Filosofía y negatividad: Sobre el camino del pensar de Hegel en Jena, Bogotá: Universidad Nacional de Colombia, 2019, 343pp.

RESUMENMaría Zambrano intenta superar el racionalismo a partir de la razón poética, síntesis de la intuición intelectual, que llama “revelación”, y de la razón discursiva.PALABRAS CLAVESRAZON POETICA – INTUICION – REFLEXION – RACIONALISMO ABSTRACTMaría Zambrano tries to go beyond rationalism from the “poetic reason”, a synthesis of the intelectual intuition, which she calls “revelation”, and the discursive reason.KEYWORDSPOETIC REASON – INTUITION – REFLECTION – RATIONALISM.

El pensamiento de María Zambrano emerge, en la distancia histórica, bajo la imagen, siempre sugerente, de una Antígona contemporánea. Como ella asiste al conflicto trágico de una Guerra Civil; como ella apura el cáliz del sufrimiento y la soledad para hacer emerger una conducta ética y moral que sirva de Guía a sus contemporáneos, en un momento de crisis y confusión. Todas las grandes nociones del pensamiento zambraniano (sueño, confesión, guía, alba y aurora) se dan cita en esta máscara, (...) pero será el personaje galdoniano de la Nina de Misericordia, como aspiración pura nunca lograda, el verdadero motor que revela la personalidad de María Zambrano, tal como la vemos florecer en sus obras finales, Aurora, Claros del bosque y, sobre todo, Los bienaventurados. (shrink)

Se apuntan algunas reflexiones relevantes sobre el ethos universitario en el contexto del exilio republicano español de 1939. En concreto, de autores como Fernando de los Ríos, Joaquín Xirau y José Gaos, exponentes todo ellos de un saber desarraigado en busca de nuevos resortes de poder. Se tiene además en cuenta el caso de María Zambrano, cuyo aparente desinterés por la cuestión universitaria es indicio de un saber coherente con su exilio e irreductible a la disciplina académica, de (...) un saber que ha renunciado al poder y exige un nuevo ethos. (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (shrink)

En el terreno de la moral, el contraste entre lo ¿que el filósofo Wilfrid Sellars denominó «la ¿imagen manifiesta» y la «imagen científica» es enorme y tiene unas consecuencias prácticas ineludibles. Este libro reduce la distancia entre esa imagen manifiesta y la imagen científica, dotando al lector de referencias fundamentales, enfoques diversos y un amplio abanico de temáticas a partir de investigaciones experimentales sobre nuestra conducta moral.

English translates ‘genos’ as kind and ‘eidos’ as form, which differ in meaning as much as ‘herd’ and ‘brand’ do. But there are hard passages where ‘genos’ and ‘eidos’ have appeared to be synonyms, usually given the new meaning class. We show that, although ‘genos’ and ‘eidos’ are never synonyms and continue to mean kind and form, the word ‘eidos’ can be used figuratively, as a metonym, for a genos.

Fernando Pessoa, a par de diatribes ao regímen republicano implantado em Portugal a 5 de Outubro de 1910, enuncia como e porquê o verdadeiro regímen político português: «república nova», promoverá liberdade e humanismo autênticos sob a organização de um escol de eleitos indispensáveis ao «Império de Cultura» capaz de colocar Portugal de novo como grande potência europeia constituindo uma «Confederação Ibérica», assim cultive a virtude da nação germânica.

In "'Yes" and "No'" (2000), Ian Rumfitt proposed bilateralism--a use-based account of the logical words, according to which the sense of a sentence is determined by the conditions under which it is asserted and denied. One of Rumfitt's key claims is that bilateralism can provide a justification of classical logic. This paper raises a techical problem for Rumfitt's proposal, one that seems to undermine the bilateralist programme.

We show how to interpret intuitionistic propositional logic into a predicative second-order intuitionistic propositional system having only the conditional and the universal second-order quantifier. We comment on this fact. We argue that it supports the legitimacy of using classical logic in a predicative setting, even though the philosophical cast of predicativism is nonrealistic. We also note that the absence of disjunction and existential quantifications allows one to have a process of normalization of proofs that avoids the use of "commuting conversions.".

There is no systematic knowledge about how individuals with Locked-in Syndrome experience their situation. A phenomenology of LIS, in the sense of a description of subjective experience as lived by the ill persons themselves, does not yet exist as an organized endeavor. The present article takes a step in that direction by reviewing various materials and making some suggestions. First-person narratives provide the most important sources, but very few have been discussed. LIS barely appears in bioethics and neuroethics. Research on (...) Quality of Life provides relevant information, one questionnaire study explores the sense of personal continuity in LIS patients, and LIS has been used as a test case of theories in “embodied cognition” and to explore issues in the phenomenology of illness and communication. A systematic phenomenology of LIS would draw on these different areas: while some deal directly with subjective experience, others throw light on its psychological, sociocultural and materials conditions. Such an undertaking can contribute to the improvement of care and QOL, and help inform philosophical questions, such as those concerning the properties that define persons, the conditions of their identity and continuity, or the dynamics of embodiment and intersubjectivity. (shrink)

Academic integrity establishes a code of ethics that transfers over into the job force and is a critical characteristic in scientists in the twenty-first century. A student’s perception of cheating is influenced by both internal and external factors that develop and change through time. For students, the COVID-19 pandemic shrank their academic and social environments onto a computer screen. We surveyed science students in the United States at the end of their first COVID-interrupted semester to understand how and why they (...) believed their peers were cheating more online during a pandemic. Almost 81% of students indicated that they believed cheating occurred more frequently online than in-person. When explaining why they believed this, students touched on proctoring, cheating influences, and extenuating circumstances due to COVID-19. When describing how they believed cheating occurred more frequently online, students touched on methods for cheating and surreptitious behavior. The student reasonings were associated with four theories that have been used to examine academic dishonesty. Our results can aid institutions in efforts to quell student concerns about their peers cheating during emergencies. Interestingly, most student beliefs were mapped to planned behavior theory while only a few students were mapped to neutralization theory, suggesting it was a novel modality of assessment rather than a pandemic that shaped student perceptions. (shrink)

It has been known for six years that the restriction of Girard's polymorphic system $\text{\bfseries\upshape F}$ to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each $\beta$-reduction step of the full intuitionistic propositional calculus translates into one or more $\beta\eta$-reduction steps in the restricted Girard system. As a consequence, we obtain (...) a novel and perspicuous proof of the strong normalization property for the full intuitionistic propositional calculus. It is noticed that this novel proof bestows a crucial role to $\eta$-conversions. (shrink)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predicate calculus into a second-order predicative system for which there is no need for commuting conversions. Furthermore, we show that the redex (...) and the conversum of a commuting conversion of the original calculus translate into equivalent derivations by means of a series of bidirectional applications of standard conversions. (shrink)

My aim in this paper is twofold: I will try to clarify what the conditions developed in EN I a discipline or an argument must meet to be assumed as precise are, and, then, try to present evidence that the exam of akrasia in EN VII 3 meets these conditions. In the first part of this paper, I will select passages in which such conditions are displayed, and also distinguish between practical precision and theoretical precision. In the second part, where (...) the analysis of the senses of having but not using knowledge in EN VII 3 is carried on, I will claim that Aristotle’s objective is reaching the adequate statement of the explanandum that will be the subject of causal enquiry of akrasia. My concluding remarks will claim that the conditions displayed in this paper’s first part are met by Aristotelian procedure in EN VII 3. (shrink)

Both questions as abstract objects and the speech acts, here called requests, by which we ask them play an enormous role in all argumentative practices. Nonetheless, there is hardly a proper systematic treatment of questions and requests in current argumentation theories. This paper is a first attempt at providing such a systematic treatment. This is achieved by following the ideal model of a critical discussion as elaborated over the years by the Amsterdam school of pragma-dialectics. After introducing the distinction between (...) questions and requests, the paper sets forth and illustrates the norms of questioning which implicitly underlie the four stages of a critical discussion in the standard order: confrontation, opening, argumentation, and conclusion. Among other things, it is shown that crucial insights of pragma-dialectics are illuminated by the questioning perspective, in particular the distinction between single and multiple differences of opinion, the duties of the antagonist and protagonist roles, the precise character of the argumentation stage, and the different ways in which a disagreement can be resolved. (shrink)

When is humanitarian intervention legitimate and how should such interventions be conducted? This article sets out eight liberal principles that underlie humanitarian intervention, some of them abstract principles of international ethics and others more concrete principles that apply specifically to humanitarian intervention. It argues that whilst these principles do not determine the legitimacy of particular interventions, they should ?incline? our judgments towards approval or disapproval. The basic principles include the liberal idea that governments are the mere agents of the people, (...) that tyrannical governments forfeit their legal protections, that human rights entail obligations for governments, that justifiable intervention must intend the end of tyranny or anarchy, that the doctrine of double-effect should be respected, that intervention is only warranted in severe cases, that intervention be welcomed by those it is intended to save, and that ideally it is welcomed by the community of democratic states. (shrink)

I propose to consider the interpersonal character of testimony as a kind of social bond created by the mutual intention of sharing knowledge. The paper explores the social mechanism that supports this mutual intention starting from an initial situation of modelling the other’s epistemic perspective. Accepting testimony as a joint action creates epistemic duties and responsibilities and the eventual success can be considered as a genuine achievement at the social level of epistemology. Trust is presented here as the symptom that (...) both parties are involved in such a social bond. (shrink)

Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.

Nesse artigo, eu procuro mostrar que a leitura tradicional que atribui um procedimento dialético à abordagem aristotélica da acrasia, em Ética Nicomaquéia VII 1-3 provoca um sério problema interpretativo ao tentar compatibilizar a posição socrática acerca da acrasia e os phanomena. Primeiramente, tento mostrar, baseando-me numa análise de Tópicos I 1-2, que o procedimento metodológico, em EN VII 1 1145b2-7, não se caracteriza como dialético. Em segundo lugar, proponho uma leitura em que Aristóteles, passo a passo refuta a tese socrática (...) que nega a existência da acrasia, uma vez que esse tese não é contada entre os phainomena que se quer preservar. (shrink)

Research Articles Fernando R. Tesón, Social Philosophy and Policy, FirstView Article.

Teson critiques a recent article by John Rawls in which Rawls extends his acclaimed political theory to include international relations.

The study aimed to comprehensively overview the experiences encountered by public school employees during the recruitment, selection, and placement (RSP) process within the DepEd Bohol Division. Employing a qualitative-descriptive research design, the researchers utilized a phenomenological approach to delve deeply into these experiences, shedding light on the nuances and intricacies of the division's RSP process. As Lambert et al. (2013) described, qualitative- descriptive studies aim to provide a comprehensive and detailed summary of specific events experienced by individuals or groups in (...) everyday terms. To achieve this, Colaizzi's (1978) data analysis method was applied, meticulously gathering, transcribing, and analyzing recorded participant responses. The rigorous analysis revealed that an overwhelming 81% of the participants recognized significant challenges within the current RSP system of the division, underscoring the pressing need for a renewed approach to address these identified challenges. This highlighted the necessity for an RSP policy that is responsive and innovative, tailored to meet the evolving needs and expectations of applicants, schools, and the division. By implementing improvements to the RSP process, a more efficient and timely filling of vacated and newly available positions is anticipated, contributing to the seamless functioning of the educational system and ultimately enhancing the prospects of success. (shrink)

This electronic document serves as a guide on how to get a LAMP stack running on a Google Compute Engine virtual machine instance running Debian.

Economists generally agree that free trade leads to economic growth. This proposition is supported both by theoretical models and empirical data. Further, while the empirical evidence is more limited on this question, the general consensus among economists holds that trade restrictions are likely to hurt the poor. Even if the latter consensus turns out to be wrong, if free trade leads to superior growth, governments would have more resources to redistribute to the poor. It is surprising then that philosophers and (...) human rights scholars do not advocate liberalizing trade as a way to improve the welfare of the poor as a class. While many scholars in these fields are silent with respect to the effect of free trade on the poor, some actually argue that liberalized trade is harmful for the poor, contrary to the claims of economists. In this article, we argue that any serious scholar concerned with the plight of the poor needs to address the theory and evidence regarding the effects of trade liberalization on economic growth, suggesting that the standard policy prescriptions of the philosophers and human rights scholars are, at best, of second order concern and, at worst, likely to be counterproductive in terms of improving the welfare of the poor. (shrink)

This paper explores the notion of cosmotechnics in the context of the history of Latin American philosophy. Since the nineteenth century, Latin American philosophy has developed through an ongoing confrontation between conceptions of “civilization and barbarism.” This tension in turn has impacted the relationship between Latin American philosophy and technology. Consequently, a certain “absence of technique” is visible as a recurring topos in Latin American philosophies. To overcome this apparent absence, this paper criticizes the notion of mestizaje using Silvia Rivera (...) Cusicanqui’s concept of ch’ixi (‘motley’) as an alternative framework. From this perspective, Guaman Poma de Ayala’s description of colonial violence reveals some hints for deconstructing the idea of “Latin Americanness”, while retaining the notion of cosmotechnics. Thus, this paper goes beyond geocultures and metatechnology by formulating a theory of cosmotechnics that is able to articulate politically antagonistic narratives in terms of technical materiality. (shrink)

Em um artigo influente publicado em meados dos anos 80, Jacques Brunschwig defendeu a ideia de que o debate dialético, para Aristóteles, não resultaria em vencedores e derrotados. Sua defesa é baseada no debate dialético como sendo um trabalho comum entre questionador e respondedor (cláusula koinon ergon [cf. Tópicos VIII.11 161a20-21]) e como um tipo de teste de consistência de uma dada proposição (cláusula dia tēn thesis [cf. Tópicos VIII.4 159a20]). Apesar dos muitos méritos do artigo, penso que o argumento (...) de Brunschwig não considera adequadamente aspectos importantes do debate dialético no que concerne à performance dos debatedores, especialmente acerca dos recursos que o questionador deve usar. Ao não considerarmos esses aspectos, temos dificuldades para interpretar passagens em que Aristóteles recomenda o uso de táticas para enganar o respondedor. Meu objetivo nesse artigo será oferecer uma explicação diferente das cláusulas dia tēn thesis e koinon ergon, de modo que isso implicará uma conclusão segundo a qual o debate dialético honesto pode envolver vencedores e derrotados e manter a observância das duas cláusulas. Palavras-chave: Dialética; Aristóteles; Debate. Winners and losers in Aristotle’s dialectical debate. Abstract: In the mid-eighties Jacques Brunschwig published an influential paper of whose main claim consists in a defence of the Aristotelian conception of dialectical debate as a game without winners and losers. His claim is based on the dialectical debate as being a common work between answerer and questioner (koinon ergon clause [cf. Topics VIII.11 161a20-21]) and as a kind of test of the consistency of a given proposition (dia tēn thesis clause [cf. Topics VIII.4 159a20]). Despite its many merits, I think Brunschwig’s argument overlooks important aspects of the dialectical debate concerning the debaters’ performance, especially the resources that should be used by the questioner. By overlooking these aspects, we end up with several troubles to interpret passages in which Aristotle recommends deceptive tactics in the debate. My objective in this paper is to give a different account the dia tēn thesis and the koinon ergon clauses, which will imply a conclusion by which fair dialectical debates can still have winners and losers and observe both clauses. Key-words: Dialectics; Aristotle; Debate. Ganadores y perdedores en el debate dialéctico según Aristóteles. Resumen: En un influyente artículo publicado a mediados de los años 1980, Jacques Brunschwig defendió la idea de que el debate dialéctico, para Aristóteles, no resultaría en ganadores y perdedores. Su defensa se basa en el debate dialéctico como trabajo común entre el que pregunta y el que responde (cláusula koinon ergon [cf. Tópicos VIII.11 161a20-21]) y como una especie de prueba de la consistencia de una proposición dada (cláusula dia tēn thesis [cf. Tópicos VIII.4 159a20]). A pesar de los muchos méritos del artículo, creo que el argumento de Brunschwig no considera adecuadamente aspectos importantes del debate dialéctico con respecto a la actuación de los debatientes, especialmente con respecto a los recursos que debe utilizar el interrogador. Al no considerar estos aspectos, nos resulta difícil interpretar pasajes en los que Aristóteles recomienda el uso de tácticas para engañar al que responde. Mi objetivo en este artículo será ofrecer una explicación diferente de las cláusulas dia tēn thesis y koinon ergon, de modo que esto implique una conclusión de que el debate dialéctico honesto puede involucrar a ganadores y perdedores y mantener la observancia de las dos cláusulas. Palabras-clave: Dialéctica; Aristóteles; Debate. 1 Pesquisa desenvolvida no âmbito do Edital Universal Nº28/2018 financiada pelo CNPq sob o número 433825/2018-9. Data de registro: 01/08/2023 Data de aceite: 24/04/2024. (shrink)

This research tackled the challenges public secondary schools in Sagbayan District, Bohol, faced regarding records management. The study employed a mixed research design, combining both descriptive-qualitative and descriptive- quantitative methods. The qualitative phase involved conducting in-depth interviews and focus group discussions with relevant stakeholders involved in records management. On the other hand, the quantitative phase utilized survey questionnaires to gather data from relevant stakeholders to determine the acceptability of the proposed MIS among end-users. The first phase findings revealed various challenges (...) in records management faced by the schools, such as inefficient manual record-keeping systems, difficulties in data retrieval, and the risk of data loss due to inadequate backup procedures. These challenges highlighted the need for a comprehensive, technology-driven solution to streamline records management processes and ensure data security. The evaluation results in the second phase showed that the developed Management Information System (MIS) was well-accepted among the end users. The absence of any significant difference in the level of acceptability among the participants further validated the system's suitability for addressing their specific needs. The successful implementation of the MIS proved to be an effective solution to the records management challenges faced by the public secondary schools in Sagbayan District, Bohol. (shrink)

Forsyth’s (1980) Ethics Position Questionnaire and Hunt et al.’s (1989) Corporate Ethical Value Questionnaire are used to examine the ethical ideologies of senior managers from organizations listed in the Australian Stock Exchange. The results indicate how corporate ethical values, religion, gender, and age are related to the idealism and relativism of senior Australian managers. After discussing the results, limitations of the study are offered. Finally, managerial implications are provided and recommendations for future research are given.

We give an elementary proof of the strong normalization of the atomic polymorphic calculus Fat.

Relations computed by finite-state transducers are applied to interpret temporal propositions in terms of strings representing finite contexts or situations. Carnap–Montague intensions mapping indices to extensions are reformulated as relations between strings that can serve as indices and extensions alike. Strings are related according to information content, temporal span and granularity, the bounds on which reflect the partiality of natural language statements. That partiality shapes not only strings-as-extensions (indicating what statements are about) but also strings-as-indices (underlying truth conditions).

Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this (...) extended system. (shrink)

A modal logic for translating a sequence of English sentences to a sequence of logical forms is presented, characterized by Kripke models with points formed from input/output sequences, and valuations determined by entailment relations. Previous approaches based (to one degree or another) on Quantified Dynamic Logic are embeddable within it. Applications to presupposition and ambiguity are described, and decision procedures and axiomatizations supplied.

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic (Peirce’s Existential Graphs α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}). The straightforward construction of a presheaf category EGα∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {E}}}{{\mathcal {G}}}_{\alpha ^{*}}$$\end{document} of cuts-only Existential Graphs (equivalent to the well-studied category of finite forests) provides a basis for the further construction of the category EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {E}}}{{\mathcal {G}}}_\alpha $$\end{document} which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)

Dynamic and proof-conditional approaches to discourse (exemplified by Discourse Representation Theory and Type-Theoretical Grammar, respectively) are related through translations and transitions labeled by first-order formulas with anaphoric twists. Type-theoretic contexts are defined relative to a signature and instantiated modeltheoretically, subject to change.

This article sets forth and discusses the Ithaca Interpretation of Quantum Mechanics. Section 1 presents the standard formalism of quantum mechanics and the measurement problem. Section 2 sketches Everett's interpretation as a preamble to IIQM. Section 3 sets out IIQM's central claim: it is possible to make sense of quantum mechanics by taking as the proper subject of physics the correlations among subsystems. Section 4 introduces a theorem of quantum mechanics, the SSC theorem, which supports this claim. Section 5 contends (...) that at least two problems exist with IIQM, and one serious objection against it. Section 6 discusses a strategy based on relational probabilities to go around the objection. /// Este artículo presenta y discute la Interpretación de la Mecánica Cuántica de Ithaca. La sección 1 expone el formalismo estándar de la mecánica cuántica y el problema de la medición. La sección 2 bosqueja la interpretación de Everett como preámbulo a la IIQM. La sección 3 plantea la tesis central de la IIQM: es posible dar sentido a la mecánica cuántica tomando como sujeto propio de la física las correlaciones entre subsistemas. La sección 4 expone el teorema SSC de la mecánica cuántica que sustenta esta tesis. En la sección 5 se sostiene que existen al menos dos problemas con la IIQM, y una seria objeción en su contra. Para sortear esta objeción, la sección 6 discute una estrategia basada en probabilidades relacionales. (shrink)

Author: Erzsébet Rózsa. Translated by Fernanda Medina and Pedro Sepúlveda Zambrano. La mujer correcta es la protagonista en el pensamiento maduro de Hegel. A decir verdad, ella nunca lo atrajo tanto como Antígona. Con todo, lo cierto es que él rebajó a Antígona: vulneró la singularidad de la grandeza del carácter de Antígona en la Fenomenología, mezcló su imagen de Antígona con rasgos modernos burgueses, y transfirió con ello algunas características de su singularidad a la imagen de la mujer (...) en el marco de la pequeña familia de la incipiente sociedad burguesa. Esta imagen fusionada de la grandeza de Antígona la acaba dañando, y tampoco ayuda a una interpretación y auto-interpretación apropiada de la mujer, o bien a la elucidación de sus roles sociales y de género en la modernidad naciente. Apartándose estrictamente de esta imagen mezclada, en la Filosofía del derecho Hegel ha ofrecido una imagen comprensible hasta el día de hoy, y en muchos sentidos aún relevante, acerca de los diferenciados roles sociales y de género, adecuados a las expectativas de la incipiente sociedad moderna, o bien acerca de una correspondiente auto-interpretación y autodeterminación para la mujer de la modernidad naciente. La mujer comparte del mismo modo con el hombre la orientación subjetiva-normativa en la actitud práctica: ella debe apropiar y ejercitar correctamente sus roles sociales y de género. Pero todas estas expectativas se encuentran muy alejadas de la grandeza de Antígona. Con ello Hegel abrió una perspectiva a través de su comprensión de la fragilidad de la existencia humana en la modernidad, en medio de la cual mujeres y hombres cuestionamos cada vez el sentido de nuestra propia existencia. (shrink)

The article explores critical elements to understand how Origen elaborates his mystical theology in his Commentary on John. The spiritual progress process implies that rational beings are guided, by God’s Logos, from the practical life to the theoretical one becoming son or daughter of God, in the likeness of the Logos. This process aims at knowing the Father as he is known by the Logos. The article has two parts: 1. The Father’s presence, through the Logos, in rational beings, and (...) 2. a brief characterisation of the salvation, particularly in the perspective of the mediation by the Son of God. (shrink)