Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial.

Catholic worker movement: un análisis desde la acción política no violenta y la lógica transnacional de los movimientos sociales

El Catholic Worker Movement se ha caracterizado por enmarcarse en las dinámicas de movilización social y acción política no violenta, que respondían, desde su creación en 1933, a un conjunto de problemáticas sociales y económicas sobre las cuales la sociedad civil se interesó y dio inicio a su actividad en escenarios de la política doméstica de Estados Unidos. Pese a ser un movimiento que surgió en un contexto nacional con fundamentación religiosa, el CWM alcanzó el desarrollo de lógicas transnacionales que contribuyeron a la defensa de su causa y a la reivindicación de valores y principios que motivarían posteriormente a la búsqueda de recursos para reforzar su lucha. Así, el proceso de evolución del movimiento tomó dirección en torno a fenómenos como la difusión, la adquisición de repertorios de acción colectiva correspondientes a la no violencia, y al aprovechamiento de factores exógenos y endógenos representados en distintas formas de oportunidad política y capacidad organizativa.

La lògica matemàtica a l'escola : la situació actual. 'La lógica matemática en la escuela : la situación actual'.

Resumen basado en el de la publicación. Monográfico con el título: 'Lògica matemàtica i raonament'

Què ha passat i està passant amb la lògica a l'escola?. 'Qué ha pasado y está pasando con la lógica en la escuela?'.

Resumen basado en el de la publicación. Monográfico con el título: 'Lògica matemàtica i raonament'

Lògica i metodologia. 'Lógica y metodología'.

Materiales didácticos para la enseñanza de lógica a nivel de Educación Secundaria en Bachillerato. Se presentan dos módulos desarrollados: 1. El lenguaje y la lógica y 2. El lenguaje y la ciencia. Desarrolla dos unidades didácticas que responden a los módulos propuestos, mostrando actividades de enseñanza-aprendizaje.

El rincón de construcciones o de lógica matemática.

En las aulas de infantil se suceden día a día muchas situaciones que se consideran fundamentales para realizar ciertos aprendizajes que corresponden a la etapa, como las clasificaciones, las seriaciones, las ordenaciones, las reparticiones, la ubicación espacio-temporal, etc.; como: ensartar bolitas de múltiples colores en un cordón para poder lucir luego un collar, dar vueltas a una pieza de un puzzle que no quiere encajar...etc. Todos estos aprendizajes proporcionarán nuevas y más complejas formas de conocer y estructurar el medio y de interpretar e intervenir sobre las distintas situaciones de la vida cotidiana. Para realizar construcciones mentales de este tipo, es imprescindible la experiencia activa con los objetos. Esta manipulación, fundamental, es la que se intenta garantizar a través del rincón de lógica matemática. En él se sitúa todo el material que puede ayudar al niño a elaborar cognitivamente las construcciones mentales. Este tipo de aprendizajes conlleva un grado de complejidad que no se resuelve simplemente con la acción individual sobre los objetos. Se hace imprescindible la intervención del maestro que desempañará el papel de guía. En este rincón las actuaciones no son tan libres y autónomas como ocurre en otros rincones y requiere que la presencia del maestro sea más habitual y su acción más directa. Seguidamente se hace una descripción de la situación adecuada del aula, la descripción de materiales para este rincón, su ubicación...etc. El rincón de construcciones o de lógica matemática conviene que esté situado lejos de las zonas donde se necesita más tranquilidad para poder trabajar.

Sobre la estructura lógica de la Física : una propuesta de trabajo.

Resumen basado en el de la publicación

Lectura, escritura, lógica y matemáticas.

Leer y escribir una cadena de razonamiento no es algo que se aprenda de forma automática. En esta experiencia de cuarto de educación secundaria obligatoria mostramos cómo es necesario un entrenamiento para conseguir que el alumnado sea capaz de expresar correctamente argumentaciones.

Lógica-descubrimiento, descubrimiento-lógica.

Estos textos tienen su origen en una ponencia presentada por los autores en el Congreso Internacional 'La educación infantil a debate', celebrado en Granada en 1998

Secuencialidad de los programas de EGB : continuidad lógica y Psicología de los programas de Educación General Básica.

Demostrar experimentalmente como, frente a los cuestionarios oficiales, un modelo secuencial, lógico o psicológico de programación, consigue un mejor rendimiento en los alumnos, evita lagunas formativas que impiden la adquisición de nuevos conocimientos y orienta al alumno en la elección de opciones posteriores a la EGB. Dos cursos, 1977-78 y 1978-79. 1018 y 1080 alumnos pertenecientes a los 8 niveles de EGB. Ninguna de las 2 muestras es representativa. A) Diseño programa secuencial, variables independientes: reelaboración de cuestionarios oficiales cubriendo lagunas en objetivos y contenidos de cada área. Selección núcleos temáticos por área y nivel. Elaboración de objetivos formales para cada área generalizandoles a cada ciclo y a toda la EGB. Categorización de funciones cognoscitivas, afectivas y psicomotoras en base a objetivos y núcleos temáticos de cada área. Análisis de la secuenciación lógica y psicológica desde supuestos genéticos y evolutivos. Construcción de modelos de evaluación contínua y recapitulativa por área y nivel. B) Experimentación. C) Validación: incidencia del programa sobre la variable dependiente del rendimiento, por alumnos, grupos, niveles y áreas. Evaluación y clasificación de cada ítem de conocimiento programado por su grado de dificultad-idoneidad. Se ha construido un programa secuencias de la EGB, se han determinado sus objetivos generales secuencializando sus contenidos particulares, fijados en base a objetivos de conducta, para cada área y nivel. Los resultados son los siguientes: 1977-78 se constata globalmente un menor rendimiento de los grupos control respecto a los experimentales, especificando por áreas y niveles. 1978-79, no hay tratamiento cualitativo de los datos obtenidos mediante pruebas y análisis descritos: se especifican mediante índices y tablas para cada alumno, grupo, área y nivel. Respecto a la validación de los ítems, contenidos-objetivos programados, de cada prueba, además de indicar la idoneidad y dificultad de cada uno, se relacionan los no adecuados y aquellos que más intensamente deben estudiarse. No constan conclusiones generales. No obstante, puede asegurarse que se han cumplido los objetivos propuestos: se ha conseguido definir los objetivos formales de la EGB, por área, nivel y ciclo, a través de modelos de secuencialización lógica y psicológica, operativizándolos en núcleos de aprendizaje. Mediante su experimentación se ha constatado su eficacia sobre el rendimiento, por encima de los resultados obtenidos por la aplicación de los cuestionarios y programas oficiales. Finalmente, se ha redactado un documento base con la relación de los ítems de conocimiento más adecuados, de gran ayuda para el desarrollo de la actividad docente del profesorado.

Sistemas de informações geográficas no estudo da lógica locacional de assentamentos irregulares : o caso de Gravataí – RS

This study investigates the spatial logic of squatter settlements location by using a Geographic Information System – GIS. The process of analysis established, preliminary, the selection and standardization of a set of factors witch we considered influential to the locational issue: (a) slope; (b) distance from water resources; (c) distance from roads; (d) distance from urbanization; (e) distance from industrial zones; (f) distance from preservation areas; (g) average income; and (h) population density. Subsequently, these factors have been integrated into a “Potential Map” through a multi-criteria evaluation method. Finally, potential map have been compared to real location of squatter settlements in Gravataí, RS. The approach developed here has provide information for a better understanding of the topic, which can be used for urban planning purposes.

A questão da possibilidade da liberdade na Crítica da Razão Pura : uma interpretação de B 560 e B 586

É inegável que as passagens B 560 e B 586 da Crítica da Razão Pura sejam paradoxais. Isso porque, embora Kant tenha afirmado haver uma possibilidade da liberdade na solução da terceira antinomia (B 560), de forma aparentemente contraditória a esse resultado, alega, numa passagem da nona seção do segundo capítulo do segundo livro da dialética transcendental, sequer ter tido o problema de demonstrar a possibilidade daquele conceito. Esse problema, correlato à dificuldade de compatibilizar- se aquelas passagens, é a causa motriz do engendramento deste texto dissertativo. Logo, por meio dele, busca-se explicar por que razão tais passagens não são contraditórias. Não o são, porque a acepção do termo “possibilidade” nelas empregadas é ambígua, ou seja, possui mais de um significado. Como veremos, distinguindo o significado dos conceitos de possibilidade aí envolvidos, pode-se defender uma possibilidade lógica da idéia transcendental da liberdade enquanto númeno. Mas seria tal possibilidade lógica do conceito da liberdade transcendental um princípio regulativo? Que princípio regulativo seria ele? Ao se analisar esse segundo problema dissertativo, delimitando-se a segunda questão à relação da possibilidade da liberdade com os princípios regulativos em seu uso empírico, conclui-se que estes conceitos têm acepções totalmente distintas. Isso porque, uma vez que eles possuem diferentes funções no itinerário da razão: enquanto um procura deixar em aberto um espaço numênico, o outro, abre espaço para o regresso empírico das inferências, a fim de que a razão especulativa não se atenha indevidamente a um incondicionado ilusório.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

A lógica do muito em um sistema de tablôs

Pós-graduação em Filosofia - FFC