Psicoanálisis y lógica: lo inconsciente como real-imposible

El siguiente artículo se ubica en las coordenadas generales de la relación entre psicoanálisis y lógica. Desde el planteamiento freudiano de lo inconsciente como contradictorio, el problema de sus implicaciones lógicas ha podido ser rastreado en algunos de los postulados de dos psicoanalistas renombrados, Ignacio Matte Blanco y Jacques Lacan. A partir de la apuesta conjunta de pensar lógicamente lo inconsciente, se propone concebirlo respectivamente de acuerdo con las categorías de lo infinito y el significante, que como terreno común comparten su insistencia en la paradoja. Lo anterior implica instalar la problemática de lo inconsciente en una imposibilidad estructural que ha tenido, entre sus principales referentes, a Bertrand Russell y su paradoja de los conjuntos. Bajo esas coordenadas generales, la paradoja se instalaría como referente necesario. A su vez, se introduce la categoría de lo real en Lacan como una forma entrever el estatuto de la paradoja de Russell.

La educación pública bajo la lógica del mercado

Este artículo desarrolla el contexto político-ideológico por el que se han legitimado las propuestas de reforma del sistema escolar español. Propuestas que bajo el supuesto de que la efi cacia es un atributo exclusivo del sector privado, han aplicado una concepción de mercado a la función pública. Esta concepción, inducida por un modelo de desarrollo caracterizado por el «Estado mínimo», tiene como meta la transformación de la cultura de lo público acercándola a los valores del mundo privado empresarial, sustituyendo los modelos normativos de ciudadanía por los de intercambio entre servidor y cliente.

Diagnóstico automático de eventos e distúrbios em unidades geradoras e usinas utilizando lógica fuzzy

The electric power systems are getting more complex and covering larger areas day by day. This fact has been contribuiting to the development of monitoring techniques that aim to help the analysis, control and planning of power systems. Supervisory Control and Data Acquisition (SCADA) systems, Wide Area Measurement Systems and disturbance record systems. Unlike SCADA and WAMS, disturbance record systems are mainly used for offilne analysis in occurrences where a fault resulted in tripping of and apparatus such as a transimission line, transformer, generator and so on. The device responsible for record the disturbances is called Digital Fault Recorder (DFR) and records, basically, electrical quantities as voltage and currents and also, records digital information from protection system devices. Generally, in power plants, all the DFRs data are centralized in the utility data centre and it results in an excess of data that difficults the task of analysis by the specialist engineers. This dissertation shows a new methodology for automated analysis of disturbances in power plants. A fuzzy reasoning system is proposed to deal with the data from the DFRs. The objective of the system is to help the engineer resposnible for the analysis of the DFRs’s information by means of a pre-classification of data. For that, the fuzzy system is responsible for generating unit operational state diagnosis and fault classification.

Resolução de problemas de dedução lógica na promoção da comunicação matemática na oralidade

Relatório de Estágio apresentado à Escola Superior de Educação do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico.

Lógica borrosa para la estimación de estados críticos de una pila de combustible PEM

La determinación en tiempo real de los estados críticos de operación de la pila de combustible de membrana intercambio protónico (siglas en ingles, PEM) es uno de los principales retos para los sistemas de control de pilas de combustible PEM. En este trabajo, se presenta el desarrollo e implementación de un método no invasivo de bajo coste basado en técnicas de decisión borrosa que permite estimar los estados críticos de operación de la pila de combustible PEM. La estimación se realiza mediante perturbaciones al estado de operación de la pila y el análisis posterior de la evolución temporal del voltaje generado por la pila. La implementación de esta técnica de estimulación-percepción de estado de la pila de combustible para la detección de estados críticos constituye una novedad y un paso hacia el control autónomo en óptimas condiciones de la operación de las pilas de combustible PEM.

Desenvolvimento de metodologia de análise de indicadores de sustentabilidade como ferramenta para tomada de decisão utilizando lógica fuzzy

Dissertação (Mestrado em Tecnologia Nuclear)

Arte, teatro pós-traumático e loucura : o processo criativo do chicqueiro e a lógica do pato

Dissertação (mestrado)—Universidade de Brasília, Instituto de Artes, 2016.

Aplicación de la teoría de la actividad a la formalización de enunciados con lógica de predicados: un primer acercamiento

En este trabajo se describe una investigación en curso, en que se aborda una de las problemáticas que se presenta en los cursos de lógica o inteligencia artificial, en el tema de representación del conocimiento. Cuando se pide a los estudiantes formalizar enunciados del lenguaje común (natural) con el lenguaje de la lógica de predicados. Se describen algunos de los errores identificados con alumnos del nivel superior y se aplica la teoría de la actividad para caracterizar la habilidad de traducir enunciados del lenguaje común (natural) a fórmulas bien formadas del lenguaje de la Lógica de predicados. Se propone una base de orientación que se deben usar al resolver los problemas de formalización (traducción) que se plantean en los cursos mencionados.

Entre o silêncio e a paisagem. Lógica e imaginação na construção de um pensamento devir paisagem

Doutoramento em Arquitetura Paisagista - Instituto Superior de Agronomia - UL

Formulación de un plan de seguridad lógica para la red del proyecto del consorcio FONPET

90 p.

Menos volume, mais valor pesquisador defende a lógica de biorrefinarias.

2015

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica