Concordo plenamente, Dória!
E digo que é igualmente vergonhoso a situação inversa: doutores de formações
puramente "exatas" que se dispõem a falar e publicar assuntos filosóficos, mas
sem uma prévia preparação filosófica suficiente, sem conhecimento profundo dos
tópicos ou muito menos da histór
Júlio César A. Custódio
De: Marcelo Finger
Para: julio cesar
Cc: "logica-l@dimap.ufrn.br"
Enviadas: Terça-feira, 10 de Abril de 2012 7:17
Assunto: Re: [Logica-l] Algumas coisas formales
Oi Julio.
Tecnicamente falando, o que v diz não é verdade
Olá lista,
estou em total acordo com quem critica os sistemas inconsistentes por falta de
compromisso filosófico (pra não dizer coerência). Apesar da praticidade
tais (alguns) sistemas formais, isso não implica, de forma alguma, que eles
tenham (ou teriam que ter) implicações filosóficas. Qualq
*não dá pra fazer teoria da computação em linguagens recursivas*
Como assim ? Seria possível explicitar isso melhor?
Abraços,
Júlio César A. Custódio
-- Forwarded message --
From: Francisco Antonio Doria
Date: Tue, Feb 28, 2012 at 10:18 PM
Subject: Re: [Logica-l] Sobre alguns
Só mais uma coisinha.. vendo os elétrons como meras unidade de medida não
explicaria a característica de serem invariantes por permutação?
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
úlio César A. Custódio
De: Décio Krause
Para: julio cesar
Cc: "logica-l@dimap.ufrn.br"
Enviadas: Quinta-feira, 23 de Fevereiro de 2012 16:58
Assunto: Re: [Logica-l] ontologia e probabilidade - 3
Júlio
(e agora paro senão me chamam a atenção)
Os o
Olá lista,
aproveitando o papo, tem algumas coisas que nunca entendi, se alguém puder me
esclarecer ou indicar algo, ficaria agradecido:
- se a função-de-onda for um objeto físico, de que maneira isso seria
contra nossas intuições ontológicas (clássica)? Só pela questão da ação
fantasmagór
Décio e lista,
taí uma coisa que eu também gostaria muito de ver; alguma aplicação da
Paraconsistência onde a Consistência, fatalmente, falharia.
Júlio César A. Custódio
>Eu queria saber, sério, onde a matemática fuzzy não pode ser usada mas as
>anotadas sim. Se alguém for assistir, por favor
Olá, Décio,
(vou começar as respostas por outra ordem pois acho que fica mais claro o que
estou tentando dizer. Infelizmente, ficou meio grande...)
--
>>(por isso minha compara
estruturas (não sociais ou
culturais, mas semânticas) que conferem significados ao uso de nossa linguagem.
abraços,
júlio
De: Décio Krause
Para: Manuel Doria
Cc: julio cesar ; "logica-l@dimap.ufrn.br"
Enviadas: Quinta-feira, 15 de Dezembro de 2011 14:
,
Júlio César A. Custódio
De: Décio Krause
Para: julio cesar
Cc: "logica-l@dimap.ufrn.br"
Enviadas: Quarta-feira, 14 de Dezembro de 2011 19:53
Assunto: Re: [Logica-l] por qual logica comecar? Computacao ajuda?
Júlio
Não é nada disso o que falei. Penso que temos os critérios da
Sem querer entrar na espinhosa questão (só que talvez seria necessário) de uma
definição mais elegante da expressão *lógica clássica*, mas apenas pra uma
interseção aqui na discussão, entendo por tal expressão principalmente as
filosofias e os sistemas de lógica que não violam - ou não procuram
-clássicas dizem se livrar (ter alternativas,
restringir, escapar) da lógica clássica.
E também não vejo sentido em filosofar sobre o que não se conhece, mas a
acadêmica, em geral, parece discordar disso.
De: Joao Marcos
Para: julio cesar
Cc: "logica-
encontrado! (e talvez valeria a pena ao menos como exemplo do que não fazer)
De: Joao Marcos
Para: julio cesar
Cc: "logica-l@dimap.ufrn.br"
Enviadas: Terça-feira, 6 de Dezembro de 2011 10:36
Assunto: Re: [Logica-l] continentais x an
Olá Lista,
esse ataque contra a clareza e a objetividade lógica/científica é padrão e já
virou clichê. Exigem eles um respeito incondicional à pluralidade e às opiniões
divergentes mas desrespeitam completamente as pesquisas mais disciplinadas e
organizadas. A meu ver, por excesso de pluralismo
Olá lista,
deixa eu dá um pitaco! (como seria isso em inglês? *let me give a pitac?* ;)
I - concordo plenamente com o João Marcos quando diz que talvez os maiores
problemas nas discussões da filosofia (e da ciência) são meras confusões
conceituais (toda a tradição da filosofia analítica da l
LinkedIn
Julio Cesar Azevedo Custodio requested to add you as a connection on
LinkedIn:
--
Renato,
I'd like to add you to my professional network on LinkedIn.
Accept invitation from Julio Cesar Azevedo Custodio
Joao, Daniel, Andrea, Rodrigo e lista...
(antes de mais nada, alerto aqui para minha linguagem rápida e pouco
técnica...;)
Li uns livros da Constance Jones para um projeto de mestrado tempos atrás e
fiquei 'cheio de idéias' (infelizemnte, ou não, tive que abandonar a filosofia
e me focar em
Saudações, João!
>Não sei qual seria este trabalho da Costa 1964, mas o que você chamou
>antes de da Costa 1963 (a saber, a tese de cátedra intitulada
>"Sistemas Formais Inconsistentes" [*])
bem, confesso que tenho uma cópia do livro, e na capa - não oficial - está 64.
Mas, de fato, é 63.
>
Olá, Dídimo,
bem, 1) ~~A->A é um postulado em C1, no entanto,
2) A->~~A é inválido, não é isso?
Mas o que eu disse foi justamente 2), ou seja, *não se pode derivar ~~A de A*.
Certo?
Abraços,
Júlio
De: Dídimo Matos
Para: julio cesar ;
Olá, Arthur,
muito obrigado pela resposta!
Bem, eu também pensei nos Princípios como Esquemas, mas o da Costa (1964) usa
ora um ora outro, e eu queria saber se havia alguma diferença mais precisa...
Por exemplo, sobre a dupla negação (~~), sei que não se pode derivar na
paraconsistência ~~A de
Olá, pessoal,
estive estudando o Sistemas Formais Inconsistentes do Prof. da Costa, e tenho
mais três dúvidas que gostaria de perguntar aos colegas.
1) Quando ele diz que um esquema não vale, o que ele quer realmente dizer? - é
possível interpretações onde ele é verdadeiro? - Se um esquema val
Olá, João Marcos,
Minha opinião sobre a Lógica não é ainda uma *definição* (nem sei se será,
mesmo
porque até hoje ninguém o fez de forma unânime), o que eu tentei, nessa
conversa, foi apenas garantir que a própria apresentação de um sistema de
lógica
não dependa de outra lógica sem ser a lóg
Olá, pessoal,
na minha opinião, para responder essa pergunta, falta diferenciar *lógica* de
*matemática*, pois sabemos que muitos já disseram com argumentos fortíssimos
que
uma é a outra e vice-versa! Ou até que ambas são outra coisa... O próprio
logicismo teria provado que a aritmética é apen
Olá, pessoal,
a definição de "Lógica", a meu ver, é um dos assuntos mais obscuros da
filosofia
da lógica, no entanto é talvez o mais importante. Deixo aqui o alerta de que
minha opinião sobre esse assunto ainda não possui nada definitivo. Assim, a
discussão, a meu ver, se torna essencial.
Conc
Olá, João Marcos, Décio e lista,
bem, obrigado pelas respostas! Esse "critério prévio" ficou martelando minha
cabeça mas, de fato, da mesma maneira que não é papel da lógica, por exemplo,
estabelecer verdades nas premissas, tal critério - ao menos por enquanto - pode
ser compreendido, por assim
Olá, Carolina e lista,
bem, como eu disse, eu não estava questionando a validade da Fuzzy, mas apenas
dizendo que ela, no fundo, a meu ver, não rejeita o Princípio da Bivalência e
nem chega perto de fazê-lo, pelo contrário, o utiliza como parte essencial de
seu procedimento. Por exemplo, em lin
Olá, pessoal,
estou com outra dúvida! Assumindo que certas lógicas paraconsistentes não
querem
rejeitar o princípio da não-contradição, mas apenas restringi-lo, há algum
parâmetro prévio em tais lógicas para diferenciar quais tipos de formulas a
não-contradição se aplica e quais não? Isto é, h
Olá, João Marcos
>Continuo acreditando que se o seu problema pega mais em baixo, e diz
>respeito a *semânticas não-clássicas em geral*, e você deveria se
>esforçar portanto a formulá-lo em tal nível.
Sim, a semântica é, de fato, a questão. Às vezes, porém, dizer *meta-linguagem*
pode deixar m
verdade da afirmação *o gato dentro
da
caixa está vivo e morto* isso seria, no máximo, apenas uma prova de que minha
teoria é contraditória, e não que o mundo seja contraditório.
abraços,
Julio
De: Manuel Doria
Para: julio cesar
Cc: Dídimo Matos ; logica
Enviadas
Doria
Para: Dídimo Matos
Cc: julio cesar ; logica
Enviadas: Quarta-feira, 11 de Agosto de 2010 12:57:20
Assunto: Re: [Logica-l] sobre a contradição "real"
Um requisito para existirem contradições reais no mundo é a existência de
truth-bearers não-abstratos, realizados no mundo
Olá, pessoal!
Bem, de fato, posso estar me atrapalhando em algumas coisas. O
buraco é mais embaixo e mais complexo do que eu imaginava. E acredito que minha
questão seria melhor colocada se, em vez de dizer "semântica paraconsistente"
eu
tivesse dito "meta-linguagem inconsistente
é.
Desculpe o tamanho do email (e qualquer outra coisa), mas realmente tenho um
grande interesse em entender se -e onde- estou errado.
Abraços a todos,
Júlio César A. Custódio
De: Decio Krause
Para: julio cesar
Cc: logica-l@dimap.ufrn.br
Enviadas: Sábado, 7 de Agosto de 2010
Olá, lista,
sempre tive dificuldades de compreender como é possível uma semântica
paraconsistente.
Li o artigo http://www.cfh.ufsc.br/~principi/p133-1.pdf e confesso que, do meu
ponto de vista, o problema ainda persiste. Em outras palavras, a meta-linguagem
utilizada ao escrever o artigo possui
34 matches
Mail list logo
