CRIS

Permanent URI for this communityhttps://scripta.up.edu.mx/handle/20.500.12552/1

Browse

Settings

Has files: YesSubject: search.filters.subject.Logic

Search Results

Now showing 1 - 3 of 3
  • Loading...
    Thumbnail Image
    Some of the metrics are blocked by your 
    consent settings
    Item type:Publication,
    On Strong and Weak Logics for Paraconsistent Computability
    (College Publications, 2025)
    Weber, Zach
    ;
    Cano-Jorge, Fernando
    One tradition in relevant and paraconsistent logics has been to develop systems intended for applications to arithmetic and computability theory. The aspiration, as in Meyer [38] and others, is to recover enough working mathematics for real computation, but without the limitative results of Turing, Gödel, etc.; or more cautiously, as in Dunn [22], to respect relevance and with that be insulated against the possibility of a genuine inconsistency. We distill these goals into GUIDING QUESTIONS, and study the options for logics within a range of relevant systems. We focus on strong truth functional logics RM3 and PAC [6] and their expansions, with application to inconsistent arithmetics [61, 62]. We argue that this approach, while having many virtues, does not fully answer our guiding questions. This points to weak relevant logics like Routley/Sylvan’s DKQ [54], Brady's MCQ [14], and Logan and Boccuni's DL2Q*f [31]. The recurring theme is that paraconsistent computability struggles with functionality [17, 41, 43]. A method for advancing on the ‘function problem' is sketched with Kleene's theorem as a worked example. ©The authors ©College Publications © Journal of Applied Logics.
  • Loading...
    Thumbnail Image
    Some of the metrics are blocked by your 
    consent settings
    Item type:Publication,
    La nueva metafísica de Hegel desde el prólogo a la Wissenschaft der Logik (1812)
    (Universidad Panamericana. Facultad de Filosofía, 2024)
    Cordero Redondo, Joan
    Este artículo analiza el prólogo de 1812 a la Ciencia de la lógica (WdL) y responde a los planteos: ¿de qué trata esta obra?, ¿qué hay de lógico en la expresión “lógica”?, ¿es ”lógica” un nombre sustituto para “metafísica” o, más bien, la WdL es la inauguración de una disciplina completamente nueva y que dista de la metafísica en el sentido tradicional? Concluyo que la lógica es aquí el desarrollo del concepto expresada como libertad social.
      25  16
  • Loading...
    Thumbnail Image
    Some of the metrics are blocked by your 
    consent settings
    Item type:Publication,
    La unión de la lógica y la metafísica en Hegel: el problema de la escisión entre pensar y ser
    (Universidad Panamericana. Facultad de Filosofía, 2023)
    Ortigosa, Andrés
    Una parte del contexto actual en el que se interpreta a Hegel tiene un profundo sesgo kantiano. Por ello, es acuciante reivindicar la independencia y originalidad de Hegel frente a Kant. Con este fin, en este artículo explico la relevancia de la concepción de la metafísica y la lógica en Hegel. En un primer periodo en Jena es cierto que Hegel sigue las ideas de Kant, pero en Núremberg su Ciencia de la lógica marca la separación final entre él y Kant.
      5  48