Lógica III

Lógica IIILivro didático de Lógica III produzido para o curso EaD Licenciatura em Filosofia da UFSC. Tópicos abordados: Lógica clássica;Lógicas do tempo; Lógicas polivalentes; Algumas questões filosóficas sobre a lógicaUa

Valorações para alguns sistemas de logica do tempo

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humana

Temas em filosofia contemporânea II

Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini; 8 La lógica, el tiempo y el lenguaje natural: un sistema formal para tiempos de portugués, Carlos Luciano Manholi. / Temas em filosofia contemporânea II / Jonas Rafael Becker Arenhart, Jaimir Conte, Cezar Augusto Mortari (orgs.) – Florianópolis : NEL/UFSC, 2016. 167 p. : tabs. - (Rumos da epistemologia ; v. 14); ISBN 978-85-87253-27-9 (papel); ISBN 978-85-87253-26-2 (e-book

Valorações para alguns sistemas de logica do tempo

Orientador : Oswaldo Porchat PereiraDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Não informadoAbstract: Not informed.MestradoMestre em Lógica e Filosofia da Ciênci

A neighbourhood semantic for the Logic TK

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.A lógica TK foi introduzida como uma lógica proposicional estendendo o cálculo proposicional clássico com um novo operador unário que interpreta algumas concepções do operador de consequência de Tarski. TK-álgebras foram introduzidas como modelos para TK. Assim, usando ferramentas algébricas, foi demonstrada a adequação (correção e completude) de TK relativamente às TK-álgebras. Este trabalho apresenta uma semântica de vizinhanças para TK, lógica que resulta ser dedutivamente equivalente à lógica modal não normal EMT4.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP