EI objetivo de este artículo es presentar los principios de la programación lógica borrosa y de sus principales variantes, ilustrándolas a través de un conjunto de aproximaciones que, a nuestro entender, son representativas de los avances en esta área. También incluimos la descripción de otros sistemas de programación lógica que se sustentan en lógicas de la incertidumbre diferentes de la lógica borrosa. En esta presentación presuponemos que la mayoría de los lectores no son expertos en programación (...) class='Hi'>lógica; para seguirla sólo se requiere un conocimiento básico de la lógica de predicados.The purpose of this paper is to present the principles of the fuzzy logic programming, exemplifying them by a couple of proposals that we think are representatives of the advances in this field. We include also the description of another systems of logic programming with uncertain information that are based on other logics of uncertainty which are different from fuzzy logic. This article only presuppose anelementary knowledge of the classical first-order logic. (shrink)

Neste artigo, o trabalho seminal de Luciano Floridi “A Lógica de Estar Informado” é examinado em detalhes, em especial quais aspectos tornam tal lógica relevante para que a mesma não colapse em sistemas lógicos epistêmicos ou doxásticos conhecidos. Ao final, é apresentado um cenário para demonstrar que a refletividade da relação de acessibilidade não é necessária, e desse modo os axiomas de introspecção positiva e negativa podem ser descartados, e.g. quando se afirma que um agente pode deter (...) uma informação sem estar informado que ele detém uma informação. (shrink)

El artículo ofrece una caracterización de las constantes lógicas, [CL], analizando el significado de las expresiones que son sus contrapartidas en el lenguaje natural. [CL] recoge los rasgos sintácticos, semánticos y pragmáticos individualmente necesarios y conjuntamente suficientes para que una expresión sea una constante lógica. Se obtendrá la siguiente conclusión: que la lista de las expresiones que habitualmente se consideran constantes lógicas no comparten rasgos relevantes desde el punto de vista del significado que justifiquen su tratamiento como un grupo (...) homogéneo. Sólo algunos usos del condicional, de la negación y de ciertos cuantificadores son constantes lógicas genuinas. (shrink)

Según se considere cuál es el ámbito de investigación al que debe circunscribirse la lógica y en qué consiste propiamente el conocimiento, tendremos una u otra idea de cómo los valores están relacionados con estos ámbitos de la actividad humana. En este artículo investigo críticamente la postura filosófica agnóstica de Wittgenstein en torno a los años en que escribió el Tractatus, las tesis neopragmatistas de Putnam y la fenomenología genética de Husserl en tanto que doctrinas relevantes para el estudio (...) de las relaciones entre la lógica, el conocimiento y el valor. (shrink)

RESUMEN: En este artículo tratamos de hacer plausible la hipótesis de que las conectivas de diferentes lógicas no necesariamente difieren en significado. Utilizando el tratamiento categorista de las conectivas, argumentaremos contra la tesis quineana de que la diferencia de lógicas implica diferencia de significado entre sus conectivas, y ubicamos el cambio de tema en la diferencia de objetos más que en una tal diferencia de significado. Finalmente, intentamos mostrar que ese tratamiento categorista es una forma de minimalismo semántico, de acuerdo (...) con el cual no todos los elementos semánticos usuales son relevantes para determinar el significado de las conectivas.ABSTRACT: We argue here that the meanings of logical connectives need not differ in different logics. treatment of the logical connectives, we argue against the well-known Quinean thesis that a difference between logics implies a difference in the meanings of connectives. We thus locate this change in the difference between certain objects rather than in the difference between the meaning of connectives. Finally, we try to show that the category-theoretic treatment of logical connectives is a form of semantic minimalism, according to which not all the usual semantic components are relevant in fixing the meaning of a connective. (shrink)

El presente artículo hace un recorrido histórico de los procesos lógicos para lograr una formalización rigurosa del lenguaje. Desde sus inicios en Grecia hasta las propuestas contemporáneas de la lógica simbólica o matemática. Se realiza una ubicación general de los avances en las diferentes épocas para luego explicar el proceso de formalización lógico del lenguaje cotidiano a partir de la lógica clásica; luego de ello se postulan algunas limitaciones de la formalización clásica y se procede a explicar el (...) proceso moderno de formalización; en un tercer momento, se hace referencia a la importancia del manejo formal del lenguaje en el análisis del discurso y la validación de teorías cientí cas, valorando el lenguaje formal de la lógica y de la matemática como sistemas para la construcción de la ciencia. La formalización del lenguaje apoya con veracidad los manejos de la argumentación cientí ca y que luego se puede traducir en aplicaciones tecnológicas. El objetivo del artículo es analizar los procesos de formalización del lenguaje a través de un análisis histórico de la lógica, para la determinación de los elementos lógicos que aportan a la formalización del lenguaje y a la construcción de argumentos cientí cos válidos; y, se alcanzará por medio del planteamiento de las preguntas: ¿Qué aportes losó cos constituyen los postulados más relevantes para la evolución del análisis lógico? ¿Cuáles son las limitaciones que presenta la lógica clásica o aristotélica ante la lógica simbólica estructurada por Frege? ¿Cuáles son los aportes a partir de la formalización lógica del lenguaje para el análisis del discurso y la estructuración de la ciencia? (shrink)

En este artículo tratamos de hacer plausible la hipótesis de que las conectivas de diferentes lógicas no necesariamente difieren en significado. Utilizando el tratamiento categorista de las conectivas, argumentaremos contra la tesis quineana de que la diferencia de lógicas implica diferencia de significado entre sus conectivas, y ubicamos el cambio de tema en la diferencia de objetos más bien que en una tal diferencia de significado. Finalmente, intentamos mostrar que ese tratamiento categorista es una forma de minimalismo semántico, de acuerdo (...) con el cual no todos los elementos semánticos usuales son relevantes para determinar el significado de las conectivas. (shrink)

Resumo: Ludwig Wittgenstein tentou desenvolver, desde 1929, uma abordagem à filosofia da lógica em termos de escalas de medição. Embora mostrasse grande sensibilidade a diversos tipos de escalas, Wittgenstein não estava bem posicionado para fazer seu projeto render frutos, porque a teoria das medidas não começou a fazer avanços significativos antes do final da década de 1940, e continuou desfrutando de um progresso relevante, até os anos 80. Não obstante, nas suas obras e palestras dos anos 30, Wittgenstein (...) fez diversas tentativas de entender a lógica, ou a “gramática” da linguagem religiosa e ética relativa à medição. Este artigo é uma tentativa de desenvolver algumas dessas ideias que ocorreram a Wittgenstein, na sua fase intermediária, dentro do contexto da evolução posterior da teoria da medição. Especificamente, defende-se que as linguagens religiosa e ética são formas extremas de medição, não empíricas nem fatuais. Elas representam o caso-limite da medição.: Ludwig Wittgenstein attempted to develop an approach to the philosophy of logic in terms of measurement scales. While he showed great sensitivity to different kinds of scaling, Wittgenstein was not in a good position to bring this project to fruition; measurement theory did not begin to develop significantly until the late 1940s, and only made pertinent advances as late as the 1980s. However, in writings and lectures from the 1930s, Wittgenstein made a number of attempts to understand the logic, or “grammar”, of religious and ethical language in relation to measurement. This article is an attempt to develop some of these nascent ideas in intermediate Wittgenstein in terms of later developments in measurement theory. Specifically, it is argued that religious and ethical language are extreme forms of non-empirical and non-factual forms of measurement; they represent the limit-case of measurement. (shrink)

El Anti-Excepcionalismo Lógico afirma que la Lógica es como cualquier otra ciencia. Si esta afirmación es cierta, entonces ella no sólo es revisable, sino que además todo lo que se puede decir sobre las ciencias aplica, mutatis mutandis, para la misma. El propósito de este artículo es explorar esta consecuencia del Anti-Excepcionalismo Lógico, acercando a la Filosofía de la Lógica el marco teórico de las Máquinas Nomológicas de Nancy Cartwright. De acuerdo con esta visión, lo que hay de (...) verdadero en las teorías científicas no está en el mundo sino en sus modelos: sistemas altamente controlados, estables, artificiales y específicos, dentro de los cuales se manifiestan regularidades sistematizables y enseñables. Mi afirmación es que lo mismo puede decirse de la Lógica: ella no captura las Leyes del Pensamiento o de la Razón, porque el pensamiento y la razón no están gobernados necesariamente por leyes. Sobre lo que sí puede decirse que versan las Leyes de la Lógica son metafísicas posibles: historias acerca de qué son las proposiciones, el pensamiento, la verdad y la validez. A fin de ilustrar y defender esta tesis, presento un ejemplo de Máquina Nomológica de la Lógica Clásica, basada en una lectura original del Tractatus de Wittgenstein, e investigo algunas de sus consecuencias. Mi conclusión es que esta imagen de la Lógica impacta en el problema de la revisión de la Lógica Clásica, en la medida en que muestra que dicha revisión no necesariamente responde a un proceso racional de adecuación de la teoría a los hechos porque los “hechos” relevantes no son anteriores a la teoría misma, sino que están moldeados y conducidos por ella. Palabras clave: Anti-Excepcionalismo Lógico, Abductivismo, Máquinas Nomológicas, Revisión Lógica, Filosofía de la Lógica. (shrink)

Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...) ao conhecimento de outras línguas, como o inglês e o francês. Tentamos, então, suprir essa deficiência, ao introduzirmos traduções de textos importantes ao público de língua portuguesa, sem nenhuma finalidade comercial e meramente pela glória da filosofia. O presente volume é constituído de três traduções de verbetes importantes sobre lógica, da Enciclopédia de Filosofia da Stanford: (1) A Lógica de Aristóteles, (2) Lógica Clássica, (3) Lógica Modal. (shrink)

Este trabajo orienta su contenido a las aplicaciones de la lógica borrosa, pero no desde una aproximación que trate de abordar ciertas caracterrsticas relevantes de algunas de ellas y/o comentar sus coincidencias y discrepancias desde el punto de vista dei soporte dado por la lógica borrosa. Existen excelentes y abundantes revisiones de este estilo, por lo que nosotros hemos optado por introducir algunas reflexiones a modo de respuesta a preguntas formuladas al hilo de la más general que da (...) trtulo al trabajo. Contestar a algunas de ellas es, sin duda, uncometido realmente arriesgado, como ocurre al tratar de plasmar, por ejemplo, y aunque sea con trazos “borrosos”, cuáles serán las aplicaciones futuras de la lógica borrosa. Esperamos que se nos disculpe si el acierto torna a ser escaso.This paper discusses about the field of fuzzy logic applications, but not from the point of view of its importance or commenting their main features and how they are formally supported by fuzzy logic. Very good, exist in this field, and so we decided to present some reflections trying to answer very general questions about this issue. Answering, for example, to the question about possible futureapplications of fuzzy logic is, no doubts, a very risky task. We look forward to be forgiven if our approach proves not to be very successful. (shrink)

This paper provides an inferentialist motivation for a logic belonging in the connexive family, by borrowing elements from the bilateralist interpretation for Classical Logic without the Cut rule, proposed by David Ripley. The paper focuses on the relation between inferentialism and relevance, through the exploration of what we call relevant assertion and denial, showing that a connexive system emerges as a symptom of this interesting link. With the present attempt we hope to broaden the available interpretations for connexive logics, showing (...) they can be rightfully motivated in terms of certain relevantist constraints imposed on assertion and denial. (shrink)

Interpretar un texto filosófico supone procurar descifrar su significado, identificar sus tesis y aislar sus argumentos. Desarrollar un texto filosófico, en cambio, consiste en seleccionar ciertas ideas fundamentales, valiosas aunque necesitadas de afinamiento, y lograr su mejor formulación. Lógica Viva, la obra filosófica más importante de Vaz Ferreira, ha merecido diversas interpretaciones y desarrollos. En particular, esto ha ocurrido con su capítulo dedicado a la falsa oposición. El objetivo principal de esta nota es reconocer cinco enigmas en tal capítulo, (...) relevantes para una interpretación y decisivos para ciertos desarrollos. Expresados sucintamente en forma de interrogantes los mismos podrían exponerse así: ¿cómo entender, en este contexto, oposición?, ¿cuál es el papel que, en la caracterización del paralogismo, juega la ejemplificación?, ¿cuán relevantes son, en tal labor, las dimensiones literal y no-literal?, ¿en qué consiste el “mal argumento” que se considera falsa oposición?, ¿cómo equivoca y cómo persuade el mismo? Se recurre además a un modelo de análisis argumental (denominado M), inspirado en las ideas de Vaz Ferreira, a los efectos de mostrar cómo su uso auspicia, por una parte, un tratamiento explícito de estos enigmas y, por otra, desafiado por estos, cómo su aplicación pueda quizá sugerir líneas prometedoras de interpretación y/o desarrollo. Estas páginas pretenden asimismo ilustrar ciertas relaciones entre ambas actividades. (shrink)

_RESUMO:_ O presente artigo tem como objetivo indagar e talvez responder – com auxílio dos comentadores – dois pontos relevantes na lógica de Hegel. O primeiro, diz respeito à concepção de fundamentação de um sistema filosófico sem um começo: a ideia de um pressuposto incondicionado. O segundo, concerne à condiçõe das modalidades de necessidade e contingência numa lógica que se propõe absoluta. Como método absoluto, a ciência da lógica expõe o devir como condição do puro pensamento e (...) Aufhebung [suprassunção] aparece como um conceito central, pois é o motor que impulsiona a dialética. Isso pode ser observado tanto na Ciência da Lógica (2016) – com as determinações do pensamento – como na Fenomenologia do Espiríto (2018) – com as figuras da consciência –. Observa-se que há uma relação entre os conceitos de Aufhebung, necessidade e início absoluto. Por tanto, a partir dessa relação, objetiva-se expor a condição das modalidades de necessidade e contingência num sistema absolouto. (shrink)

Este artículo se enmarca en el proyecto de investigación de la Maestría en Filosofía Latinoamericana, Bartolomé de Las Casas: Recepción de la filosofía analítica en Colombia y Latinoamérica de la Universidad Santo Tomás. Inicialmente fue redactado en inglés: The Quest for the Numbers: An Approach to Frege’s Philosophy, cuyo trabajo pretende acercarse al fundamento de la obra fregeana como hito fundamental del pensamiento filosófico; asimismo, desarrolla en detalle los temas y puntos más relevantes de su sistema de pensamiento. A partir (...) de un análisis del proyecto logicista, es decir, la búsqueda de una reducción de la matemática a la lógica, se demuestran las fuertes influencias del pensamiento de Frege en todas las ramas de la filosofía contemporánea. La comprensión de la filosofía de Frege entonces constituye un paso fundamental, para tener un horizonte acerca de las problemáticas de la filosofía en la actualidad y, asimismo, un fundamento o propedéutica para el desarrollo de un pensamiento latinoamericano maduro en diálogo con la tradición. (shrink)

La filosofía ha tratado a la pobreza como riqueza desde diversas aproximaciones. Sin embargo, en cada una de ellas es esencial la llamada a vivir una vida justa y feliz, inseparable de su forma y que, a la vez, abierta radicalmente a la expropiación por lo inapropiable. Confesión y don del Espíritu Santo en San Agustín, vínculo esencial de los pueblos de Occidente con lo Libre-liberante y, así, abiertos a su destino histórico y ontológico en Martin Heidegger, lo neutro ni (...) animal ni humano en un vínculo con lo inapropiable en Giorgio Agamben. En cada uno de estos casos se pone en jaque a la tradición de la metafísica que culminó en el nihilismo, la voluntad de poder y la lógica del valor. Resulta relevante volver a la cuestión de la pobreza tanto para pensar una vía de salida a la metafísica y a la biopolítica, como también para indagar en qué medida el cristianismo excede a la historia de la metafísica. (shrink)

O propósito deste trabalho é fornecer uma resposta a duas questões fundamentais: 1) pode uma lógica não alética ser uma lógica meinongiana? E consequentemente 2) pode uma lógica não alética ser uma lógica adequada a uma teoria meinongiana dos objetos? Usando os resultados de da Costa (1989) e da Costa & Marconi (1986) e além disso de da Costa (1986 e 1993), proponho uma lógica minimal não alética de primeira ordem com identidade e o símblo (...) " de Hilbert (da Costa et al. 1992) que podem colocar em um espírito meinongiano os aspectos mais relevantes da lógica meinongiana subajcente à teoria dos objetos de Meinong. Esta é apenas uma primeira abordagem minha, para dar conta de reflexões complexas, mas também interessante como o pensamento de Meinong. Além disso, dando uma resposta positiva a 1) e 2) indico um modo plausível que pode evitar ambas as difíceis abordagens e a tentativa de recusar a teoria dos objetos de modo a não comprometer a lógica padrão e algumas de suas leis. Minha abordagem mostra que a teoria de Meinong pode ser uma ontologia válida, porque há uma lógica adequada e não banal subjacente a ela. DOI:10.5007/1808-1711.2010v14n1p99. (shrink)

Continuadores posteriores de la teoría crítica de la sociedad han cuestionado a Adorno por caer en una lógica de la emancipación frustrada aparentemente contradictoria, que reflexiona sobre la dominación social en condiciones bajo las cuales, empero, se declaran cerradas las posibilidades de transformación histórica. Sin embargo, sostengo que su teoría social remite también a un concepto novedoso de la emancipación sin totalidad, relevante para la reconstrucción de la teoría crítica ante los cuestionamientos pluralistas lanzados hacia el concepto de (...) “totalidad”. (shrink)

En la concepción estructuralista de teoría científica se afirma que sus tesis son neutrales respecto a compromisos epistemológicos, puesto que su análisis es estructural (Diederich, 1996). En el presente texto nos proponemos mostrar que no existe tal neutralidad epistemológica en una de las piezas clave del estructuralismo metateórico, nos referimos a la noción “aplicaciones intencionales”, y que de lo anterior se deriva un compromiso epistémico relacionado con la justificación de teorías científicas, según el cual, la ciencia es una “red” de (...) relaciones lógicas entre teorías. Para lograr lo anterior nos proponemos analizar las implicaciones semánticas y epistemológicas de esa noción y el rol que juega en la contrastación teórica. Una de las consecuencias más radicales del análisis propuesto es que la noción anterior (aplicaciones intencionales) implica que unas teorías están justificadas por otras; en otras palabras, la justificación de teorías científicas caería en un coherentismo interteórico, que precisaremos más adelante. Naturalmente, es importante advertir que esta tesis y esta implicación coherentista la aceptan los defensores del estructuralismo metateórico (Balzer, Moulines & Sneed, 1987) y (Díez & Moulines, 1997). Sin embargo, el punto realmente problemático, y lo novedoso del presente artículo, es que el coherentismo compromete la justificación de las teorías en cuanto implica un regressus ad infinitum en la reconstrucción formal. Además, este defecto del estructuralismo conlleva a otras dos réplicas adicionales, una desde el punto de vista pragmático y otra desde el punto de vista semántico. El primero consiste en que, si aceptamos la tesis del regressus la reconstrucción puede ser infructuosa para efectos pragmáticos, i.e. la corrección formal de una teoría nos obliga a corregir el conjunto de teorías ya presupuestas que intervienen en ella. De la misma manera, la dependencia semántica de una teoría respecto a sus antecesoras implica que si uno de sus conceptos fundamentales es corregido o modificado, entonces habría que hacer una revisión general de todas las teorías relacionadas en las que el concepto en cuestión es relevante. El trabajo, es pues, un avance en esta dirección. (shrink)

Husserl se esforzó por desarrollar vías de abordaje a la fenomenología que facilitaran su expansión. En “La filosofía como ciencia estricta” traza un diagnóstico de los obstáculos en el entramado de naturalismo e historicismo, y estudia su lógica deconstrucción a través de tres tópicos: apelación al psicologismo como elemento del naturalismo, interpretación de Hume como protofenomenólogo y lectura historicista de Dilthey. Esto permitirá observar datos relevantes sobre el modo como Husserl concibe en este período la especificidad y alcances de (...) la fenomenología. (shrink)

RESUMEN Husserl se esforzò por desarrollar vías de abordaje a la fenomenología que facilitaran su expansión. En "La filosofía como ciencia estricta" traza un diagnóstico de los obstáculos en el entramado de naturalismo e historicismo, y estudia su lógica de construcción a través de tres tópicos: apelación al psicologismo como elemento del naturalismo, interpretación de Hume como protofenomenólogo y lectura historicista de Dilthey. Esto permitirá observar datos relevantes sobre el modo como Husserl concibe en este período la especificidad y (...) alcances de la fenomenología. ABSTRACT Husserl endeavored to develop approaches to phenomenology that would facilitate its expansion. In "Philosophy as Rigorous Science", he provides a diagnosis of the obstacles found in the interweaving of naturalism and historicism, and analyzes the logic of its construction by means of three themes: the appeal to psychologism as an element of naturalism, the interpretation of Hume as a proto-phenomenologist, and the historicist reading of Dilthey. This makes it possible to obtain relevant information regarding the manner in which Husserl conceived the specificity and scope of phenomenology during that period. (shrink)

Los objetivos específicos son los siguientes: (i) reconstruir en forma sistemática la relación entre λόγος y ἔθος/ἄσκησις desarrollada por Musonio Rufo en las Disertaciones 5 y 6; (ii) postular las reflexiones de Aristóteles sobre el problema de la habituación como un marco conceptual relevante para encuadrar el análisis de ambas disertaciones; (iii) analizar las posibles tensiones lógicas entre la concepción de Musonio de ἔθος/ἄσκησις y la concepción intelectualista de la acción humana defendida por la ortodoxia estoica. Sugeriré asimismo que (...) el recurso a las Dissertationes de Epicteto puede ofrecer una respuesta tentativa a interrogantes no resueltos en las Disertaciones 5 y 6. -/- The specific goals are the following: (i) to put together in a systematic manner the relationship between λόγος and ἔθος/ἄσκησις presented by Musonius Rufus in Lectures 5 and 6; (ii) to propose Aristotle’s reflections on the problem of habituation as a relevant framework to make sense of both lectures; (iii) to analyze the possible logical conflicts between Musonius’ conception of ἔθος/ἄσκησις and the intellectualist conception of human agency defended by Stoic orthodoxy. I will further suggest that Epictetus’ Discourses may offer a tentative answer to questions that are left unanswered in Lectures 5 and 6. (shrink)

O objetivo deste artigo é ser uma introdução aos diversos tipos de possibilidades e mostrar o caminho que a discussão sobre a existência de possibilidades não-atuais deve seguir a partir da aceitação do determinismo. E essa discussão é relevante porque sua resposta tem bastante infl uência em nossos pensamentos e lógicas sobre as modalidades da necessidade e da possibilidade. Cumprimos tal objetivo através de um diálogo a respeito das possibilidades. Este formato de texto tem a vantagem de ser mais (...) pedagógico do que os ensaios em terceira pessoa, pois insere o problema fi losófi co das possibilidades em uma situação real particular sem que a generalidade do assunto e dos argumentos seja perdida. (shrink)

Propomos uma tipologia dos artefatos de representação para as áreas de saúde e ciências biológicas, e a associação dessa tipologia com diferentes tipos de ontologia formal e lógica, chegando a conclusões quanto aos pontos fortes e limitações da ontologia de diferentes tipos de recursos lógicos, enquanto mantemos o foco na lógica descritiva. Consideramos quatro tipos de representação de área: (i) representação léxico-semântica, (ii) representação de tipos de entidades, (iii) representação de conhecimento prévio, e (iv) representação de indivíduos. Defendemos (...) uma clara distinção entre os quatro tipos de representação, de forma a oferecer uma base mais racional para o uso das ontologias e artefatos relacionados no avanço da integração de dados e interoperabilidade de sistemas de raciocínio associados. Destacamos que apenas uma pequena porção de fatos cientificamente relevantes em áreas como a biomedicina pode ser adequadamente representada por ontologias formais, quando estas últimas são concebidas como representações de tipos de entidades. Particularmente, a tentativa de codificar conhecimento padrão ou probabilístico pela utilização de ontologias assim concebidas é fadada à produção de modelos não intencionais e errôneos. (shrink)

Javier Legris examines my views on symbolism and logical form in relation to two important distinctions emphasized by Jean van Heijenoort—the distinction between logic as calculus and logic as universal language, and the distinction between absolutism and relativism in logic. I generally agree with his considerations and focus my response on some relevant aspects of classical logic.Javier Legris examina minhas considerações sobre simbolismo e forma lógica em relação à duas distinções enfatizadas por Jean van Heijenoort: a distinção entre (...) class='Hi'>lógica como cálculo e lógica como linguagem universal, e a distinção entre absolutismo e relativismo na lógica. Estou basicamente de acordo com suas observações e em minha réplica enfoco alguns aspectos relevantes da lógica clássica. (shrink)

Para o direito, o poder é legítimo quando se subordina às regras jurídicas em vigor. Para o poder, o direito é válido na medida em que se torna instrumento da dominação. As relações entre o direito e o poder têm sido objeto das mais diferentes abordagens na sociologia, política ou filosofia. Entre os estudiosos do direito, contudo, o assunto não tem recebido a devida atenção. Infelizmente, porque a contribuição dos juristas para a discussão é bastante peculiar e, portanto, insubstituível. Este (...) livro resulta das reflexões de um profissional do direito sobre um dos mais relevantes aspectos suscitados pelo tema. Nele, discute-se como a produção do conhecimento jurídico é influenciada pelo poder, em uma sociedade capitalista. Depois de apresentar um panorama significativo da teoria política, de Hobbes e Foucault, passando por Weber e os marxistas, o autor centra a sua análise nos fundamentos jurídicos típicos do capitalismo (igualdade, legalidade e legitimidade), para examinar a forma pela qual a doutrina do direito é instrumentalizada na reprodução do poder, e, em certa medida, reage sobre este para ampliá-lo. Com o presente trabalho, Fabio Ulhoa Coelho, professor de direito comercial e de lógica jurídica da Pontifícia Universidade Católica de São Paulo, obteve por esta instituição o título de doutor em direito. Da Banca Examinadora, que o aprovou com distinção, participaram os juristas Tércio Sampaio Ferraz Jr. (orientador), Dalmo de Abreu Dallari, Celso Bastos, Maria Helena Diniz e Eros Roberto Grau. Em razão do seu aprofundamento, abrangência e atualidade, esta obra não pode faltar na bibliografia das disciplinas de teoria geral do estado e filosofia do direito, em nível de graduação ou pós-graduação, interessando também aos estudiosos das demais áreas das ciências humanas. (shrink)

The diagram of sign when applied to the understanding of science gives place to an original correation correlation of abduction or retroduction, deduction and induction. The conjunction of abduction and deduction consists of a general Form of logical possibility. Induction in its turn, establishes, in the long run, the ratio of frequency of the accomplishment of expected consequences of general representations in the universe of facts. As a formal construction, science as semiotics sustains itself even if it has as its (...) object an universe of pure chance. Nevertheless, within Peirce s philosophical system, science retains its meaning only if it corresponds to the reality of Nature. The warrant of this statistically relevant correspondance would be the fact that human instinct belonged to the same stage of evolution as the whole universe.O diagrama do signo, quando aplicado no entendimento da ciência, dá lugar a uma correlação original entre abdução, dedução e indução. A união da abdução e da dedução consiste numa Forma geral de possibilidade lógica. Enquanto que a indução estabelece, no decorrer da experiência, a razão de freqüência no universo dos fatos das conseqüências previstas na representação geral. Como uma construção formal, a ciência enquanto semiótica sustenta-se, mesmo tendo por objeto um universo do puro acaso. Todavia, no interior do conjunto total do sistema filosófico de Peirce, a ciência só adquire significado se corresponder à realidade da Natureza. A garantia desta correspondência estatisticamente relevante seria o fato de o instinto humano pertencer ao mesmo estágio de evolução do universo todo. (shrink)

O presente artigo tem o objetivo de analisar como Eric Weil entende a Educação com vistas à compreensão do ser humano no mundo. Pretende-se demonstrar que a Educação Moral, defendida por Eric Weil, é um caminho privilegiado, sine qua non, que auxilia o ser humano no enfrentamento da violência. Evidencia que o educador toma lugar de destaque nessa discussão, pois lhe cabe a responsabilidade de indicar os meios e os caminhos para a universalização, para que a não violência possa subsidiar (...) uma cultura de paz entre os seres humanos. Para tanto, percorre o caminho metodológico fazendo uma abordagem na ampla teoria filosófica de Eric Weil, em especial, nas obras: Lógica da filosofia e Filosofia política, a fim de analisar os pontos mais relevantes para ancorar a concepção de imprescindibilidade da Educação e, também, por sua vez, do educador. Esta pesquisa será eminentemente lastreada por levantamentos bibliográficos nas obras do próprio Eric Weil, bem como nos comentários de alguns de seus comentadores. (shrink)

El problema de marco cuestiona cómo los procesos cognitivos determinan qué información, de entre toda la disponible, es relevante dada una tarea determinada. Aunque postulamos una definición posible, especificar de qué trata este problema es una tarea complicada. Una manera de obtener claridad sobre esta cuestión es explorar distintas interpretaciones del problema de marco, interpretación lógica y filosófica, para dilucidar luego la dificultad en común. Como resultado de nuestro análisis concluimos que, sea la interpretación del problema de marco (...) que se tenga en mente, la dificultad subyacente es la misma: examinar vasta cantidad de información. La dificultad de la vastedad de información, a modo de puente entre ambas interpretaciones, permitiría no solo comprender más claramente de qué trata el problema de marco sino también resolverlo. The frame problem questions how cognitive processes determine what information is relevant, among all available, given a particular task. Although we proposed a possible definition, it is a difficult task to specify what this problem is about. One way to get insight into this matter is to explore different interpretations of the frame problem, a logical interpretation and a philosophical interpretation, to then elucidate the difficulty in common. The conclusion drawn from our analysis is that, irrespective of the interpretation of the frame problem you may have in mind, the underlying difficulty is the same: to examine a vastness of information. The difficulty posed by the vastness of information, taken as a bridge between both interpretations, would not only allow a clearer insight into the frame problem but also to solve it. (shrink)

Neste texto, exploramos algumas das teses mais importantes desenvolvidas por Newton da Costa, ao longo da sua carreira filosófica. Apresentamos conceitos e ideias de suas obras, que reúnem contribuições no campo da lógica e da filosofia da ciência. A atenção será voltada aos trabalhos Sistemas formais inconsistentes, Ensaios sobre os fundamentos da lógica e O conhecimento científico, dos quais explicitaremos as temáticas e alguns dos conceitos e resultados alcançados pelo filósofo. Objetivamos com essa apresentação ressaltar a originalidade de (...) seu pensamento, isto é, de que modo suas respostas pessoais se dirigem a questões relevantes da história da filosofia, da matemática e da lógica. (shrink)

O objetivo deste artigo é elucidar a ideia tractariana de forma lógica. Partimos da identificação de diferenças conceituais significativas entre ocorrências do termo “forma” no texto do Tractatus. Estas diferenças permitem a obtenção de dois conceitos distintos. O primeiro deles é a forma dos objetos; o segundo, a forma de afiguração. No interior desta última noção, é possível ainda identificar a ideia de uma forma lógica de afiguração, a qual é distinta da forma de afiguração devido à sua (...) generalidade. Argumentamos que tanto a noção de forma dos objetos quanto a de forma lógica de afiguração podem ser entendidas sob a luz de uma reflexão sobre a apropriação wittgensteiniana do Princípio do Contexto de Frege. O uso relevante deste Princípio para a noção de forma lógica, o qual configura um expediente também utilizado por Frege numa explicação sobre a função de letras variáveis em matemática, envolve a noção tractariana de expressão [Aüsdruck]. Por seu turno, a forma dos objetos é um conceito que surge de uma espécie de intromissão ontológica do princípio na ontologia tractariana. Este movimento contraria um pressuposto de Frege quanto ao alcance do princípio, cuja aplicação está restrita à linguagem e não se estende à referência ou significado [Bedeutung] dos sinais linguísticos. (shrink)

O presente artigo tem como objetivo analisar a problemática inserida no discurso coaching alinhada à lógica neoliberal, o impacto deste pensamento na trajetória dos jovens em formação pelo Programa de Trabalho Protegido na Adolescência (PTPA) e de que modo esse discurso remodela os aspectos da subjetividade do sujeito em desenvolvimento. Para tanto contou-se com material de fonte primária obtido em atividade de pesquisa-ação denominada “Oficina dos Sonhos”, que contou com presença e participação direta dos adolescentes do PTPA que tiveram (...) a tarefa de pensar no local onde residem, como vivem e a perspectiva da transformação de modo lúdico e participativo. Assim, a oficina foi realizada pelo Observatório de Políticas Públicas para Adolescência, projeto de extensão da UERJ, e tornou-se relevante para compreender como a visão social e cultural do adolescente em diferentes contextos pode moldar a realidade dos sujeitos. Este estudo propõe, portanto, analisar a realidade do adolescente inserido na contradição do Estado capitalista, compreender limites, desafios e possibilidades de acesso ao primeiro emprego com condições dignas e tendo seus direitos garantidos, bem como a garantia à construção e continuação de projetos de vida. (shrink)

Aunque no es posible ofrecer aquí un análisis detallado de las diferentes cues tionesimplicadas en la teoría de las representaciones en la Modernidad, sí pode mos atender auno de sus aspectos más relevantes, presente en la exposición de Leibniz, Wolff,Baumgarten y Kant, a saber: el reconocimiento progresivo y la vin dicación de unconocimiento específicamente sensible como un tipo específico de conocimiento en lafilosofía escolar alemana del siglo XVIII. A pesar de que Leibniz atribuye al conocimiento claro y confuso el grado (...) más bajo en su esquema de los niveles del conocimiento, tambiénes cierto que su exposición apunta ya a la irre ductibilidad de este ámbito en unconocimiento finito como el humano. Por lo demás, lo confuso aquí adquiere sentido en elsistema del saber en la medida en que Leibniz considera que todos los conocimientos obre cuestiones de hecho, si bien falibles, se encuentran en conexión con la verdad en lamedida en que parti cipan de la misma, al expresar el fundamento último de lo real y sersusceptibles de perfectibilidad en el seno de una subjetividad dinámica que comienza aser entendida como unidad vital. En Wolff y Baumgarten se profundiza en la vía que esabierta ya por Leibniz: la exposición de los niveles de conocimiento en el marco de unaimbricación de la lógica de la representación con una psicología vitalista, en la que sereconocerá la experiencia del sentimiento como expresión subjetiva de la perfectibilidaddel conocimiento humano. Aunque la filosofía de Kant supondrá una ruptura con laexposición escolar de esta teoría de los niveles de conocimiento o los tipos derepresentación, lo cierto es que el nacimiento de su teoría de la sensi bilidad tiene lugar enel marco histórico de esta concepción tradicional. (shrink)

La identificación de la denominada dispersión epistemológica en las decisiones en bioderecho se evidencia en la incorporación crítica al materialismo, en particular, y a las nuevas formas de fisicalismo, ya que su base epistemológica se encuentra en un contexto mucho más amplio que la explicación unificadora de la relación mente-cerebro. De ahí que teorías de la argumentación adoptadas por autores como Wroblesky, Aarnio y Alexy identifican una doble exigencia en la justificación: por un lado, la llamada justificación interna, regulada por (...) la lógica a la hora de conectar las premisas o conectar los enunciados que forman parte del razonamiento judicial y, por el otro, la justificación externa, focalizada en los argumentos o razones utilizadas para justificar aquellas premisas o enunciados. El bioderecho implica reconocer que se plantea una crítica al materialismo y al fisicalismo, camino que ya la psicopatología recorrió para entender fenómenos como la intencionalidad, la interpretación de conductas humanas y los supuestos interpretativos de la arquitectura de la decisión jurídica.El estudioso del bioderecho debe identificar esos supuestos, muchas veces irreflexivos; ello implica dar razones acerca de la relación mente-cuerpo subyacente; de los elementos que componen la acción humana jurídicamente relevante; la configuración de los bienes humanos básicos involucrados en la litis en el bioderecho; elementos todos estos que hacen necesario repensar el estatuto cognoscitivo del derecho, en general, y del bioderecho, en particular. (shrink)