Amigos desta lista,
Eu tive um problema com uma pasta de uma HD externa e perdi vários arquivos
de escritos meus (em Word, i.e., .doc).
Consegui recuperar vários mas muitos vieram com a extensão .ole e não abrem
direito.
Indago quem sabe como reconverter os arquivos .ole para .doc?
Muito
Amigas e amigos,
Existe uma diferença entre escrivaninha e secretária: a primeira é sempre
com tampas e a segunda é qualquer mesa com gavetas que sirva para escrever.
Mas, as escrivaninhas verdadeiras sumiram do mercado e eles agoram a chamam
de escrivaninha xerife.
Eu estou querendo uma,
Dear Friends,
I write to inquire about an example of logic system to which the
meta-inference rule does not apply. If you can remember any, please feel
free to respond this.
By meta-inference rule I mean:
If A,B |- C, then A |- B=C
Thank you very much.
Na verdade, a maior parte da pesquisa de ponta da indústria privada é
financiada por verba pública e feita em universidades públicas. Poucas são
as empresas inovadoras que têm centros de pesquisa avançados. A Apple e a
IBM têm bons laboratórios e pesquisadores, mas nem toda companhia no ramo da
Não é verdade. Tudo o que a Apple inovou acabou em todos os computadores. O
Windows, por exemplo, veio justamente dos primeiros sistemas operacionais da
Apple, que já trabalhavam com janelas. Mesmo os tablets que agora povoam o
mercado foram uma inovação deles.
Em 27 de junho de 2011 10:06,
.
Abraços,
Alvaro Augusto
-Mensagem original-
De: logica-l-boun...@dimap.ufrn.br [mailto:
logica-l-boun...@dimap.ufrn.br]
Em nome de Enrique Fynn
Enviada em: segunda-feira, 27 de junho de 2011 10:06
Para: Tony Marmo
Cc: Lista acadêmica brasileira dos profissionais e
Entre um intervalo e outro do meu trabalho, agora 3:11 da manhã, gostaria de
notar que um amigo comum nosso, i.e., meu e do prof. Newton da Costa, e que
aliás foi aluno do meu pai no ITA, o cosmólogo Marcelo Berman recentemente
resolveu um problema que o qualifica para receber o prêmio Nobel de
O caso é grave, mas não é novo. Vejam estes vídeos, a partir de 3min e 50
segundos do primeiro, como o assunto é introduzido por um teólogo mulçumano:
http://www.youtube.com/watch?v=r23fB4h7Wog
http://www.youtube.com/watch?v=IcikYId2U8c
http://www.youtube.com/watch?v=M0ozG4yQBD8
Em resumo o que
Como o artigo não é aberto e só se lê o resumo, é de difícil comentário.
Todavia, eu conheço os escritos do prof. Pullum e os do prof. Chomsky.
Acontece que cada um tem sua teoria linguística e elas competem entre si no
mercado da linguística formal para ver quem tem mais adeptos. Os
chomskyanos
que alguém escrever um artigo atacando Gagarin para
dizer que ele não foi à Lua. Mas quem disse que foi? Se houve quem o disse,
é gente que não sabe da missa a metade!
Em 18 de setembro de 2011 02:10, Tony Marmo marmo.t...@gmail.com escreveu:
Verei o texto, mas, para ja, advirto que o Pullum
2011 02:45, Tony Marmo marmo.t...@gmail.com escreveu:
Dei uma vista de olhos e posso dizer o seguinte:
Não é novidade que as primeiras obras de Chomsky são consideradas muito
fraquinhas. Na década de 1970, por exemplo, os chomskyanos já diziam isto.
É mais fácil corrigir dados históricos de
Dear friends,
We can look back at Goedel's work as one early attempt of fibring of formal
systems. Thus, the problem of determining the consistency and the
completeness of the system seems to be like the same problem for a given
logic L which is obtained by the fibring of two logics L* and L**.
Aí eu tenho outra interpretação: na verdade, as relações de acessibilidade
dão uma semântica já conhecida por produzir muitos paradoxos. O que está por
detrás das intuições de Rodrigo Cid é uma vontade de fazer semântica
vicinal.
Em 3 de outubro de 2011 14:14, rodrigo cid rodrigorl...@ufrj.br
2011/10/1 Tony Marmo marmo.t...@gmail.com:
Dear friends,
We can look back at Goedel's work as one early attempt of fibring of
formal
systems. Thus, the problem of determining the consistency and the
completeness of the system seems to be like the same problem for a
given
Jean-Yves,
Eu li o seu artigo de 2002 rapidamente. Mas, da minha parte, eu trabalho com
algumas ideias que não sei se serão úteis do seu ponto de vista.
Primeiramente, eu prefiro ser cético do que crédulo, para fins de análise
acadêmica de qualquer coisa. Acho que você também tem um ceticismo
Caro João,
Eu já li alguns lógicos de outros séculos protestando contra a ideia de
modalidade e afirmando que no fundo tudo não passava de mais predicados para
a lógica de predicados que já havia. Então, essa posição de reduzir lógicas
modais a uma lógica não-modal é velha.
Por outro lado, já
Muito obrigado, Jean-Yves pela resposta.
Eu gosto muito dos seus artigos e suspeitava que você não fosse exatamente
um reducionista. Mas, o reducionismo é uma tentação forte para toda a gente,
a que a gente só resiste com uma dose de ceticismo filosófico.
Em 14 de outubro de 2011 21:20,
Sobre a indiscernibilidade sintática eu me refiro a precisamente o que
Walter Carnielli e Cláudio Pizzi explicam magnificamente no seu livro
relançado em Inglês.
Obrigado pelas demais provocações que vou pesquisar quando tiver tempo.
Em 15 de outubro de 2011 09:38, Joao Marcos botoc...@gmail.com
Eu não consegui abrir o link da primeira mensagem.
Obrigado pela tentativa e pela vontade de questionar dogmatismos.
Em 24 de outubro de 2011 20:09, Joao Marcos botoc...@gmail.com escreveu:
PessoALL:
Há algum tempo eu perguntei aqui na lista se alguém teria uma cópia
digital do livro abaixo
Caros amigos, colegas e mestres,
Como existe muita coisa sobre lógicas modais estendidas a partir da LPC,
pediria, por obséquio, referências que acharem capitais de lógicas modais
obtidas pela extensão de lógicas não-clássicas.
Obrigado.
___
Logica-l
Li-o e considere-o uma crônica de ficção científica, quase a um estilo
borgeano! :D
Em 1 de dezembro de 2011 15:11, Décio Krause deciokra...@gmail.comescreveu:
Caros lógicos
Vejam o texto em http://carlarodrigues.uol.com.br/index.php/570
sobre os teoremas (de incompletude, claro) de Gödel e
/12/2 Tony Marmo marmo.t...@gmail.com
Li-o e considere-o uma crônica de ficção científica, quase a um estilo
borgeano! :D
Em 1 de dezembro de 2011 15:11, Décio Krause deciokra...@gmail.com
escreveu:
Caros lógicos
Vejam o texto em http://carlarodrigues.uol.com.br/index.php/570
sobre os
significado.
Foi divertido :))
2011/12/5 Tony Marmo marmo.t...@gmail.com
Só fica uma pergunta: essa moça aceita que lhe expliquem direito as
coisas ou não?
O que me parece é que a jornalista queria mesmo escrever algo que lhe
pareceria interessante aos seus leitores e não algo que esclarecesse
incerteza,
temos duas grandezas - fenômenos, etc - acoplados, e tais que, definindo-se
um deles, o outro se torna indefinido. E ela me deu exemplos, em
psicanálise, de tais entidades acopladas.
2011/12/5 Tony Marmo marmo.t...@gmail.com
Não entendo como o princípio da incerteza de Heisenberg
Florianópolis, SC -- Brasil
deciokrause[at]gmail.com
www.cfh.ufsc.br/~dkrause
He [God] will never choose among indiscernibles
(G.W.Leibniz)
[But] He (God) would never choose among discernibles too. (M. Franciotti)
Em 05/12/2011, às 10:18, Tony Marmo
desvalorizam um estilo de pensar longe do de vcs,
contraditório ao de vcs?
É próximo, no entanto, ao meu.
2011/12/5 Tony Marmo marmo.t...@gmail.com
Caro Décio,
O artigo que eu citei, em que ela tenta fazer metafísica dos gêneros, está
no link:
http://www.scielo.br/scielo.php?script
Rodrigo,
Como o que você escreveu pode servir para todos aqui que citaram ou
analisaram a produção da Carla Rodrigues, acho-me no direito de me
defender, ainda que meu nome particular você não tenha explicitamente
referido.
Quero dizer o seguinte: que em todos os meus posts eu escrevi
Amigos, mestres e colegas,
Na noite de hoje, nos lares trocam-se presentes. Alguns adornam a árvore de
Natal em homenagem ao menino que nasce e outros ascendem mais uma vela na
Chanukia.
O espírito é o mesmo, o mesmo milagre da vida: que essa luz e essa criança
possam nascer em cada um de nós e
A Elsevier tem muito nome, é fato. Mas, o melhor da produção científica
cada vez mais está disponível sem custo pela internet.
Em 22 de janeiro de 2012 02:11, Joao Marcos botoc...@gmail.com escreveu:
Se você está a par de detalhes, acho seria o caso de postar (eu
não posto porque
Eu não conheço nenhuma das duas, desculpem-me. Qual seria o problema de uma
ou de outra?
Em todo caso, existe um modelo de Academia que, segundo dizem, veio da
França e foi seguido pela ABL que consiste em metade de literatos e metade
de representantes do establishment. Esse modelo até hoje
Na verdade já há muito tempo foram propostas e implementadas novas maneiras
de ensinar matemática, diferentes dos métodos de ensino do século XIX.
Reporto, por exemplo, a coleção de Matemática Ensino Programado para o
ginásio e Biblioteca da Matemática para o científico de Antonio Marmo de
Caro Walter,
De fato, isto que você diz acontece muito: os artigos vão para referees que
ou são totalmente contrários às ideias, ou não estão por dentro do assunto.
Na linguística, houve um sujeito que escreveu uma resposta a um tópico
abordado no (que era então ) o mais recente artigo escrito
De vez em quando também aparecem umas reportagens sobre behaviourism como
se fosse uma grande novidade.
Em 5 de fevereiro de 2012 22:06, Walter Carnielli
walter.carnie...@gmail.com escreveu:
Colegas,
eu já acho uma bobagem-- a Veja copia (sempre, e com o mesmo
delay) Newsweek, Business
Esses dois videos são interessantes. Não sei se foram colocados aqui
.
http://www.youtube.com/watch?v=REy9noY5Sg8
http://www.youtube.com/watch?v=RlYS_GiAnK8
Em 24 de fevereiro de 2012 12:07, Décio Krause deciokra...@gmail.comescreveu:
Muito bem. Todos sabemos da competência desses caras.
Caro Rafael,
Esta é uma lista de lógica, em que profissionais trazem até assuntos muito
diversos, mas sempre mostrando a relevância para os campos que interessam,
a saber, lógica, filosofia, matemática, ciência em geral, etc.
Mas, você nesse e-mail não somente assinala um fato histórico, a
março de 2012 00:41, Tony Marmo marmo.t...@gmail.com escreveu:
Caro Rafael,
Esta é uma lista de lógica, em que profissionais trazem até assuntos
muito diversos, mas sempre mostrando a relevância para os campos que
interessam, a saber, lógica, filosofia, matemática, ciência em geral, etc
,
Rafael
Em 1 de março de 2012 00:41, Tony Marmo marmo.t...@gmail.com
escreveu:
Caro Rafael,
Esta é uma lista de lógica, em que profissionais trazem até assuntos
muito diversos, mas sempre mostrando a relevância para os campos que
interessam, a saber, lógica, filosofia, matemática
Caro Jean-Yves,
Quero dizer que, todavia, o prof. Marcelo Finger e todos os demais citados
já publicaram em outros anos vários artigos muito úteis que eu leio e
estudo e têm muito campo de interesse para os lógicos.
E, como você sabe, o ponto alto do Carnaval é Mardis Gras e acaba-se na
Mercredi
Caríssimos Mestres, Amigos e Colegas,
O contexto envolve filtros, ultra-filtros, conjuntos, etc.
Augmented pode ser traduzido para aumentado, mas talvez não seja esse o
termo usual em Português.
Preciso de uma tradução para augmented na definição:
X is augmented if it contains its core and is
Caro João,
Discordo de você quando diz que há um preconceito contra o Graham Priest,
ou que dificilmente se encontram filósofos do mesmo nível que ele.
Não somente as pessoas respeitam o conhecimento e a capacidade intelectual
dele, como aqui há sim de fato muitos filósofos na mesma altura.
Brasil e a Alemanha.
Em 31 de março de 2012 02:13, Tony Marmo marmo.t...@gmail.com escreveu:
Caro João,
Discordo de você quando diz que há um preconceito contra o Graham Priest,
ou que dificilmente se encontram filósofos do mesmo nível que ele.
Não somente as pessoas respeitam o conhecimento e
Meu caro Álvaro Augusto, eu cheguei a pesar mais de 160 kg e somente
consegui emagrecer tomando remédio homeopático. No período em que perdi
peso tomando homeopatias, jamais fiz regime. Ao contrário, comia muito mais
que hoje que estou com 116. Só não pude continuar o processo de
emagrecimento e
quando
pesava 160kg e que só me apareceu depois de um stress emocional (rompimento
de uma relação difícil com uma moça).
Em 5 de abril de 2012 20:15, didimo.george didimo.geo...@uol.com.brescreveu:
E qual era o remédio?
rs.
D.
--
Em 05/04/2012 19:53, *Tony
Tony Marmo marmo.t...@gmail.com
Meu caro Álvaro Augusto, eu cheguei a pesar mais de 160 kg e somente
consegui emagrecer tomando remédio homeopático. No período em que perdi
peso tomando homeopatias, jamais fiz regime. Ao contrário, comia muito
mais
que hoje que estou com 116. Só não pude
d'água, se você diluir mais de 11 vezes qualquer solução, só vai sobrar...
água. Não é um remédio, é um placebo. Considero anti-ético um médico
prescrever placebos.
Abraços.
2012/4/5 Tony Marmo marmo.t...@gmail.com
Respeitosamente discordo. Na verdade, os detratores da homeopatia é que,
sem
um placebo. Considero anti-ético um médico
prescrever placebos.
Abraços.
2012/4/5 Tony Marmo marmo.t...@gmail.com
Respeitosamente discordo. Na verdade, os detratores da homeopatia é
que,
sem ofensas da minha parte, revelam ignorar pontos importantes daquilo
que
falam.
Não
.
2012/4/6 Tony Marmo marmo.t...@gmail.com:
O problema é que homeopatia não é coisa mística. Ainda que esteja errada
empiricamente, é uma teoria científica sim. Acreditar somente no que é
científico não é crer somente em verdades. Nem toda verdade é científica,
nem tudo que é científico é
novato tanto em lógica quanto em filosofia.
Perdoem-me por alguma barbaridade cometida na sugestão.
2012/4/6 Tony Marmo marmo.t...@gmail.com:
O problema é que homeopatia não é coisa mística. Ainda que esteja
errada
empiricamente, é uma teoria científica sim. Acreditar somente no que é
, Tony!
2012/4/6 Tony Marmo marmo.t...@gmail.com:
A questão é a seguinte: se você quer discutir uma teoria da medicina ou
de
outra ciência, você deve discutir primeiro o que a teoria diz de fato e
NÃO
o que outros imaginam que ela diga. Por exemplo, os homeopatas NÃO dizem
que
o remédio
:34, Ricardo Pereira rha...@gmail.com escreveu:
Fala, Tony!
2012/4/6 Tony Marmo marmo.t...@gmail.com:
Perfeito, mas tem um detalhe: com base nos mesmos critérios que se testam
remédios alopáticos, não se pode testar hipóteses da homeopatia.
Acho que na pior das hipóteses deve-se ser capaz
Olha, essa acusação fácil de chamar pesquisa de pseudo-ciência por conta de
uma visão pré-concebida de mundo pode facilmente aplicar-se a qualquer
projeto de ponta. E aí reclamar do quanto se gastou fica mais fácil ainda.
Por exemplo, gastam-se milhões para construir um laboratório gigantesco que
Aos físicos da lista:
Não sei se todos aqui concordam com a eficácia de técnicas de
espectroscopia de Raman ou UV/VIS. (De repente, alguém pode depois dizer
que elas não valem nada, etc.) Mas, eu remeto a um artigo que Rao et ali
escreveu, com link abaixo. Nele os autores apresentam como
João Marcos,
Eu já apresentei uma referência de um físico que estudava assuntos
relacionados e apresentou resultados experimentais. No meu caso não foi
apenas relato pessoal. E não é culpa dos homeopatas, nem minha que das
várias publicações que eles têm todos os anos, de todas as pesquisas que
não serve como ciência convencional para você, então não sei o que
serve,
Em 7 de abril de 2012 12:57, Tony Marmo marmo.t...@gmail.com escreveu:
João Marcos,
[1] Não é método científico diferente, João Marcos. Os parâmetros a serem
buscados é que diferem e as hipóteses são diferentes. Aliás
europeia.
Joao Marcos
2012/4/7 Tony Marmo marmo.t...@gmail.com:
João Marcos,
Eu já apresentei uma referência de um físico que estudava assuntos
relacionados e apresentou resultados experimentais. No meu caso não
foi
apenas relato pessoal. E não é culpa dos
/~dkrause
--
Em 07/04/2012, às 12:49, Tony Marmo marmo.t...@gmail.com escreveu:
Eu já te passei uma referência de estudos feitos por um físico, aqui
mesmo
nesta thread.
Há livros e livros escritos por homeopatas há 2 séculos já, artigos
mais uns 200 livros que relatam de experimentos provando a eficácia dos
métodos homeopáticos. Não tenho os nomes todos de cabeça.
Em 7 de abril de 2012 17:18, Ricardo Pereira rha...@gmail.com escreveu:
Oi, Tony!
2012/4/7 Tony Marmo marmo.t...@gmail.com:
Eu já te passei uma referência de
Veja a resposta que dei ao Ricardo sobre o assunto. Só lembro uma vez mais
que há uma guerra declarada da grande indústria farmacêutica contra a
homeopatia, que visa mercado e que não tem escrúpulo de mentir para o
público dizendo que é placebo (como se não houvesse placebo da própria
indústria
periódicos que não sejam simpáticos à causa já no título.
Disclaimer:
Não trabalho para laboratórios estrangeiros nem escrevo aqui a mando
da ciência europeia.
Joao Marcos
2012/4/7 Tony Marmo marmo.t...@gmail.com:
João Marcos,
Eu já apresentei uma
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
Em 07/04/2012, às 12:43, Tony Marmo marmo.t...@gmail.com escreveu:
João Marcos,
Eu já
Espero que minha resposta não seja censurada.
Em 8 de abril de 2012 17:23, logica-l-boun...@dimap.ufrn.br escreveu:
Seu email para 'Logica-l' com o assunto
Re: [Logica-l] Homeopatia ? ci?ncia? Se funcionar, precisa ser
ci?ncia?
Esta em espera até que o moderador da lista revise-a para
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
Em 07/04/2012, às 12:43, Tony Marmo marmo.t...@gmail.com escreveu:
João Marcos
a dizer: é verdade,
homopatia é um tratamento alternativo válido. Por enquanto não dá para
dizer isso. Por enquanto, não dá para tratar doenças e graves com
homeopatia.
Em 8 de abril de 2012 17:42, Tony Marmo marmo.t...@gmail.com escreveu:
Nesta mesma lista eu já apresentei uma dentre muitos
Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~**dkrause http://www.cfh.ufsc.br/~dkrause
--**
Em 07/04/2012, às 12:43, Tony Marmo marmo.t...@gmail.com escreveu:
João Marcos,
Eu já apresentei uma referência de um físico que estudava
from 1 to 40,000 milligrams.
Chega, Tony. Só vou voltar a falar do assunto Placebo, agora, se
estivermos discutindo bandas de rock.
JM
2012/4/8 Tony Marmo marmo.t...@gmail.com:
PS:
O FDA mesmo há anos já adotou como política deliberadamente permitir a
comercialização de conhecidos
, e ela aparece aqui:
http://www.dimap.ufrn.br/pipermail/logica-l/2012-April/007663.html
Acho que as mensagens que aparecem no arquivo sao exatamente
as que sao distribuidas.
[[]], Eduardo
On Mon, Apr 9, 2012 at 12:34 AM, Tony Marmo marmo.t...@gmail.com wrote:
E eu que fiquei sem saber se
Caro Josué,
Sim, Josué, a lei geral da homeopatia é que se uma coisa causa certo
sintoma ela pode ser usada para combater aquele sintoma. É o princípio do
semelhante cura o semelhante. Você não conhecia esse princípio, ou seja,
você escreve contra homeopatia mas nem sabe no que ela se baseia.
Por favor, coloquem depois na internet para quem quiser poder ver.
Em 9 de abril de 2012 06:41, Francisco Antonio Doria
famado...@gmail.comescreveu:
Terça feira (amanhã) Greg Chaitin começa o curso dele no HCTE: decania do
CCMN, sala um, dez horas. Entrada liberada, e damos certificado aos de
Não é bem assim, Julio Cesar. Há um artigo escrito a seis mãos (Walter
Carnielli, Marcelo Coniglio e João Marcos) que começa justamente pelas
razões filosóficas para propor os sistemas paraconsistentes, chamado Logics
of Formal Inconsistency.
seguiria com um curso de Lógica clássica de primeira
ordem. Extensões da lógica clássica e lógicas divergentes deixaria para
pós-graduação. Um abraço. Jorge Molina
De: logica-l-boun...@dimap.ufrn.br [logica-l-boun...@dimap.ufrn.br] em
nome de Tony Marmo
postulados e formulações homeopáticas, eu quero o mesmo rigor de
pesquisa, e evidências que suportem essas premissas.
Em 9 de abril de 2012 10:41, Tony Marmo marmo.t...@gmail.com escreveu:
Caro Josué,
Sim, Josué, a lei geral da homeopatia é que se uma coisa causa certo
sintoma ela pode ser usada
Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
Em 09/04/2012, às 14:11, Tony Marmo marmo.t...@gmail.com escreveu:
Aos mestres, colegas e amigos,
Existe uma tradição, mesmo em centros onde lógicas não
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
Em 10/04/2012, às 01:50, Tony Marmo marmo.t...@gmail.com escreveu
Primeiro, errata: leia-se proposicional onde está escrito proposiconal,
faltou um i.
Segundo, J.M., não sei qual é o seu preconceito contra a maiêutica, se ela
foi importante para o desenvolvimento da lógica. Falara das três leis do
pensamento e apresentar o problema da batalha naval pode ser
É interessante o que você diz, Rodrigo. Veja que nessa mensagem você já dá
uma ideia de como se pode estruturar um curso de lógica, (um pouco) mais
avançado, que pode despertar muito o interesse dos alunos e nessa
oportunidade fazer uma revisão dos conceitos aprendidos anteriormente. É
trabalhoso
João Marcos,
Eu não achei onde está escrito proporcional, achei proposiconal.
Enfim, não estou pensando como público-alvo exclusivo cursos de computação.
Mas, não vejo por que não faria sentido aos cursos de computação falar
dessas coisas. Ou o melhor é deixar os caras pensarem que Sócrates
É verdade, Rodrigo. Suspeito que isso em parte seja um condicionamento de
uma tradição de procurar começar o ensino da lógica por silogismos
categóricos. Mas, não posso pretender que seja tudo simples condicionamento.
Por outro lado, aviso que em textos de lógica fuzzy é comum já não querer
Rodrigo,
Eu também desconfio que esse rapaz, Júlio Custódio, que eu não conheço
pessoalmente, não procurou assim tanto suporte em alguma literatura para
enunciar suas preocupações ou reclamações. Mas, em outra thread de
discussão, bastante extra-tópica por sinal, vimos algo assim: pessoas
Conforme expliquei, as lógicas não-clássicas podem ser vistas como
extensões da lógica clássica, ou seja, a lógica clássica é um caso
particular delas.
Veja a minha resposta ou das professores Marcelo Finger e Marcelo Coniglio
para explicação e busque mais informações na literatura.
Em 11 de
, às 23:17, Tony Marmo marmo.t...@gmail.com escreveu:
Conforme expliquei, as lógicas não-clássicas podem ser vistas como
extensões da lógica clássica, ou seja, a lógica clássica é um caso
particular delas.
Veja a minha resposta ou das professores Marcelo Finger e Marcelo Coniglio
para explicação
Caros colegas, mestres e amigos,
Apesar de que já me disseram que há livros que começam o ensino de lógica
pela lógica intuicionista, até agora não achei nenhum, mesmo olhando
publicações recentes.
Há introduções ao intuicionismo lógico que já pressupõem o leitor ter algum
conhecimento em
Mais polêmica extra-tópica. O comentário de que não mandaram microscópios
para a missão 36 anos atrás e que o gás liberado pelo experimento PODE ter
sido CO2 (portanto, não sabem ao certo) mostram o quão mal planejado foi o
experimento. O uso de métodos matemáticos como esses para estudar vida
Caro Marcos,
Com todo respeito, existe uma entrevista de Bertrand Russell a Allan Watts,
na qual Russell esclarece bastante suas visões sobre filosofia e sobre
linguagem. Stepeh Neale NÃO está completamente errado na sua apresentação,
aliás tem razão em grande parte. Mas, ele reduz muito o
to write me any thoughts you might have on the issue.
Thank you very much.
Very best regards,
Tony Marmo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Caro João Marcos,
Obrigado pela sua resposta e pela referência.
Mas, quanto à sua objeção, eu precisaria de mais argumentos, principalmente
filosóficos, para dizer que consistência é contingência e para dizer que
consistência não possa ser necessidade ou que seja confusão. Conhecimento
ou saber
Se eu estou entendendo, você define ~P como int(X\P), ~ usado para negação
intuicionista. Mas, para alguns modalistas, isto seria precisamente
Necessário¬P. Curioso isto.
Em 24 de abril de 2012 15:23, Joao Marcos botoc...@gmail.com escreveu:
A noção de conseqüência é esta:
P |- Q quer
Oh! Que boa surpresa logo de manhã! Muito obrigado!
Em 25 de abril de 2012 01:08, Walter Carnielli
walter.carnie...@gmail.comescreveu:
Caro Tony:
eu acho que você está no caminho certo quando pergunta por qual
razão a formalização da consistência (tal como vista nas LFIs)
não
Caro João,
Apenas para registro, porque talvez seja um grande equívoco meu. Mas, nas
mensagens que você disse:
[1] O operador de consistência não é aparentado da necessidade ou da
possibilidade, mas está mais próximo
da noção de contingência.
[2] (...) na verdade a definição do conectivo de
raciocínio que você
mesmo brilhantemente engendrou no artigo.
Em 27 de abril de 2012 19:42, Joao Marcos botoc...@gmail.com escreveu:
Não entendi: qual seria o equívoco seu que está sendo registrado, Tony?
Boa leitura,
JM
2012/4/27 Tony Marmo marmo.t...@gmail.com:
Caro João,
Apenas para
Por fim, quero dizer que me parece muito mais intuitivo outro caminho,
pensando a consistência como um operador primitivo, no caso uma das
interpretações possíveis do operador de necessidade.
Leia-se quadrado como “consistente” e diamante como “testável”. Então, na
forma desta interpretação,
Rapidamente
1. Sim, a regra de necessitação faria sentido também. Por exemplo, todas as
teses de PC seriam consistentes, por essa regra.
2. Sobre as perguntas finais, consistente p e consistente não p, sob essa
ótica, são contrárias: podem ser ambas falsas, mas não ambas verdadeiras.
Se não-p
Ai, há uma ligeira confusão, talvez por não me fazer entender
explicitamente. Na verdade, todos os esquemas modais que eu mencionei eu
disse que fazem sentido. Mas, muito embora isso acarrete que S5 também faça
sentido filosoficamente, não quero com isso dizer que S5 seja meu sistema
favorito.
como referência bibliográfica.
O argumento do Walter, que não é necessariamente incorreto, é que ela
NÃO DEVE ser usada como referência no sentido de fonte confiável de
informação.
São _estes_ os dois sentidos que foram *referenciados*... Ou não?
JM
2012/5/7 Tony Marmo marmo.t...@gmail.com
O pior é que há alguns blogs de alunos de filosofia dos EUA que dizem
coisas do mesmo gênero ou qualidade, sem ter ideia da existência ou linha
editorial da VEJA.
Em 7 de maio de 2012 19:35, Decio Krause deciokra...@gmail.com escreveu:
Ah, entendi.
Mas você(s) viu(iram) o livro da Rebecca
of parameter covers that
of nominals.
2. I'm not sure whether the modal operators are not satisfaction operators
or vice-versa. Isn't it the same as giving new names to old things?
I shall appreciate your opinions.
Thank you very much,
Tony Marmo
___
Logica-l
Muito obrigado à Valéria pelas referências que me passou. São muito ricas!
Em 22 de maio de 2012 10:58, Elaine Pimentel
elaine.pimen...@gmail.comescreveu:
Olas!
Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
dizer que me parece que a Sara Negri tem um procedure para
Deve ser interessante. Mas, eu gostaria de saber acerca de grupos de
trabalho e se haverá sessões devotadas somente à Lógica.
2012/5/28 Marcelo Esteban Coniglio meconig...@gmail.com
**
SECOND BRAZILIAN CONGRESS ON FUZZY
Caros Colegas, Professores e Amigos,
Defendeu-se no IFCH durante o corrente mês de maio uma tese que me pareceu
muito interessante divulgar:
A Lógica de Aristóteles: problemas interpretativos e abordagens
contemporâneas dos PrimeirosAnalíticos
De um colega nosso chamado Mateus Ricardo Ferreira.
saber ler grego
clássico).
Sobre o pdf da tese: o Mateus ainda tem que fazer umas pequenas
correções que sugerimos na defesa. Contata seu orientador, o Lucas
Angioni, para solicitar a versão final quando estiver pronta.
Abraço,
Marcelo
2012/5/29 Tony Marmo marmo.t...@gmail.com:
Caros
Vc pode gravar e colocar na internet?
Em 31 de maio de 2012 09:36, Joao Marcos botoc...@gmail.com escreveu:
Agradecemos a divulgação. Estão todos convidados.
* * *
NOITE DIFUSA
http://goo.gl/9lZmT
Data: qua, 6 de junho, 19:00
Local: Sala 3D5, UFRN
Lógica Difusa: Uma abordagem
1 - 100 de 278 matches
Mail list logo