Lòoggiiccaa : un programa de lògica formal. 'Lóoggiiccaa : un programa de lógica formal'.

Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo proposicional: tablas de verdad, connectivas, proposiones tautológicas y contradicciones. Posibilita que el usuario introduzca sus propias fórmulas hasta 4 variables.

La teoría lógica de Dewey y la lógica formal

Fil: Hebrard, Andrés. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Lógica formal y argumentación

Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

Lógica formal y argumentación

Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

La teoría lógica de Dewey y la lógica formal

Fil: Hebrard, Andrés. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.

Lógica formal y argumentación como disciplinas complementarias

Fil: Palau, Gladys. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación. Instituto de Investigaciones en Humanidades y Ciencias Sociales (UNLP-CONICET); Argentina.

Lógica formal y argumentación

Este artículo explora críticamente la tesis según la cual la lógica formal deductiva contemporánea proporciona métodos e instrumentos para una teoría de la evaluación de argumentos formulados en un lenguaje natural. En este artículo se sostiene que la teoría de la (in)validez de la lógica formal deductiva sólo se puede aplicar a los argumentos del lenguaje natural utilizando aquello que se quiere explicar teóricamente, i.e. Las intuiciones que los/las hablantes de un lenguaje natural tienen acerca de la relaciones de implicación lógica entre las expresiones de esa lengua. Se exploran también algunas consecuencias pedagógicas de esta crítica.

Gráficos de controle: aspectos teóricos e práticos a partir da ótica da lógica formal e da lógica fuzzy

O presente trabalho faz um enlace de teorias propostas por dois trabalhos: Transformação de valores crisp em valores fuzzy e construção de gráfico de controle fuzzy. O resultado desse enlace é um gráfico de controle fuzzy que foi aplicado em um processo de produção de iogurte, onde as variáveis analisadas foram: Cor, Aroma, Consistência, Sabor e Acidez. São características que dependem da percepção dos indivíduos, então a forma utilizada para coletar informações a respeito de tais característica foi a análise sensorial. Nas analises um grupo denominado de juízes, atribuía individualmente notas para cada amostra de iogurte em uma escala de 0 a 10. Esses valores crisp, notas atribuídas pelos juízes, foram então, transformados em valores fuzzy, na forma de número fuzzy triangular. Com os números fuzzy, foram construídos os gráficos de controle fuzzy de média e amplitude. Com os valores crisp foram construídos gráficos de controle de Shewhart para média e amplitude, já consolidados pela literatura. Por fim, os resultados encontrados nos gráficos tradicionais foram comparados aos encontrados nos gráficos de controle fuzzy. O que pode-se observar é que o gráfico de controle fuzzy, parece satisfazer de forma significativa a realidade do processo, pois na construção do número fuzzy é considerada a variabilidade do processo. Além disso, caracteriza o processo de produção em alguns níveis, onde nem sempre o processo estará totalmente em controle ou totalmente fora de controle. O que vai ao encontro da teoria fuzzy: se não é possível prever com exatidão determinados resultados é melhor ter uma margem de aceitação, o que implicará na redução de erros.

El concepto de la lógica a lo largo de la historia de la filosofía.

Se trata la evolución del concepto de lógica formal a través de la lógica aristotélica, la lógica de los estoicos, el arte de las disputaciones escolásticas, la lógica inductiva, la lógica trascendental de Kant, la lógica de Hegel, la lógica dialéctica marxista y la lógica matemática con sus distintas variantes.

Lógica por trás dos contratos sociais

Natural selection shapes body and behavior of each species. For primates, the social environment constituted one of the greatest selective pressure for the development of their cognition. When we consider gender differences, we see that sexual selection also operates through different selective pressures for men and women not only in physical terms but in terms of cognitive skills. Among these, the primary cognitive abilities - that emerge naturally - and secondary - that rely on an artificial environment for learning - develop differently for each sex, making them suitable for specific tasks in different capacities. Previous studies utilized the Wason Selection Test a conditional logic tool - to measure, among several other things, the ability to recognize violation of rules in abstract contexts and social contexts. Subjects generally had better performance in the latter, however, in these studies possible differences motivated by learning in formal logic or genre were not considered. Our study investigated these two variables, as well as the time spent to solve each task. Furthermore, we used an index to take into account the rights and wrongs of the participants in tasks. We realized that although learning in formal logic does not bring significant differences in solving tests, the gender differences are strongly observed when we consider the social contexts and abstract. Women perform better in social tasks. This can be explained due to different sexual selective pressures for this gender in terms of one-on-one relationships within the group. Men are better at tasks of abstract context and this is probably due to the same reason. Their capabilities for territory defense, habitat navigation and forming coalitions depends on primary cognitive abilities that support secondary cognitive skills of abstraction. Thus, gender differences are a factor to be taken into account in controlling future experiments with the same tool

O ensino da lógica na educação básica

This work has as its aims to offer a general view on the teaching of logics in the basic education by means of different materials on the theme. There are highlighted considerations on academic works in the area of math education that claims the teaching of logics on basic education as a means of developing the reason and promote the learning. It is done a bibliographic review on works that approach the theory of formal logics that presents different ways of working the teaching of logics. The curricular proposition of São Paulo State for the Math area is analyzed and its characteristics are discussed. The learning evaluation in a large federal scale for the teaching of middle and basic education are detailed in its matrix of references and content approached in its editions searching the evidences of a logical reasoning worth. A portal M3 Multimedia math is presented in activities in video format for the teaching of logics. After an analyze of the references where the focus was related to the learning of Math by means of an approaching where logics acts as a tool. It is possible to consider that there is a relevant number of researches and publishing in the area of Math education that approaches the concepts of formal logics. There is also evidences of a changing in National and State orientations for a basic education that reflects in its didactics resources and evaluations in a large scale. Even though, we can face difficulties on implementation of these proposes that is pointed out by constant critics by teachers concerning the changes in the resources and cited evaluations by the resistance of a considerable percentage of teachers to adopt the didactics materials distributed by the State and by the low performance of students in Public Schools in tests of learning

Walter Redmond y la lógica escolástica en el Perú colonial

Fil: Torchia Estrada, Juan Carlos.

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