Enseñanza de la Lógica proposicional mediante la electrónica.

Comprobar si la Lógica proposicional explicada mediante un esquema de conocimiento significativo, utilizando para ello la electrónica digital, puede mejorar en mayor grado el completo dominio de los conceptos y leyes de la Lógica proposicional que explicados mediante un esquema dentro del contexto de los programas de Filosofía hoy vigentes. Dos grupos, un grupo de control, formado por 34 alumnos del IB Ramiro de Maeztu que reciben una enseñanza filosófica de la Lógica proposicional según los programas del MEC hoy vigentes; y otro grupo experimental de 34 alumnos del IB Cardenal Herrera Oria, impartiéndoles la enseñanza del mismo tema mediante la electronica. Se parte de la siguiente hipótesis: 'el grupo de alumnos que recibe clases de Lógica proposicional mediante un esquema significativo no obtiene un mejor y más completo dominio de las enseñanzas así como de las relaciones con otras disciplinas que el grupo de alumnos que reciben estas enseñanzas desde un esquema clásico'. Los alumnos del grupo experimental utilizan un aparato electrónico diseñado por el personal colaborador en la investigación que básicamente consiste en unas puertas lógicas y un circuito visualizador encargado de transmitir la información mediante una luz roja o verde. Dichos aparatos se utilizan con la ayuda de un guión de alumnos que contiene unos guiones de experiencias prácticas. Se estima como variable independiente el tipo de método utilizado. El nivel de inteligencia lógica de cada alumno constituye la variable secundaria o interviniente. Y como variables dependientes son la ganancia por parte de los alumnos en los conocimientos de Lógica proposicional y la ganancia en su inteligencia lógica según el método utilizado. Por último el análisis estadístico se efectúa a través de un estudio correlacional entre ambos grupos. Prueba escrita de elección múltiple, pruebas prácticas, de ejecución, de selección de algún tipo de respuesta, test específico. Agrupación por intervalos, medidas de tendencia central y de dispersión, rectas de regresión, 't' de Student, error y 'F' de Snedecor. Hay diferencia significativa al final del periodo de enseñanza entre los grupos -enseñanza mediante la electrónica, enseñanza tradicional- en cuanto a los conocimientos de Lógica proposicional, pero no en cuanto a inteligencia lógica. Por otro lado, la enseñanza de la Lógica proposicional mediante la electrónica produce mayor aumento en la ganancia de inteligencia lógica en los alumnos peor dotados.

Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

A lógica proposicional do 'quase sempre'

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

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.

Inferência lógica e os sistemas de derivação

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Robustness on resource allocation problems

En problemes d'assignació de recursos, normalment s'han de tenir en compte les incerteses que poden provocar canvis en les dades inicials. Aquests canvis dificulten l'aplicabilitat de les planificacions que s'hagin fet inicialment. Aquesta tesi se centra en l'elaboració de tècniques que consideren la incertesa alhora de cercar solucions robustes, és a dir solucions que puguin continuar essent vàlides encara que hi hagi canvis en l'entorn. Particularment, introduïm el concepte de robustesa basat en reparabilitat, on una solució robusta és una que pot ser reparada fàcilment en cas que hi hagi incidències. La nostra aproximació es basa en lògica proposicional, codificant el problema en una fórmula de satisfactibilitat Booleana, i aplicant tècniques de reformulació per a la generació de solucions robustes. També presentem un mecanisme per a incorporar flexibilitat a les solucions robustes, de manera que es pugui establir fàcilment el grau desitjat entre robustesa i optimalitat de les solucions.

Prova por resolução

O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação.

Aspectos lógicos e algébricos dos conjuntos fuzzy

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Logic TK: algebric notions from Tarski's consequence operator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A neighbourhood semantic for the Logic TK

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Reino da natureza, reino dos fins, e proto-reino: um estudo de traduções conservativas

We provide conservative translations from propositional modal logic KT (the simplest normal alethic logic) into propositional modal logic KD (the simplest normal deontic logic), and from this into the propositional modal logic K (the simplest normal logic simpliciter). Following an idea discussed by Jaakko Hintikka, these conservative translations are based on the third formulation of Kantian categorical imperative, the formulation of the Kingdom of Ends.