Results for 'Reinoud de Jongh'

1000+ found
Order:
  1.  5
    Intermediate Logics and the de Jongh Property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  9
    A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67 - 78.
  3.  26
    Intermediate Logics and the de Jongh Property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  11
    On Unification and Admissible Rules in Gabbay–de Jongh Logics.Jeroen P. Goudsmit & Rosalie Iemhoff - 2014 - Annals of Pure and Applied Logic 165 (2):652-672.
    In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  18
    A Semantical Proof of De Jongh's Theorem.Jaap van Oosten - 1991 - Archive for Mathematical Logic 31 (2):105-114.
    In 1969, De Jongh proved the “maximality” of a fragment of intuitionistic predicate calculus forHA. Leivant strengthened the theorem in 1975, using proof-theoretical tools (normalisation of infinitary sequent calculi). By a refinement of De Jongh's original method (using Beth models instead of Kripke models and sheafs of partial combinatory algebras), a semantical proof is given of a result that is almost as good as Leivant's. Furthermore, it is shown thatHA can be extended to Higher Order Heyting Arithmetic+all trueΠ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  8
    De Jongh and Glivenko Theorems for Equality Theories ★.Alexey Romanov - 2007 - Journal of Applied Non-Classical Logics 17 (3):347-357.
    This paper is concerned with the logical structure of intuitionistic equality theories. We prove that De Jongh theorem holds for the theory of decidable equality, but uniform De Jongh theorem fails even for the theory of weakly decidable equality. We also show that the theory of weakly decidable equality is the weakest equality theory which enjoys Glivenko theorem.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 , pp. 229–250. [REVIEW]Lev D. Beklemishev - 1993 - Journal of Symbolic Logic 58 (2):715-717.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  28
    Giorgi Japaridze and Dick de Jongh. The Logic of Provability. Handbook of Proof Theory, Edited by Samuel R. Buss, Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 475–546. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):472-473.
  9.  7
    The de Jongh Property for Basic Arithmetic.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Archive for Mathematical Logic 53 (7-8):881-895.
  10.  19
    Kripke Incompleteness of Predicate Extentions of Gabbay-de Jongh's Logic of the Finite Binary Trees.Tatsuya Shimura - 2002 - Bulletin of the Section of Logic 31 (2):111-118.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  7
    A Separable Axiomatization of the Gabbay–de Jongh Logics.Yokomizo Kyohei - 2017 - Logic Journal of the IGPL 25 (3).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  72
    The Future of Psychopharmacological Enhancements: Expectations and Policies.Maartje Schermer, Ineke Bolt, Reinoud de Jongh & Berend Olivier - 2009 - Neuroethics 2 (2):75-87.
    The hopes and fears expressed in the debate on human enhancement are not always based on a realistic assessment of the expected possibilities. Discussions about extreme scenarios may at times obscure the ethical and policy issues that are relevant today. This paper aims to contribute to an adequate and ethically sound societal response to actual current developments. After a brief outline of the ethical debate concerning neuro-enhancement, it describes the current state of the art in psychopharmacological science and current uses (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  13.  1
    Inventeur-savant et inventeur-innovateur : Charles Cros et Louis Ducos du Hauron. Les commencements de la photographie en couleurs.Ariane Isler De Jongh - 1982 - Revue d'Histoire des Sciences 35 (3):247-273.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  8
    Stable Formulas in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2018 - Notre Dame Journal of Formal Logic 59 (3):307-324.
    In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that these are the formulas preserved in monotonic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  21
    Religião e Espiritismo: o conceito de religião da Doutrina Espírita segundo a concepção de Alan Kardec.Brasil Fernandes de Barros - 2019 - Horizonte - Revista de Estudos de Teologia E Ciências da Religião 17 (52):525-526.
    Dissertação de mestrado de: BARROS, Brasil Fernandes de. Religião e Espiritismo: o conceito de religião da Doutrina Espírita segundo a concepção de Alan Kardec. 2018. Dissertação – Programa de Pós-graduação em Ciências da Religião, Pontifícia Universidade Católica de Minas Gerais, Belo Horizonte, MG.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. La noción kantiana de verdad trascendental.Stéfano Straulino - 2016 - Revista de Estudios Kantianos 1 (2):126-145.
    Kant's Notion of "Transcendental Truth". [English] The aim of this work is to elucidate the notion of “transcendental truth” and to show its role in the Kantian system. I will argue that this notion is in line with the traditional definition of truth, i.e., that it consists in the correspondence between knowledge and object. I will also argue that criteria of transcendental truth are provided by transcendental logic, and that it is this notion of truth what makes it possible to (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  92
    Un llamado ético a la inclusión de mujeres embarazadas en investigación: Reflexiones del Foro Global de Bioética en Investigación.Carla Saenz, Jackeline Alger, Juan Pablo Beca, José Belizán, María Luisa Cafferata, Julio Arturo Canario Guzman, Jesica Candanedo, Lissette Duque, Lester Figueroa, Ana Garcés, Lionel Gresh, Ida Cristina Gubert, Dirce Guilhem, Gabriela Guz, Gustavo Kaltwasser, Roxana Lescano, Florencia Luna, Alexandrina Cardelli, Ignacio Mastroleo, Irene Melamed, Agueda Muñoz del Carpio Toia, Ricardo Palacios, Gloria Palma, Sofía Salas, Xochitl Sandoval, Sergio Surugi de Siqueira, Hans Vásquez & Bertha Villela de Vega - 2017 - Revista Panamericana de Salud Pública 41 (e13):1-2.
    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 (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  37
    La interpretación antropológica de la Fenomenología del Espíritu. Aportes y problemas.Luis Mariano De la Maza - 2012 - Revista de filosofía (Chile) 68:79-101.
    Este artículo se refiere a una línea de interpretación de la Fenomenología del Espíritu de Hegel que tiene en Alexandre Kojève a su exponente más conocido e influyente. En ella se privilegian los aspectos antropológico-existenciales e histórico-políticos por sobre los aspectos lógico-sistemáticos de la obra. La exposición se divide en dos partes. La primera está dedicada a la lectura de Hegel realizada por Kojève en su célebre curso dictado entre 1933-1939 en la École Practique des Hautes Études de París, y (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  19.  12
    Producción de sentido, mediación semiótica y educación inclusiva.Maria do Rosário de Fátima Brandão Amorim & Fabiana Wanderley - 2018 - Voces de la Educación 3 (6):191-203.
    Numerosas expresiones lingüísticas son producidas por los profesionales de las áreas de la Educación y Psicología para designar al sujeto con discapacidad. Nuestra mirada se centró en los discursos que se balizan en un lenguaje analítico y heurístico perteneciente al universo de la normalidad de la razón analítica. En contra de esta propuesta dialogamos con Wittgenstein sobre producción de sentido y de Vygotsky sobre mediación semiótica. Palabras claves: producción de sentido; mediación semiótica, discapacidad, inclusión.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  27
    Los principales referentes intelectuales de Ángel Álvarez de Miranda, historiador de las religiones.Francisco Díez de Velasco - 2017 - 'Ilu. Revista de Ciencias de Las Religiones 22:97-144.
    Revision of the main intellectual referents of Ángel Álvarez de Miranda who was professor of History of Religions at the University of Madrid from 1954 until his death in 1957. A more detailed study is made of Mircea Eliade and Raffaele Pettazzoni, but also are revised Santiago Montero Díaz, Pedro Laín Entralgo, Marcelino Menéndez Pelayo, José Ortega y Gasset, Karl Kerenyi, Angelo Brelich, Xavier Zubiri, José Luis López Aranguren, Julio Caro Baroja, Wilhelm Schmidt and Gerardus van der Leeuw.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  50
    Álgebra de la experiencia y su aplicación a la Teoría de la relatividad.Juan Cano de Pablo - 2008 - Anales Del Seminario de Historia de la Filosofía 25:459-485.
    El problema fundamental para que la Teoría de la relatividad pueda ser acorde con la filosofía de Kant es el de la utilización de una geometría no euclídea. Que sus principios sean interpretados como juicios sintéticos a priori es, a nuestro entender, un problema secundario. Si queremos que los principios de una ciencia de la naturaleza sean universales y necesarios sin recurrir a dogmatismos, no queda otra posibilidad que entenderlos trascendentalmente. Como se observa en el principio de relatividad, Einstein también (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  43
    Teologia da oração eucarística II: Da anáfora de hipólito de Roma à oração eucarística II.Vanderson de Sousa Silva - 2013 - Revista de Teologia 7 (11):p - 35.
    Este trabalho monográfico busca pesquisar a teologia da Oração Eucarística II, em seus aspectos teológicos e históricos. Para tanto, buscou-se estudar a Anáfora Eucarística de Hipólito de Roma em sua obra – Traditio Apostolica, este é um texto patrístico do século III, onde se encontram alguns aspectos da Liturgia em Roma. Investigando o texto anafórico hipolitano constata-se que a Comissão responsável pela confecção das novas Preces Eucarísticas retoma o texto anafórico de Hipólito de Roma. Nosso artigo busca possibilitar o conhecimento (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  21
    Desempeño ejecutivo y rendimiento lector en estudiantes con trastorno por déficit de atención con hiperactividad.María Jesús Tapia Pérez, Mónica Veliz de Vos & Fernando Reyes Reyes - 2017 - Logos: Revista de Lingüística, Filosofía y Literatura 27 (1):3-14.
    Los niños con trastorno por déficit de atención con hiperactividad presentan alteraciones en el desarrollo de la función ejecutiva que se traducen en dificultades del control atencional y de la flexibilidad cognitiva. Considerando la complejidad de los procesos involucrados en la comprensión de lectura y el papel fundamental que en ellos cumple la función ejecutiva, puede esperarse que los niños con TDAH presenten diferencias en su desempeño lector en comparación con sus pares sin TDAH. El presente estudio, de carácter correlacional-predictivo, (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  1
    Didáctica, ciencia y literatura: cienciatura de la razón estética.Norberto de Jesús Caro Torres & Mónica Moreno Torres - 2019 - Voces de la Educación 4 (7):84-111.
    The text is part of the investigative concerns from the authors with regard to the dialogue between literature and science teaching. It starts from several theoretical approaches around the general didactics, university or superior didactics, science’s didactics and for last, literature’s didactics. This is largely due to our search which is focused in articulate the university didactics with science and literature’s didactics, meanwhile, we pretend to answer to the questions ¿How are the specific didactics of science and literature going to (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. De lybia Regina lybie.Francisco de Assis Florêncio - 2012 - Principia: Revista do Departamento de Letras Clássicas e Orientais do Instituto de Letras 2 (25):67-70.
    Este artigo tem por objetivo analisar e tecer comentários sobre a obra supracitada. De autoria de Giovanni Boccaccio, renomado poeta italiano do séculoXIV, esta biografia faz parte de uma coletânea intitulada De mulieribusclaris, composta de106 biografias que versam sobre a vida de mulheres de diferentes épocas. Além da tradução, faremos comentários linguístico-gramaticais, buscaremos saber as fontes que deram origem à elaboração desta obra e mostraremos o quanto ela pode ser útil como texto motivador para o ensino do latim.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  41
    La ética civil como factor de cohesión en la sociedad pluralista.Julio de la Vega-Hazas Ramírez - 2009 - Anales Del Seminario de Historia de la Filosofía 26:195-205.
    La llamada "moral civil" tiene tres características principales: es una "ética de mínimos", es plenamente racional, y se establece por consenso. Sin embargo, la ética no se mide por el número de preceptos, y los sistemas éticos no pueden ser clasificados por un criterio de cantidad. Más aun, es un punto de partida falso considerarla como un pensamiento racional uniforme frente a una pluralidad de creencias religiosas. Y si el consenso es sólo el resultado de una votación, puede fácilmente convertirse (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  30
    'Tres status mundi propter tres personas divinitatis': Teologia como história trinitário-apocalíptica em joaquim de Fiore.Vanderson de Sousa Silva - 2012 - Revista de Teologia 6 (10):p - 81.
    O presente artigo intenta perquirir o pensamento do abade e místico medieval Joaquim de Fiore (1132-1202), no que tange a concepção escatológica. O abade cisterciense e filósofo místico, defensor do milenarismo e do advento da idade do Espírito Santo deu origem a diversos movimentos filosóficos, com destaque para os joaquimitas. Seu pensamento foi combatido por Tomás de Aquino e condenado pelo Concílio de Laterão de 1215. Partindo de uma releitura dos escritos de Joaquim de Fiore (Liber Concordiae Novi ac Veteris (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  19
    Apoliticismo y carencia de mundanidad. Arendt-Heidegger.Marcos García de la Huerta - 2015 - Revista de Filosofía 71:79-92.
    Heidegger nunca llama a la política por su nombre; escribe la palabra entre comillas, pues la “política” carece de verdad; pero su adhesión al nacionalsocialismo es consistente con sus ideas, sobre todo las relativas a la historicidad, la resolución y el destino del pueblo ¿Quiere decir que la “política” carente de esencia se inviste de “verdad interna”? ¿Habría una filosofía nazi de verdad? La “animadversión contra la política”, que advierte Arendt en la mayoría de los filósofos, tiene una réplica en (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  23
    Apoliticismo y carencia de mundanidad. Arendt-Heidegger.Marcos García de la Huerta - 2015 - Revista de filosofía (Chile) 71:79-92.
    Heidegger nunca llama a la política por su nombre; escribe la palabra entre comillas, pues la “política” carece de verdad; pero su adhesión al nacionalsocialismo es consistente con sus ideas, sobre todo las relativas a la historicidad, la resolución y el destino del pueblo ¿Quiere decir que la “política” carente de esencia se inviste de “verdad interna”? ¿Habría una filosofía nazi de verdad? La “animadversión contra la política”, que advierte Arendt en la mayoría de los filósofos, tiene una réplica en (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. O ideal de beleza na escultura grega: Reflexões sobre as acepções formais construídas pela sociedade grega.Adriana Clementino de Medeiros - 2011 - Principia: Revista do Departamento de Letras Clássicas e Orientais do Instituto de Letras 2 (23):89-102.
    A partir do pensamento filosófico, podemos ver o homem apregoando juízos de valores a determinadas formas de conduta dentro da sociedade, ou seja, julgar se determinada coisa é boa, ruim, agradável, desagradável, bonito, feio, etc. E entre esses vários juízos de valores podemos distinguir o juízo moral e o estético. Como nosso trabalho está baseado no juízo estético, falaremos do ideal de beleza na arte grega e das demonstrações de preocupação com a modalidade corporal e com as percepções sobre os (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  23
    Una historia adverbial de la subjetividad moderna hispanohablante.Juan Antonio González de Requena Farré - 2015 - Logos: Revista de Lingüística, Filosofía y Literatura 25 (2):140-153.
    El debate filosófico sobre la subjetividad moderna se ha centrado frecuentemente en la autorreflexión de los posicionamientos del sí mismo, y no se ha prestado suficiente atención a los modos discursivos de subjetivación, por ejemplo a marcadores de subjetividad como los adverbios. En este artículo se pretende establecer de qué manera los adverbios de modalidad expresan la gama de actitudes y los posicionamientos epistémicos del sujeto moderno hispanohablante. Se realizó un análisis de contenido de los usos idiomáticos entre 1500 y (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Le principe de délicatesse et l'économie libidineuse chez Sade.Clara Carnicero de Castro - 2015 - Revista de Filosofia Moderna E Contemporânea 3 (1):180-189.
    Dans une lettre à son épouse, Sade fait l'éloge de la bizarrerie et l’élève au rang de catégorie esthétique sous le nom de « principe de délicatesse ». Cela peut sembler paradoxal, comme l'a bien remarqué Michel Delon, que celui qui énonce le devoir de délicatesse est celui-là même dont le nom est devenu synonyme de brutalité. Le terme est en effet ambigu et possède dans l'oeuvre du marquis plusieurs sens: de l'échange de soins entre Juliette et sa maîtresse préférée (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  17
    A quaestio mihi facto sum de Agostinho e as decorrentes considerações sobre identidade em Hannah Arendt.João Francisco Gabriel de Oliveira Filho - 2014 - Revista de Teologia 8 (14):94-104.
    O trabalho proposto objetiva investigar alguns pontos referentes à narração e à interioridade nas Confissões de Agostinho à luz das considerações sobre a identidade em Hannah Arendt. Ao descobrir a vida interior individual, é possível dizer que Agostinho tenha sido o fundador do romance autobiográfico. É de se notar que a “questão que me tornei para mim mesmo”, retirada das Confissões, esse tipo de rememoração e autorreflexão religiosa, parece insolúvel tanto em seu sentido psicológico individual como em seu sentido filosófico (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  3
    David Hume E o “Número de Dunbar”: Uma Abordagem Evolucionista Sobre Os Fundamentos da Moralidade.Marcelo de Araujo - 2016 - Veritas – Revista de Filosofia da Pucrs 61 (1):89-106.
    O objetivo deste artigo é caracterizar o conceito de justiça como uma convenção social indispensável para a emergência de obrigações morais no contexto de grupos que ultrapassam o “numero de Dunbar”. O artigo retoma, por um lado, a teoria da justiça proposta por David Hume na terceira seção de Uma Investigação sobre os Princípios da Moral, e, por outro lado, a hipótese de Robin Dunbar acerca do número máximo de indivíduos com os quais uma pessoa pode manter relações sociais estáveis (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Tensiones entre el mundo tecnológico y el mundo de la vida.Ana Patricia Noguera de Echeverri & Diana Alexandra Bernal Arias - 2013 - Logos: Revista de la Facultad de Filosofia y Humanidades 23:21-37.
    Existe una escisión del hombre con la naturaleza inscrita en los aspectos de la vida; la civilización moderna está en crisis ambiental, de la cultura, de sentido, de la técnica y de la manera en que habita y crea hábitat el hombre. La técnica moderna se ha instaurado de la mano de la ciencia y la economía llamándose tecnología: una manera de la techné distanciada de sus orígenes y que ha pasado de la creación e invención a una repetibilidad que (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  14
    Apoliticismo y carencia de mundanidad: Arendt-Heidegger.Marcos García de la Huerta - 2015 - Revista de filosofía (Chile) 71:79-92.
    Heidegger nunca llama a la política por su nombre; escribe la palabra entre comillas, pues la “política” carece de verdad; pero su adhesión al nacionalsocialismo es consistente con sus ideas, sobre todo las relativas a la historicidad, la resolución y el destino del pueblo ¿Quiere decir que la “política” carente de esencia se inviste de “verdad interna”? ¿Habría una filosofía nazi de verdad? La “animadversión contra la política”, que advierte Arendt en la mayoría de los filósofos, tiene una réplica en (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  2
    Evaluación de autorregulación académica en estudiantes de psicología en modalidad en línea.Anabel de la Rosa Gómez, José Manuel Meza Cano, Judith Rivera Baños & Edith González Santiago - 2018 - Voces de la Educación 3 (6):126-141.
    Se evaluó la autorregulación en estudiantes de nuevo ingreso en una licenciatura en psicología en línea. Se adaptó y aplicó el Inventario de Estilos de Aprendizaje y Orientación Motivacional de Castañeda y Ortega a una muestra de 204 estudiantes encontrando que la edad se relaciona con la eficacia percibida, la aprobación externa y el manejo de materiales de estudio. Palabras clave: autorregulación, educación en línea, educación superior, estrategias de aprendizaje, motivación.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  20
    On the Admissible Rules of Intuitionistic Propositional Logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
    We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  39.  14
    Explicating Logical Independence.Lloyd Humberstone - forthcoming - Journal of Philosophical Logic:1-84.
    Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Uso político da religião e uso religioso da política: uma análise a partir de duas interpretações exemplares - Marsílio e Maquiavel.José Luiz Ames - 2014 - Clareira: Revista de Filosofia da Região Amazônica 1 (2):220-239.
    We are presently confronted with an impressive growth of the religious phenomenon. This can be observed not only related to both the outbreak of new religions and the increasing attendance to worship services, but also for the presence of the religious language in the political discourse. We can see nowadays a political use of religion and a religious use of politics. When we approach the religions in a large scale perspective is possible to verify that in all of them both (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  8
    Modal Characterisation Theorems Over Special Classes of Frames.Anuj Dawar & Martin Otto - 2009 - Annals of Pure and Applied Logic 161 (1):1-42.
    We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus on frame classes (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  27
    The Interpretability Logic of Peano Arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
    PA is Peano arithmetic. The formula $\operatorname{Interp}_\mathrm{PA}(\alpha, \beta)$ is a formalization of the assertion that the theory PA + α interprets the theory PA + β (the variables α and β are intended to range over codes of sentences of PA). We extend Solovay's modal analysis of the formalized provability predicate of PA, Pr PA (x), to the case of the formalized interpretability relation $\operatorname{Interp}_\mathrm{PA}(x, y)$ . The relevant modal logic, in addition to the usual provability operator `□', has a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  43. A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.D. M. Gabbay & D. H. J. De Jongh - 1974 - Journal of Symbolic Logic 39 (1):67-78.
  44.  20
    Frame Based Formulas for Intermediate Logics.Nick Bezhanishvili - 2008 - Studia Logica 90 (2):139-159.
    In this paper we define the notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, subframe formulas and cofinal subframe formulas, are all particular cases of the frame based formulas. We give a criterion for an intermediate logic to be axiomatizable by frame based formulas and use this criterion to obtain a simple proof that every locally tabular intermediate logic is axiomatizable by Jankov-de (...) formulas. We also show that not every intermediate logic is axiomatizable by frame based formulas. (shrink)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  8
    A Characterization of Intuitionistic Propositional Logic.Rosalie Iemhoff - 2001 - Annals of Pure and Applied Logic 113 (1-3):161-173.
    In Iemhoff we gave a countable basis for the admissible rules of . Here, we show that there is no proper superintuitionistic logic with the disjunction property for which all rules in are admissible. This shows that, relative to the disjunction property, is maximal with respect to its set of admissible rules. This characterization of is optimal in the sense that no finite subset of suffices. In fact, it is shown that for any finite subset X of , for one (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46. Provability Logics for Relative Interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
    In this paper the system IL for relative interpretability is studied.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  47. LOS EFECTOS DE LA "INTENTIO" COMO ACTO VOLITIVO EN LAS PASIONES HUMANAS SEGÚN TOMÁS DE AQUINO.Miguel Acosta - 2013 - In J. L. Fuertes Herreros (ed.), La teoría filosófica de las pasiones y las virtudes. De la Filosofía Antigua al Humanismo Escolástico Ibérico. Textos e estudos de Filosofía Medieval, 6. Ribeirão (Portugal): Ediçoes Húmus. pp. 61-80.
    El estudio acerca de la influencia de las pasiones en el voluntario libre ha sido recurrente en la tradición tomista. Sin embargo, las causas de los dos efectos psicológicos de la intentio volitiva mencionados por Tomás de Aquino, la redundantia y la distractio, pasaron desapercibidas, y podrían aclarar algunos comportamientos consecuencia de la dinámica de las pasiones del hombre. La acción de la intentio volitiva originada por los afectos, al alcanzar cierto grado de intensidad, puede llegar a sobrepasar el control (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  4
    On the Admissible Rules of Intuitionistic Propositional Logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
    We present a basis for the admissible rules of intuitionistic propositional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  49. Modal Completeness of ILW.Dick De Jongh & Frank Veltman - 1999 - In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press.
    This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  5
    Seizure Prediction and Detection Via Phase and Amplitude Lock Values.Mark H. Myers, Akshay Padmanabha, Gahangir Hossain, Amy L. de Jongh Curry & Charles D. Blaha - 2016 - Frontiers in Human Neuroscience 10.
1 — 50 / 1000