A lógica proposicional do 'quase sempre'

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)

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.

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.

Cultura da vizinhança: identidade individual e vida urbana

Em sua tese de doutoramento, a autora descreve uma pesquisa realizada em uma pequena cidade da Franca, onde constatou-se a oposição entre o discurso do planejador preocupado em introduzir uma nova lógica às práticas cotidianas dos moradores de uma vila operária, e o discurso dos aposentados que ali moravam e cuja vivência dos espaços da vizinhança, a havia sido impregnado de sua própria história de vida. Foi a partir desta experiência que a autora passou a argumentar que sem uma fina e aprofundada observação das práticas cotidianas, nenhuma intervenção no espaço urbano deveria ser realizada. Partindo do princípio que a urbanização e crescimento das cidades segue cada vez mais a lógica do planejamento impondo ao seu habitante uma passagem do espaço privado para o público que e quase sempre abrupta e hostil pois trata a circulação como um fluxo inibindo o desenvolvimento de "espaços de transição", e modificando a concepção de sociabilidade nos espaços nos espaços de vizinhança. Esta pesquisa tem por objetivo procurar algumas "localidades" situadas em uma grande metrópole como São Paulo onde a observação da transição entre a vida privada e pública possa ser estudada. Para a autora o estudo das regras e normas da vida social nesses espaços que ora são chamados de intermediários, ora de transição deverão servir para compor o que ela chama de cultura de vizinhança, e que varia muito entre localidades de uma mesma cidade.

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

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)

Ecos da modernidade: uma análise do discurso sobre o cinema ambulante em São Luís-MA

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

Violência otélica: a agressão masculina nas relações conjugais

Este trabalho versa sobre violência nas relações conjugais e afetivas; mais precisamente, sobre os episódios em que o agressor é o homem e a vítima de agressão é a mulher. O foco principal de nossa discussão é a motivação das agressões sob o ponto de vista dos homens envolvidos neste tipo de episódio. Nossa análise se concentra nos inquéritos policiais qualificados como violência doméstica, instaurados após a promulgação da Lei Maria da Penha. Buscou-se explicitar os fatores sociais envolvidos na construção da lógica que orienta a ação do agressor. Constatou-se inicialmente que há uma inadequação nos termos comumente utilizados para designar as agressões praticadas pelos maridos e namorados contra suas esposas e namoradas, o que limita a compreensão da real dimensão do problema. Os resultados sugerem que a violência tem uma racionalidade que é dada pela sua relação com a tradição; e esta por sua vez, introjetada e reproduzida como conhecimento de senso comum, funciona como um recurso de linguagem através do qual os códigos informais que servem de parâmetro para a vida conjugal são constantemente reafirmados. Constatou-se que há uma relação de complementaridade entre aquele pratica e aquela que sofre a agressão, principalmente nos casos em que a violência se instala como uma prática rotineira; verificou-se também que as agressões do cônjuge masculino sobre o cônjuge feminino estão quase sempre relacionadas a valores e papéis tradicionalmente consagrados tais como: suspeita de infidelidade conjugal, hierarquias domésticas e espaços sociais.