Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

Oi, pessoal Boa tarde. Essa discussão me interessa muito, principalmente porque tenho trabalhado com temas relacionados. Só alguns comentários breves: acho que há uma diferença entre lógicas inclusivas e lógicas livres. As primeiras são lógicas que permitem modelos com domínios vazios, as

Fwd: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

El mié, 11 de oct. de 2023 2:01 p. m., Juan Carlos Agudelo Agudelo < juca.agud...@gmail.com> escribió: > > On Tue, Oct 10, 2023 at 9:50 PM Joao Marcos wrote: > >> Hu... E quem vem primeiro? Uma dada semântica para uma teoria de >> > primeira ordem com igualdade será correta/sound para uma

Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

Viva! > Vamos aceitar, para efeito de discussão, que pelo menos no que se refere à > prática matemática existe uma convenção de que > os modelos, os domínios de discurso, são não-vazios (o que também não parece > claro 100 por cento pelo que eu vi na discussão, > mas só para hoje, pra seguir na

Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

Boa noite, O João Marcos me alertou que só mandei as referências do Nolt no último email. Obrigado, João. Abraços, E. Bencivenga. Free logics. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 5, pages 147–96. Springer, 2 edition. S. Lehmann. More free logic.

Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

Olá a todos, Obrigado pela discussão. Minha compreensão é a de que a teoria dos conjuntos, tal como pensada por Zermelo, não precisa ser necessariamente pensada como uma teoria inscrita num sistema de lógica (p. ex., a lógica quantificacional de primeira ordem). Se ela for inscrita num sistema

[Logica-l] Fwd: Call for Applications: 2 PhD Positions

Call for Applications: 2 PhD Positions Agata Ciabattoni, Christian Straßer, Leon van der Torre Two PhD positions are available within (1) the Institute of Logic and Computation (Agata Ciabattoni, Vienna University of Technology), and (2) the research group Logic in Philosophy and Artificial

[Logica-l] Códigos de cobertura: um tópico antigo, ainda muito quente

Pessoal, acabou de sair um artigo no Computer Science Technical Reports, Helsinki, Finlândia, sobre métodos gerais de construção de códigos de cobertura. Os "códigos de cobertura" são um problema matemático (NP-completo) de combinatória finita (para quem não sabe, este assunto é

[Logica-l] [SBFA] II EBFA

-- Forwarded message - Divulgando evento -- O II Encontro Brasileiro de Filósofas Analíticas (II EBFA) está em andamento durante todo mês de outubro, nas quintas-feiras, às 19h. As transmissões serão realizadas pelo canal do NELF , Núcleo de