Olá a todos!
Alguém pode explicar a relação entre coerência e consistência em um sistema
formal?
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Olá, tenho uma pergunta off, para os lógicos que entendem de programação.
Eu gostaria de saber como funciona o compartilhamento de fotos por
mensagens inbox no facebook. Por exemplo, quando você recebe uma foto por
mensagem, tem como você saber de qual computador veio? Ou seja, tem como
você saber
Olá a todos. Gostaria de deixar claro aqui que eu não sou troll, como acho
que quiseram insinuar com uma certa postagem. Expressei aqui o que eu
penso, se isso desagradou a alguns, paciência! Não sou membro da SBL e
muito menos tenho a pretensão de que o que eu falei aqui seja levado em
consideraçã
te com
>> essa falta de educação. Você não foi jocoso, foi rude e o que você fez
>> está
>> errado. Você está apelando para insultos porque não tem argumento. Peças
>> desculpas sem atenuantes e retire o que disse.
>>
>> Em 24 de maio de 2013 02:13, Marcio Cun
r
> educadamente com os demais.
>
> Em 24 de maio de 2013 01:35, Marcio Cunha escreveu:
>
> Você realmente deve ser muito estúpido!
>>
>> Quem é que está falando em deslocamento de pessoas? Quem é que está
>> falando em haver vantagens para determinadas pessoas fa
es de brasileiros, mandar pesquisadores para lá em
> Congresso que nada tem de ver com o que se pesquisa lá não contribui em
> nada para desenvolver regiões mais pobres do Brasil continental.
>
> Em 24 de maio de 2013 01:08, Marcio Cunha escreveu:
>
>
>> Não estou desqualif
m lugar onde há meios de transporte do que de
> onde há poucos. E a população local sabe desses problemas sim, não finge
> que eles não existem.
>
> Em 24 de maio de 2013 00:29, Marcio Cunha escreveu:
>
> Meu caro, não estou mudando o sentido do que as pessoas falaram. Vou te
>>
em pagar preços de viagem
> e hotelaria acima do mercado europeu ou norte-americano.
>
> Em 23 de maio de 2013 22:44, Marcio Cunha escreveu:
>
>> Olá a todos. Tenho acompanhado as discussões sobre a escolha do local para
>> o EBL. Fiquei estarrecido com as opiniões de alguns lógico
Olá a todos. Tenho acompanhado as discussões sobre a escolha do local para
o EBL. Fiquei estarrecido com as opiniões de alguns lógicos BRASILEIROS
aqui nesta lista. Pessoas falando mal de cidades brasileiras etc..
Entretanto, o meu ponto não é esse, o meu ponto é: parece que os
brasileiros ainda nã
; Walter
>
>
>
> Em 14 de maio de 2013 15:01, Marcio Cunha
> escreveu:
> > Alguém pode me dizer se existe a segunda parte do livro "Lógica e
> > Aplicações: Matemática, Ciência da Computação e Filosofia" do Carnielli,
> > Coniglio e Bianconi? Se não existe, v
Alguém pode me dizer se existe a segunda parte do livro "Lógica e
Aplicações: Matemática, Ciência da Computação e Filosofia" do Carnielli,
Coniglio e Bianconi? Se não existe, vocês podem me indicar um livro que
tenha o mesmo tipo de abordagem para a lógica de predicados que o livro dá
para a lógica
ª
>> >> escrevesse
>> >> "chove ou não chove" em Português e depois passasse para outro
>> idioma:
>> >> se
>> >> "chove ou não chove" em Português é tautológico também deveria
>> >> sê-lo em
>>
gt; "chove ou não chove" em Português é tautológico também deveria sê-lo em
>>> Alemão. Daí há que se estabelecer princípios para essa tradução de modo
>>> que
>>> no outro idioma não se perca a verdade do enunciado.
>>>
>>> Em 12 de maio de
6:42, Tony Marmo escreveu:
> As motivações incluem a própria questão da preservação da verdade e a
> necessidade de estudar lógicas-objeto a partir de meta-lógicas.
>
> Em 12 de maio de 2013 16:39, Marcio Cunha escreveu:
>
>> Olá. Alguém pode me dizer por onde eu devo come
Olá. Alguém pode me dizer por onde eu devo começar a pesquisar para estudar
as motivações e implicações filosóficas das traduções entre lógicas (em
particular, as traduções conservativas)?
Outra coisa, alguém tem em pdf do texto *"Translation between logics: a
manifesto*." ?
Obrigado.
___
15 matches
Mail list logo