Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

Oi Hermógenes, Obrigado pelas referências. Eu, pessoalmente, acho ECQ um princípio *muito* suspeito. O difícil é > que, sem ECQ, um construtivista ficaria basicamente sem negação (ao > estilo do cálculo mínimo de Johansson), ou a negação cessaria de ser um > operador *lógico*. Uma

[Logica-l] Pode a imagem negar? Maria Giulia Dondero no Seminario de Lógica Carioca - 10 de Abril 2017 as 14h

Seminario de Lógica Carioca Pode a imagem negar? Maria Giulia Dondero Université de Liège, Bélgica Segunda Feira 10 de Abril 2017 as 14h - IFCS - UFRJ - sala 107 http://rio-logic.org/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

> Eu, pessoalmente, acho ECQ um princípio *muito* suspeito. O difícil é > que, sem ECQ, um construtivista ficaria basicamente sem negação (ao > estilo do cálculo mínimo de Johansson), ou a negação cessaria de ser um > operador *lógico*. Por quê, Hermógenes? > Martin-Löf, no artigo de

[Logica-l] Fwd: Third Nordic Logic Summer School (NLS) 2017

Como os colegas já devem saber, o "Verão da Lógica" deste ano ocorrerá na Suécia, com múltiplos eventos em Estocolmo e Goteburgo durante o mês de agosto. Abaixo um pouco mais de informação sobre a Escola de Verão, com uma programação interessante e acessível a todos (aos estudantes, atenção para

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

meus dois centavos nessa discussao (so' pra voces nao ficarem com a impressao de que ninguem le...): 1.>Muitos, porém, acham o preço a se pagar muito salgado: falha da transitividade (monotonicidade, regra de corte). eu acho um preco absurdo. pior do que se tem que pagar por chifre de unicornio!

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

1. Eu trabalhei com pragmática do ponto de vista da lógica. A questão extrapola os limites da linguagem ao invés de encontrar soluções nela. Até porque a análise pragmática de fenômenos linguísticos remete a um nível de abstração ainda mais alto, onde a distinção entre linguagem e pensamento

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

Eu escrevi: > [...] > > Uma exceção interessante é o caso da "Core Logic" de Tennant, onde a > negação é dada um caráter lógico, mesmo sem ECQ, pela admissão de > modus tollendo ponens (ou silogismo disjuntivo) e uma regra especial > para a implicação que permite obter ¬A,A⊢B. [...] Ops.

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

Fernando Yamauti escreveu: > [...] > > Um outro caso que me incomoda muito e o Martin-Löf sempre joga em > baixo do tapete: o porquê de " 'A true' infere 'B true' " ser > correto, onde A é falso (onde o "falso" é clássico, ou seja, existe > uma prova de \neg A) , para um

[Logica-l] PxTP 2017: Call for Papers

**Call for Papers, PxTP 2017** The Fifth International Workshop on Proof eXchange for Theorem Proving (PxTP) https://pxtp.github.io/2017/ 23-24 September 2017, Brasilia, Brazil