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.
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
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
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
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
Gostei muito destes dois dedos de prosa!
> Acho que de fato o "axioma do vazio" (existe o conjunto vazio) não é
> necessário em ZF, por conta de que a lógica clássica pressupõe domínios não
> vacios. O que fica evidente na definição de modelo, onde se exige que os
> domínios dos modelos sejam não
Walter Carnielli"
> *Cc: *"samuel" , "Lista Lógica" ,
> "Joao Marcos"
> *Enviadas: *Segunda-feira, 9 de outubro de 2023 15:38:01
> *Assunto: *Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica
>
> Fala Samuel, Walter e Henrique,
>
" , "Lista Lógica" ,
> "Joao Marcos"
> *Enviadas: *Segunda-feira, 9 de outubro de 2023 15:38:01
> *Assunto: *Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica
>
> Fala Samuel, Walter e Henrique,
>
> O estudante é criativo ,mas está enganado
Fala Samuel, Walter e Henrique,
> O estudante é criativo ,mas está enganado: una das leis da Igualdade diz que
> "qualquer coisa é igual a si própria", mas não diz que existe algo.
É Walter, mas se esta lei da igualdade está na lógica clássica, então tem uma
prova de duas linhas do argumento
Mesa-redonda imperdível nesta 5a-feira, 05/10, às 19:00, transmitida pelo
excelente canal do Núcleo de Lógica e Filosofia Analítica da UFMA:
https://www.youtube.com/live/rcRVKwJPmsk?si=VKK8nkCjLm5dGWmS
Em sua segunda iteração, o Encontro Brasileiro de Filósofas Analíticas
continua sua missão de
10 matches
Mail list logo