The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.

The extent to which people anticipate and are influenced by the potential future consequences of their current behavior is called Consideration of Future Consequences. A well-established tool to measure this construct is the 14-item Consideration of Future Consequences Scale. The CFC-14 has shown appropriate psychometric properties in several languages. This scale comprises two factors: the CFC-Immediate and the CFC-Future. The main goal of this study was to assess the psychometric properties and internal consistency of the CFC-14 Scale in Spanish, using (...) an Argentine sample. A secondary goal was to determine its convergent validity with impulsivity, and determine differences across gender and age groups. Using a web-based survey, we collected data from 512 participants aged 13-74 years. Confirmatory Factor Analysis showed a 2-factor model as the best solution for 13-items version. Standardized regression weights ranged from.50 to.66 for CFC-F and between.43 and.83 for CFC-I. Composite reliability was also adequate: CFC-F achieve? =.80 and CFC-I? =.82. There were no differences across gender and age. The CFC-F subscale and UPPS-P subscales correlations, were negative and significant, highlighting the negative and moderate correlation between CFC-F and the lack of premeditation, a dimension strictly related to intertemporal decisions making. Thus, CFC-14 has adequate psychometric properties in an Argentinian population, although more studies are necessary to determine the robustness of these findings. (shrink)

Resumo: O artigo a seguir tem como objetivo expor o pensamento hermenêutico de Friedrich Schleiermacher, levando em conta o contexto germinativo fértil de sua obra e sua influente posição filosófica, no âmbito do “primeiro romantismo alemão”. Schleiermacher renuncia a um importante fundamento transcendental a-histórico, em favor de uma compreensão situada, a qual se configura através do diálogo. A hipótese central deste artigo alerta que o desenvolvimento paralelo e sistemático das lições sobre ética, dialética e hermenêutica, em Schleiermacher, não é mera (...) coincidência, muito menos um sintoma isolado, senão que revela um projeto de caráter orgânico. Por um lado, será examinado - à luz de seus textos - o papel da linguagem como variável histórica e social para a compreensão e, por outro, algumas reflexões sobre as novas possibilidades de seu método hermenêutico e suas implicações, para a reflexão filosófica contemporânea.: The following article aims to expose the hermeneutic thought by Friedrich Schleiermacher, considering the fertile germinal context of his work and his influential philosophical position within the framework of “early romanticism”. Schleiermacher renounces an ahistorical transcendental foundation in favor of a situated understanding, which is configured through dialog. The central hypothesis of this article warns that the parallel and systematic development of the lessons on ethics, dialectics and hermeneutics in Schleiermacher is not a mere coincidence, much less an isolated symptom, but reveals a project of an organic nature. On the one hand, it is examined -in the light of their texts- the role of language as a historical and social variable for understanding and, on the other hand, some reflections on the new possibilities of his hermeneutical method and its consequences for contemporary philosophical reflection. (shrink)

No tratado 10 (V 1), 8, ao examinar a questão da constituição das hipóstases inteligíveis, Plotino observa que tais teses não são novas, mas há muito enunciadas pelos filósofos anteriores e notadamente por Platão. De tal modo, sua investigação acerta de tais temas constitui-se como uma exegese dos antigos e dos diálogos platônicos. No início da interrogação acerca da eternidade e do tempo no tratado 45 (III 7), Plotino observa a necessidade de examinar o que os antigos filósofos disseram acerca (...) da temática investigada, propondo um exame doxográfico a fim de que se possa obter “por si mesmo” uma compreensão adequada sobre o tempo a partir de seu paradigma, a eternidade. Nesse sentido, nossa proposta é de elaborar uma breve investigação acerca da possibilidade de articulação desses dois textos plotinianos por meio de alguns elementos presentes no tratado 20 (I 3), Sobre a dialética. De tal modo, pretende-se obter uma aproximação de alguns procedimentos metodológicos do pensamento de Plotino. Palavras-chave: Exegese, Dialética, Método Filosófico, Leitura dos Antigos, Plotino. (shrink)

El presente artículo busca describir la crítica de F. H. Jacobi a la filosofía trascendental en torno al problema de la afección y la cosa en sí. Esta crítica atribuye al pensamiento de Kant un idealismo incompatible con toda noción de realismo. La interpretación de Jacobi, sin embargo, se apoya sobre un desconocimiento de la naturaleza metodológico-trascendental no solo de la terminología involucrada en el problema de la afección, sino de toda la reflexión kantiana acerca del conocimiento. El modelo exegético (...) de la two aspects view ha proporcionado instrumentos que nos permiten una reconstrucción hermenéutica del problema de la afección y ponen en evidencia el extravío metodológico en la crítica de Jacobi. (shrink)

El presente artículo intenta describir la problemática de la noción de objeto trascendental tanto en la discusión exegética sobre la filosofía teórica de Kant, como en la Crítica de la Razón Pura. En primera instancia, se podrá comprobar un consenso en torno a la acepción que el término en discusión asume en la Analítica Trascendental. Sin embargo, los comentaristas no han acertado en distinguir la función del objeto trascendental en la Dialéctica Trascendental. De acuerdo a esto, se intentará desglosar los (...) pasajes problemáticos para arribar a una nueva función del objeto trascendental en cuanto proyección holística de la conciencia, cuyo fin principal consiste en dotar de unidad de conjunto a la experiencia material, y con ello articular las bases para un sistema de percepciones desarrollado en la obra tardía de Kant. (shrink)

Mi propósito en este trabajo es ofrecer un panorama de la hermenéutica analógica. Comienzo con un breve recorrido histórico de la hermenéutica y de la noción de analogía. Reúno después ambos conceptos y explico cómo la hermenéutica analógica puede evitar las fallas tanto del univocismo como del equivocismo en la interpretación. The purpose of this work is to give a general sketch of an analogical hermeneutics. I start with a brief historical survey of hermeneutics and of the notion of analogy. (...) I then put together both terms and explain how an analogical hermeneutics can avoid the faults of both univocism and equivocism in interpretation. (shrink)

La presente obra ofrece la primera historia completa de toda la filosofía novohispana desde 1521 hasta 1821. Se trata de una visión unitaria y completa de toda la filosofía de la época colonial de México, única en su género y con muchas aportaciones valiosas y originales, con método y bases de verdadera investigación histórico-filosófica. Se abre el libro con una hermenéutica de la historia de la filosofía novohispana en la cual el autor, siguiendo las orientaciones más modernas, comprende e interpreta (...) la historia de las ideas en México a partir de sus verdaderos comienzos: desde la polémica entablada por Agustín Rivera y Agustín de la Rosa sobre la validez o no de la acción de España en la enseñanza de la filosofía y de la ciencia en la Nueva España. En su conjunto la obra, estructurada cronológicamente, estudia las actividades y manifestaciones filosóficas de las órdenes religiosas en los tres siglos clásicos, estableciendo una división entre humanistas y escolásticos. Entre los humanistas, destacan fray Juan de Sumárraga, fray Bartolomé de Las Casas, Vasco de Quiroga y Francisco Hernández. En la exposición de los escolásticos, y atendiendo a las diversas órdenes, traza un resumen de las obras principales de los autores más destacados: Diego Valdés, Alonso de la Vera Cruz, Pedro de Hortigosa, Antonio Rubio y Antonio Arias, así como sor Juana Inés de la Cruz. (shrink)

The discovery of transgenes in maize landraces in Mexico, a center of diversity for this crop, raises questions about the potential impact of transgene diffusion on maize diversity. The concept of diversity and farmers’ role in maintaining diversity is quite complex. Farmers’ behavior is expected to have a significant influence on causing transgenes to diffuse, to be expressed differently, and to accumulate within landraces. Farmers’ or consumers’ perceptions that transgenes are “contaminants” and that landraces containing transgenes are “contaminated” could cause (...) these landraces to be rejected and trigger a direct loss of diversity. (shrink)

El autor intenta mostrar que en la filosofía cristiana de Bartolomé de las Casas sobresalen la afirmación de la dignidad del hombre y la fundamentación que en ella reciben los derechosnaturales o humanos. Las Casas reconoce esa dignidad en los indios tanto por motivos escolásticos como renacentistas y toda su labor en la defensa de los derechos de los indios y de los españoles era en realidad una labor dedicada a la teorización y defensa práctica de los derechos del hombre. (...) Lo que ahora llamamos "derechos humanos" son para Las Casas derechos naturales de todos los hombresy, pese a las limitaciones "ideológicas" que leimponía su época,la fuerza con que los defendióy promovió sigue siendo un ejemplo para el presente. (shrink)