from:"Abílio"

Re: [Logica-l] Vídeos -VI Ciclo de Palestras Consciência e Cognição (UFPE) [

2020-02-17 Por tôpico Abílio

Prezadxs,
Não conheço em particular as marcas mencionadas aqui. Mas vai uma sugestão.
Não adianta economizar com microfone. Na hora de comprar, vale a pena
considerar gastar um pouco mais.
O resultado compensa.
Abraços



Em seg, 17 de fev de 2020 15:14, Joao Marcos  escreveu:

> Walter:
>
> Os videos do nosso canal aqui da UFRN
>   (http://logic-ufrn.weebly.com/videos.html)
> foram gravados com um
>   microfone sem fio Lyco UHXPRO02 MHLI
> Acho que não ficaram maus.
>
> []s, Joao Marcos
>
>
> On Mon, Feb 17, 2020 at 12:16 PM Walter Carnielli <
> walter.carnie...@gmail.com> wrote:
>
>> Gostaria de parabenizar os organizadores e os palestrantes, e agradecer
>> pelos vídeos das palestras.
>>
>>
>> No entanto, tenho uma coisa a compartilhar com todos, que é um problema
>> que também me aflige:
>>
>> Por que nossos áudios são tão ruins ?Será que não teríamos que investir
>> em microfones especiais, que não pegam o meio ambiente,  evitam eco, e
>> coisas assim?
>>
>> Para dizer a verdade, no meio das gravações das palestras a gente acaba
>> cansando daquele som de "lata de biscoito", e é uma pena.
>>
>> Talvez  alguém que conheça bem esse tema pudesse dar uma ajuda (
>> inclusive para mim mesmo quando gravo  meus vídeos, ou quando temos colegas
>> participando de bancas por vídeo-conferência, o que é  cada vez naus
>> frequente).
>>
>> Abraços,
>> Walter
>>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjhROz%2BX2TosKRuS1dkahbsJBDEUO2mKxWbPB6d58ZMPg%40mail.gmail.com
> 
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD21PvecUV%3D3MmXyG_%2BjAX653UrctzcgV2_zuE90kM%2BkEVg%40mail.gmail.com.

Re: [Logica-l] Criticar mal gosto não é "conservadorismo "

2019-10-21 Por tôpico Abílio

Colegas,

Estou chegando atrasado na conversa.
Entendo que o titulo possa ser desconfortavel para algumas pessoas.
Pra mim nao é nem um pouco.

Mas o txt é otimo e muitissimo oportuno nos tempos da burrice e
cretinice que grassam no nosso pobre pais.
Sim, hoje, no Brasil, vagabunda - assim como viado, esquerdopata,
comunista etc. - tornaram-se elogios.

Abraços

Abilio

On Sun, 20 Oct 2019 at 23:50, Joao Marcos  wrote:
>
> Poderíamos talvez defender que o estudo da argumentação, e de certa
> forma também a interpretação de textos, caem sob os tópicos de
> interesse desta lista.
>
>
> [[
> Dou por aceito que não precisamos defender Marie Curie.  Albert
> Einstein disse o que havia a dizer, em uma carta que enviou a ela em
> 23 de novembro de 1911, logo depois de Curie retornar da Suécia com
> seu segundo prêmio Nobel para encontrar seu nome denegrido pela
> imprensa e sua casa apedrejada pela furiosa turba de conservadores de
> extrema-direita:
>
> "If the rabble continues to occupy itself with you, then simply don’t
> read that hogwash, but rather leave it to the reptile for whom it has
> been fabricated."
> https://einsteinpapers.press.princeton.edu/vol8-trans/34
> ]]
>
>
> O que eu observei até agora, no debate nesta lista sobre o texto da
> física Marcia Barbosa, foi:
>
> (1) A menção a um texto de uma cientista relatando um bem conhecido
> caso de misoginia na ciência.  O texto foi desqualificado antes mesmo
> de ser lido devido ao uso do termo "vagabunda" no título.
> Aparentemente o objetivo principal daquela menção foi o emprestar
> força adicional à desqualificação de outro texto ---absolutamente
> desastroso--- publicado no mesmo blog, escrito por outro autor, sobre
> um tema completamente diverso.
>
> (2) O texto já citado, que diz respeito ao empoderamento feminino, foi
> acusado, das formas mais variadas, de "MAU gosto".  Um dos motivos
> principais, mais uma vez, parece ter sido o uso ---essencial--- da
> palavra "vagabunda".  Os outros motivos apontados são um pouco mais
> difusos, e mais ou menos "criativos".
>
> (3) Supostamente haveria no dito texto uma proposta de ressignificação
> semântica pela qual "vagabunda" passaria a ser um elogio.
>
> Não tenho o que dizer sobre o ponto (1), e já disse o que tinha para
> dizer sobre o ponto (2).  Eu próprio não teria hesitado em escrever um
> texto com esta palavra no título, fosse ela essencial ao conteúdo.
> Quanto ao ponto (3), se houvesse uma real tentativa de
> *ressignificação* das expressões "vagabundas" e "vadias", como
> aconteceu por exemplo com os termos "gay" e "queer", então seria de se
> supor que as mulheres hoje _desejassem_ ser tratadas por "vagabundas"
> ou "vadias".  Não me parece que seja o caso ---ou pelo menos não
> ainda, pois a linguagem tem sua dinâmica.  Resta-me, assim, a opção da
> *ironia* (ou, no mínimo, da estratégia de chamar a atenção pela via da
> *polêmica*), que afinal me parece ter sido bem praticada pela autora
> do texto.
>
>
> [[
> Sobre a apropriação por parte das mulheres dos termos opressores _para
> tentar revalorizá-los_ (como no mote "se ser livre é ser vadia, então
> somos todas vadias") encontrei um texto recente interessante, escrito
> da perspectiva da Análise Dialógica do Discurso [Bakhtin]:
> http://www.scielo.br/scielo.php?script=sci_arttext=S0104-026X2019000200209
> Como disse um colega, portanto, pode haver, também neste ponto,
> "espaço interessante para reflexão".
> ]]
>
>
> Ainda sobre as mensagens anteriores dos colegas:
>
> > Talvez ela não saiba das histórias  das"jovens polacas". Se sabe, é  pior 
> > ainda.
> > É  de todo modo uma referência infeliz, que me faz não gostar da notinha.
>
> As "jovens polacas" jamais foram referidas no texto.  Parece de todo
> modo irrelevante saber se a autora do texto conhece a expressão, ou
> mesmo se Marie Curie teria sido assim chamada no Brasil, como sem
> dúvida teriam feito naquela época os tabloides franceses.
>
>
> [[
> Um dos _menos_ virulentos ataques a Marie Curie foi publicado no Le
> Figaro (o jornal diário mais antigo da França), em 26 de novembro de
> 1910:
> "Nous avons déjà plus de femmes de lettres qu’un pays civilisé ne peut
> supporter. Que les dieux favorables nous épargnent une génération de
> femmes de science!"
> https://polonia.histegeo.org/Curie_Academie.swf (p.7)
>
> A propósito, esta é a realidade que aponta modernamente o mesmo jornal
> (conservador e de direita):
> http://madame.lefigaro.fr/societe/les-europeens-estiment-que-la-science-a-haut-niveau-nest-pas-faite-pour-les-femmes-160915
> (curiosamente, enquanto o artigo de 1910 deplora a possibilidade de
> prêmios científicos concedidos por "júris femininos", o artigo de 2015
> diz respeito a uma sondagem promovida pela fundação L'Oréal, que hoje
> patrocina tais prêmios)
> ]]
>
>
> > não tem essa de politicamente ressignificar o preconceito que fez uma 
> > vítima ilustre
>
> O _preconceito_ certamente não foi ressignificado pela autora do
> texto.  Quando muito

[Logica-l] Textos Heyting

2019-10-08 Por tôpico Abílio

Prezadxs colegas,
Alguém teria esses textos do Heyting?
Abraço
Abilio


1.
Heyting, A. 1958a. ‘On truth in mathematics’, Verlag van de plechtige
viering van het honderdvijftigjarig
bestaan der Koninklijke Nederlandse Akademie van Wetenschappen met de
teksten der bij die
gelegenheit gehouden redevoeringen en voorgedrachte, Amsterdam:
North-Holland, 1958, pp. 277–
279.

2.
Heyting, A. 1958b. ‘Intuitionism in mathematics’, in R. Klibansky, ed.,
Philosophy in the mid-century. A
survey, Firenze: La Nuova Italia, pp. 101–115.

3.
Heyting, A. 1959. ‘Some remarks on intuitionism’, in Constructivity in
Mathematics, Amsterdam: NorthHolland, pp. 69–71.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD237m%3DrKNbo4Zq-vjq_8Am1HY_f%3DfwTt34VZwegpTHyHDw%40mail.gmail.com.

[Logica-l] Latex - Kripke models

2019-08-15 Por tôpico Abílio

Prezadxs,
Estou precisando representar modelos de Kripke no latex.
Alguem me daria uma sugestao?
Abracos
Abilio

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD20svtZ%3Dkdga2Ai5rN71hZX1wZC1%3DgG9Zv0hgDS66oO3Uw%40mail.gmail.com.

[Logica-l] - Concurso de professor visitante/visitante estrangeiro - departamento de filosofia UFMG -

2019-05-26 Por tôpico Abílio

Prezadxs,

Estão abertas inscrições para concurso de professor
visitante/visitante estrangeiro no departamento de filosofia da UFMG.

Área: Ensino e metodologia de pesquisa em Filosofia
Itens temáticos:
1) Metodologia de Pesquisa e Ensino em Filosofia
2) Filosofia e diversidade Cultural
3) Ética prática
4) Filosofia e Educação
Data limite: 19/06/2019, 23:59h
Página para inscrição: https://aplicativos.ufmg.br/solicitacao_externa/

Edital e programa estão no link
https://filosofia.fafich.ufmg.br/noticias-departamento/edital-e-programa-de-professor-visitante/

Abraços

Abilio

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD22ZBAMFhGxPWpf3c-P-F7n2OVhyoFRobVg45PQh-CWOTQ%40mail.gmail.com.

Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-17 Por tôpico Abílio

Sim, já passou da hora

Em seg, 17 de set de 2018 20:15, Andrea Loparic 
escreveu:

> Quousque tandem?
> Basta de Kims Kataguiris!!!
>
>
>
> Em seg, 17 de set de 2018 às 14:04, Jessé Silva <
> aprendizforeve...@gmail.com> escreveu:
>
>> Eu não estou agredindo ninguém, estou analisando os fatos expostos.
>> Leia-me literalmente, por favor, sem interpretações arbitrárias.
>>
>> Em seg, 17 de set de 2018 às 14:02, Walter Carnielli <
>> walter.carnie...@gmail.com> escreveu:
>>
>>> Ninguém tem tempo, nem obrigação, de te dar  respostas.  E eu acho
>>> que  você deveria ser mais respeitoso com o Carlos Gonzalez, que é um
>>> excelente lógico e  filosofo, com idade  para ser  teu pai,
>>> certamente. Se a opinião dele sobre  esse tal " Mario F. dos Santos"
>>> discorda da tua,  agradeça a ele pela opinião  e reserve a tua. Nós
>>> não vamos tolerar agressões  ao colega Carlos  (nem a ninguém) por
>>> manifestar  sua  opinião, a teu pedido.
>>>
>>> Em seg, 17 de set de 2018 às 13:42, Jessé Silva
>>>  escreveu:
>>> >
>>> > Walter Carnielli, em todo momento fiz questão de ressaltar que sou
>>> iniciante e pedir sempre as respostas, no caso se os exercícios resolvidos
>>> estão certos ou não e o que fazer para melhorá-los. Então desde já obrigado
>>> pelas recomendações de livros. E tenho de confessar, é lamentável ter que
>>> ficar pegando as respostas de um post em outro, poderiam fazer as devidas
>>> correções lá no post de silogismos, mas não fazem, não sei porque. Enfim,
>>> de qualquer maneira obrigado.
>>> >
>>> > Quanto a escrever menos na lista, eu evito ao máximo, mas quando é
>>> necessário uma resposta, temos que dar.
>>> > Por exemplo, ao ponto em que você mesmo mencionou sobre eu defender ou
>>> acusar outros de charlatão.
>>> >
>>> > Pois eu não defendi charlatão nenhum, pois ninguém mostrou ainda nada
>>> relevante para enquadrar todo o pensamento do Mario nessa classificação.
>>> > Isso aqui é um grupo de lógica, não devemos ser levianos mas sim o
>>> máximo categóricos.
>>> >
>>> > E sobre atacar, agora sim, esse ponto faz sentido, pois de acordo com
>>> o comportamento do Carlos Gonzalez, ele realmente se comportou, ao menos
>>> nesta postagem, como um charlatão, sem sombra de dúvidas, e a prova disto é
>>> o fato dele se comportar como um intelectual, mas comete um ato tão
>>> vacilante quanto o exposto nesta postagem, de pegar um trecho isolado de
>>> uma obra dentre mais de 100 outras, sem levar em consideração nem mesmo que
>>> o ser humano é falho, e querer afirmar que o autor é sim um charlatão por
>>> causa desse pseudo-erro totalmente isolado.
>>> >
>>> > Isso sim é um autêntico ato de um charlatão intelectual, e não precisa
>>> ser muito inteligente pra perceber isso.
>>> >
>>> > Simplesmente, o motivo que ele alegou para tentar enquadrar o Mario
>>> Ferreira dos Santos como um charlatão, expressa que na verdade, a tentativa
>>> frustada dele demonstra que quem está se comportando como charlatão, ao
>>> menos nesta postagem, é o próprio Carlos Gonzalez.
>>> >
>>> > Não é difícil de entender que um erro isolado não desqualifica a obra
>>> inteira de um autor, ao ponto de você querer afirmar que ele é um charlatão.
>>> > Quem tenta desqualificar um autor por motivos tão simiescos, e ainda
>>> pousar com ares de intelectualidade, este sim, sem sombra de dúvidas, é um
>>> charlatão.
>>> >
>>> >
>>> > Em seg, 17 de set de 2018 às 13:19, Walter Carnielli <
>>> walter.carnie...@gmail.com> escreveu:
>>> >>
>>> >> Caro Jessé,
>>> >>
>>> >> Vou  tentar  ser didático, dar  uma sugestão  de professor.  È a que
>>> >> eu  daria a  um dos meus estudantes.
>>> >>
>>> >> Independente de você  defender (ou acusar)  charlatães, ou não, e  se
>>> >> meter em discussões intermináveis "de beiradinha",  penso que você
>>> >> deveria  escrever menos na lista, reservar seu tempo e o de todos para
>>> >> discussões relevantes, e  se dedicar  mais a  estudar  lógica que
>>> >> tanto lhe interessa, a partir da  perspectiva contemporânea.  Claro
>>> >> que estudar o ponto de vista  medieval e escorregar  em análises
>>> >> escolásticas importa, mas acho que não num primeiro  momento (a não
>>> >> ser que você pense em ser mais um Abelardo-- mas cuidado com o que
>>> >> aconteceu a  ele... :-)  )
>>> >>
>>> >> As análises que você tem feito  dos silogismos não  estão  bem --
>>> >> muitos dos que nós  (João Marcos, Andrea e eu, etc)  enviamos  são
>>> >> simplesmente  falácias conhecidas, quase  brincadeiras, que do ponto
>>> >> de vista da  lógica  formal são  óbvias.
>>> >>
>>> >> Talvez meus colegas  possam recomendar coisa melhor, mas eu penso  que
>>> >> você  deveria começar com  o livro do  Copi et al. :
>>> >>
>>> >> Introduction to Logic (14th Edition)  Irving M. Copi, Carl Cohen,
>>> >> Kenneth McMahon
>>> >>
>>> >> Há  também uma edição em espanhol (não sei  se há  em português ).
>>> >> Introducción a la lógica
>>> >> Irving M. Copi y Carl Cohen
>>> >>
>>> >>
>>> >> Para  uma introdução, há  ainda  o

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

2018-05-19 Por tôpico Abílio

oi valeria
aqui

On the hypothetical judgement in the history of intuitionistic logic.
In: glymour, c.; wang, w.; westerstahl, d. (eds.) Logic, methodology,
and philosophy of science: proceedings of the thirteenth international
congress. London: king's college publications, 2009.


2018-05-19 19:51 GMT+01:00 Valeria de Paiva <valeria.depa...@gmail.com>:
> qual 'e a referencia, Abilio?
>>(van Atten fala sobre).
>
>
> 2018-05-18 13:52 GMT-07:00 Abílio <abilio.rodrig...@gmail.com>:
>>
>> Colegas, vou tentar uns 'pitacos filosoficos' aqui.
>>
>> 1. De fato, ~A nao tem sentido construtivo, ao passo q A -> \bot parece
>> ter.
>>
>> 2. Me parece q construtivamente nem o ex falso nem A -> (B ->A)
>> deveriam ser validos. Ha razoes para achar q uma 'logica de Brouwer'
>> deveria ser paraconsistente e relevante. Mas nao pq isso parece ser a
>> melhor interpretacao do q Brouwer diz, mas sim pq  ~A -> (A -> B) e  A
>> -> (B ->A) nao parecem validos do pto de vista construtivo (van Atten
>> fala sobre).
>>
>> 3. Sobre definir ~ com \bot. Dentre os conceitos de ~ e \bot, qual
>> parece ser intuitivamente mais plausivel? Me parece q o \bot. A ~ traz
>> todos aqueles velhos problemas filosoficos de nao ser etc. O \bot eh
>> algo ruim, inconcebivel, catastrofico, inaceitavel (ok Daniel?) - o
>> conceito, a ideia de algo ruim, inconcebivel, catastrofico,
>> inaceitavel me parece ser bastante clara.
>>
>> Abracos
>>
>> Abilio
>>
>>
>> 2018-05-18 20:59 GMT+01:00 Durante <dura...@ufrnet.br>:
>> > Oi João e colegas,
>> >
>> > Concordo com o Rodrigo. Usando outras palavras eu diria: ~A não faz
>> > sentido
>> > construtivo. Como apresentar a construção do que não se constrói? Não
>> > dá. A
>> > alternativa é, então, mostrar as consequências de uma suposta
>> > construção. Ao
>> > assumirmos como construído o que não se constrói, devemos ter como
>> > consequência algo ruim, catastrófico, negativo (trocadilho inevitável).
>> > Daí
>> > o A -> ⊥.
>> >
>> > Saudações,
>> > Daniel.
>> >
>> > PS: só para registrar, como você sabe, o A -> ⊥ funciona também como
>> > definição da negação clássica. E há vários motivos, mas que eu saiba
>> > todos
>> > ad hoc, para usa-la.
>> >
>> >
>> > Em quinta-feira, 17 de maio de 2018 20:30:57 UTC-3, Joao Marcos
>> > escreveu:
>> >>
>> >> PessoALL:
>> >>
>> >> Em axiomatizações da lógica clássica, a *bi-implicação* frequentemente
>> >> é
>> >> introduzida como uma mera abreviatura a partir, digamos, de fórmulas
>> >> contendo conjunções e implicações, ou contendo conjunções, disjunções e
>> >> negações, apropriadamente combinadas.  Tal situação nem sempre é ideal,
>> >> mas
>> >> não é inteiramente fora de propósito: se a bi-implicação é tomada como
>> >> um
>> >> conectivo primitivo, de fato, suas axiomatizações terão de dar conta de
>> >> propriedades pouco intuitivas da bi-implicação clássica, tais como a
>> >> associatividade deste conectivo (poder-se-ia argumentar neste caso que
>> >> se
>> >> trata de um mero "efeito colateral" do princípio da casa do pombo,
>> >> tendo em
>> >> vista a bivalência da lógica subjacente).  Além disso, vale notar que
>> >> tais
>> >> definições alternativas não resistem ao enfraquecimento da lógica
>> >> original,
>> >> pois em fragmentos dedutivos da lógica clássica duas fórmulas
>> >> classicamente
>> >> equivalentes podem deixar de ser equivalentes, e passa assim a fazer
>> >> diferença qual abreviatura é escolhida para introduzir o conectivo em
>> >> questão.
>> >>
>> >> Estendendo o exemplo propriamente para o domínio não-clássico, gostaria
>> >> de
>> >> colher reações dos especialistas aqui sobre o seguinte ponto.
>> >>
>> >> Na lógica intuicionista a negação $\neg A$ de uma sentença $A$ é
>> >> frequentemente introduzida *por definição* como a sentença $A\to\bot$,
>> >> onde
>> >> $\to$ é a "implicação intuicionista" e $\bot$ o "absurdo
>> >> intuicionista",
>> >> tomados como conectivos primitivos.  Como consequência, ao
>> >> enfraquecermos a
>> >> implicação ou o absurdo, pela consideração de um fragmento dedutivo da
>> >>

Re: [Logica-l] Re: sobre a "melhor forma" de apresentar a negação em lógicas construtivas

2018-05-18 Por tôpico Abílio

Colegas, vou tentar uns 'pitacos filosoficos' aqui.

1. De fato, ~A nao tem sentido construtivo, ao passo q A -> \bot parece ter.

2. Me parece q construtivamente nem o ex falso nem A -> (B ->A)
deveriam ser validos. Ha razoes para achar q uma 'logica de Brouwer'
deveria ser paraconsistente e relevante. Mas nao pq isso parece ser a
melhor interpretacao do q Brouwer diz, mas sim pq  ~A -> (A -> B) e  A
-> (B ->A) nao parecem validos do pto de vista construtivo (van Atten
fala sobre).

3. Sobre definir ~ com \bot. Dentre os conceitos de ~ e \bot, qual
parece ser intuitivamente mais plausivel? Me parece q o \bot. A ~ traz
todos aqueles velhos problemas filosoficos de nao ser etc. O \bot eh
algo ruim, inconcebivel, catastrofico, inaceitavel (ok Daniel?) - o
conceito, a ideia de algo ruim, inconcebivel, catastrofico,
inaceitavel me parece ser bastante clara.

Abracos

Abilio


2018-05-18 20:59 GMT+01:00 Durante :
> Oi João e colegas,
>
> Concordo com o Rodrigo. Usando outras palavras eu diria: ~A não faz sentido
> construtivo. Como apresentar a construção do que não se constrói? Não dá. A
> alternativa é, então, mostrar as consequências de uma suposta construção. Ao
> assumirmos como construído o que não se constrói, devemos ter como
> consequência algo ruim, catastrófico, negativo (trocadilho inevitável). Daí
> o A -> ⊥.
>
> Saudações,
> Daniel.
>
> PS: só para registrar, como você sabe, o A -> ⊥ funciona também como
> definição da negação clássica. E há vários motivos, mas que eu saiba todos
> ad hoc, para usa-la.
>
>
> Em quinta-feira, 17 de maio de 2018 20:30:57 UTC-3, Joao Marcos escreveu:
>>
>> PessoALL:
>>
>> Em axiomatizações da lógica clássica, a *bi-implicação* frequentemente é
>> introduzida como uma mera abreviatura a partir, digamos, de fórmulas
>> contendo conjunções e implicações, ou contendo conjunções, disjunções e
>> negações, apropriadamente combinadas.  Tal situação nem sempre é ideal, mas
>> não é inteiramente fora de propósito: se a bi-implicação é tomada como um
>> conectivo primitivo, de fato, suas axiomatizações terão de dar conta de
>> propriedades pouco intuitivas da bi-implicação clássica, tais como a
>> associatividade deste conectivo (poder-se-ia argumentar neste caso que se
>> trata de um mero "efeito colateral" do princípio da casa do pombo, tendo em
>> vista a bivalência da lógica subjacente).  Além disso, vale notar que tais
>> definições alternativas não resistem ao enfraquecimento da lógica original,
>> pois em fragmentos dedutivos da lógica clássica duas fórmulas classicamente
>> equivalentes podem deixar de ser equivalentes, e passa assim a fazer
>> diferença qual abreviatura é escolhida para introduzir o conectivo em
>> questão.
>>
>> Estendendo o exemplo propriamente para o domínio não-clássico, gostaria de
>> colher reações dos especialistas aqui sobre o seguinte ponto.
>>
>> Na lógica intuicionista a negação $\neg A$ de uma sentença $A$ é
>> frequentemente introduzida *por definição* como a sentença $A\to\bot$, onde
>> $\to$ é a "implicação intuicionista" e $\bot$ o "absurdo intuicionista",
>> tomados como conectivos primitivos.  Como consequência, ao enfraquecermos a
>> implicação ou o absurdo, pela consideração de um fragmento dedutivo da
>> lógica intuicionista, pode ocorrer que a interpretação de $\neg$ como algo
>> que mereça o título de "negação" seja prejudicada.
>>
>> Obviamente, para fragmentos da lógica intuicionista a abordagem
>> supra-citada só faz sentido quando $\to$ e $\bot$ estão disponíveis.  De
>> todo modo, tendo em vista o fato de que os conectivos intuicionistas não são
>> em geral interdefiníveis, não é inconcebível que a introdução de certos
>> conectivos por meio de abreviaturas possa em certas situações ser
>> conveniente, por alguma razão... embora isto possa também passar a impressão
>> de que tais conectivos assim introduzidos "não existem de verdade".
>>
>> A pergunta que lanço aqui é: ao trabalhar com *lógicas construtivas* (que
>> sejam fragmentos da lógica clássica ou, digamos, de alguma extensão modal da
>> lógica clássica), haverá alguma justificativa meta-lógica _razoável_ (em
>> oposição a justificativas meramente ad hoc, formuladas convenientemente para
>> "explicar" a teoria a posteriori) para considerarmos a negação como sendo
>> preferencialmente introduzida por abreviatura, sempre que isto é possível?
>> Situações em que tal abordagem pareceria não ser atraente, por exemplo,
>> seriam aquelas em que a implicação e o bottom são suficientemente fortes
>> para que a definição seja útil, mas a negação que se pretende introduzir é
>> na realidade tanto paracompleta quanto paraconsistente (exemplo: lógica N4
>> de Nelson).
>>
>> (A pergunta acima ---para a qual não há resposta certa ou errada--- é
>> propositalmente vaga, de modo a tentar não tomar partido de nenhuma posição
>> específica.  Com alguma sorte, contudo, a pergunta estará suficientemente
>> clara para que os colegas possam emitir suas *opiniões* a

Re: [Logica-l] Judment

2017-02-15 Por tôpico Abílio

Carxs colegas
No contexto de textos de lógica e filosofia,  sempre vejo judgment
traduzido por juízo
Abraços

Em 15 de fev de 2017 5:16 PM, "Regivan Hugo Nunes Santiago" <
regi...@dimap.ufrn.br> escreveu:

> Pesquisei rapidamente na internet e encontrei alguns textos de Lógica,
> e.g. http://www.ebah.com.br/content/ABAAAgJhsAC/logica, falando da
> diferença entre os conceitos de Juizo e Proposição. Vocês teriam alguma
> referência mais confiável e clara que pudessem me indicar para que eu
> entenda essa diferença. No texto mencionado existem problemas na edição
> nesse trecho.
>
>
> Regivan
>
>
> Em 15 de fev de 2017, à(s) 15:47, Regivan Hugo Nunes Santiago <
> regi...@dimap.ufrn.br> escreveu:
>
> Obrigado!
>
> Regivan
>
> 
> **
> *Prof. Dr. Regivan Hugo Nunes Santiago*
> Group for Logic, Language, Information, Theory and Applications - LoLITA
> Department of Informatics and Applied Mathematics - DIMAp
> Federal University of Rio Grande do Norte - UFRN
> Avenida Senador Salgado Filho, 3000,
> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
> Caixa Postal: 1679
> Phone: +55 84 3215-3814 Ext. 211 <(84)%203215-3814>
> Fax:  +55 84 3215-3813 <(84)%203215-3813>
> https://sites.google.com/site/regivanhnsantiago/
> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
>
> Curriculum Lattes-CNPq
> 
> 
> **
>
> 2017-02-15 15:03 GMT-03:00 Valeria de Paiva :
>
>> sim tambem concordo que numa situacao   mais
>>  filosófica, ou de logica em geral, em vez de logica matematica ou teoria
>> de tipos em CS, "juízo" me  pareceria bem melhor.
>>
>>
>> abs
>> Valeria
>>
>> 2017-02-15 8:36 GMT-08:00 Walter Carnielli :
>>
>>> Oi Valeria
>>> cc Regivan
>>>
>>> sim, se for usado  na acepção jurídica,  poderia ser  "julgamento".
>>> Martin-Loef usa  *numa*  certa acepção matemática do termo,  mas  Kant
>>>  preferiria  "juízo" mesmo. Portanto, se for  numa vertente  mais
>>> lógica  ou filosófica, "juízo" me  pareceria melhor,
>>>
>>> abraços,
>>>
>>> Walter
>>>
>>> Em 15 de fevereiro de 2017 14:16, Valeria de Paiva
>>>  escreveu:
>>> > Walter e Regivan,
>>> > eu continuo achando  que "judgement" tambem pode ser traduzido com
>>> > "julgamento" quando usado na acepcao matematica do termo, como os
>>> > julgamentos da teoria de Martin-Loef.
>>> >
>>> > a gente ja' discutiu isso por aqui, assim como ja discutimos (e
>>> discordamos
>>> > uns dos outros) sobre Teoria da Prova, etc...
>>> > meus dois tostoes, como sempre,
>>> > abs
>>> > Valeria
>>> >
>>> >
>>> > 2017-02-15 4:02 GMT-08:00 Walter Carnielli >> >:
>>> >>
>>> >> Juízo.
>>> >>
>>> >> Em 15 de fevereiro de 2017 09:44, Regivan Hugo Nunes Santiago
>>> >>  escreveu:
>>> >> > Caríssimos,
>>> >> >
>>> >> > uma pergunta básica, qual seria a tradução mais adequada para a
>>> >> > expressão inglesa  “judgment” dentro do contexto da lógica?
>>> >> >
>>> >> > Regivan
>>> >> >
>>> >> > --
>>> >> > Você está recebendo esta mensagem porque se inscreveu no grupo
>>> >> > "LOGICA-L" dos Grupos do Google.
>>> >> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> >> > envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> >> > Para postar neste grupo, envie um e-mail para
>>> logica-l@dimap.ufrn.br.
>>> >> > Visite este grupo em
>>> >> > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>>> >> > Para ver esta discussão na web, acesse
>>> >> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9
>>> 72A0AEF-2207-485B-BE84-7A88499FD051%40gmail.com.
>>> >>
>>> >>
>>> >>
>>> >> --
>>> >> ---
>>> >> Walter Carnielli
>>> >> Centre for Logic, Epistemology and the History of Science and
>>> >> Department of Philosophy
>>> >> State University of Campinas –UNICAMP
>>> >> 13083-859 Campinas -SP, Brazil
>>> >> Phone: (+55) (19) 3521-6517
>>> >> Institutional e-mail: walter.carnie...@cle.unicamp.br
>>> >> Website: http://www.cle.unicamp.br/prof/carnielli
>>> >>
>>> >> --
>>> >> Você está recebendo esta mensagem porque se inscreveu no grupo
>>> "LOGICA-L"
>>> >> dos Grupos do Google.
>>> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie
>>> >> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>>> >> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>>> >> Visite este grupo em
>>> >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>>> >> Para ver esta discussão na web, acesse
>>> >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/C
>>> A%2Bob58PAzJtrRmRbxFCEd4iG2aARE7B%2BAKp4SespAD%2BgjkTcdQ%40m
>>> ail.gmail.com.
>>> >
>>> >
>>> >
>>> >
>>> > --
>>> > Valeria de Paiva
>>> >

Re: [Logica-l] mais uma história de sucesso made in Brazil

2017-01-12 Por tôpico Abílio

Fala Marcos
Parabens rapaz!
Tá no caminho certo!!
Aquele abraço
Abilio

2017-01-12 10:31 GMT-02:00 Marcelo Esteban Coniglio :
> Parabéns Marcos!!
>
> Grande abraço
>
> Marcelo
>
> Em 11 de jan de 2017 20:01, "Joao Marcos"  escreveu:
>>
>> Parabéns ao Marcos Silva, que acabou de ganhar o prêmio
>> "Junior Faculty Member" da Fulbright
>>
>> http://fulbright.org.br/wp-content/uploads/2016/02/Fulbright-Jr.-Faculty-Award-2016-2017.pdf
>> para ir dar uma mãozinha ao Robert Brandom lá em Pittsburgh
>> por quatro meses, este ano.
>> http://www.philosophy.pitt.edu/person/robert-brandom
>>
>> Agora só falta a barba, Marcos!
>> https://en.wikipedia.org/wiki/Beard#The_.22philosopher.27s_beard.22
>>
>> Abraços, JM
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjWd4RxSk7AF4R%3D85ThGc6hfjuS%2Bo2h%3D6E_3%3D4kAxD0kQ%40mail.gmail.com.
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D34WiT67BXm%3DusyuL0K2ipgJgrZUX%2BpnpqST1-gAwVBPvg%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD21bs3hY%2BLzOW24hbtZArHcyiqt%3DsRJuyKg8E%2BtEvj-Qjg%40mail.gmail.com.

[Logica-l] Fwd: Vaga de PNPD na UFG

2016-10-28 Por tôpico Abílio

segue noticia
abracos
-- Mensagem encaminhada --
De: "André Porto" <andre.porto@gmail.com>
Data: 28/10/2016 14:27
Assunto: Vaga de PNPD na UFG
Para: "João Vergilio Cuter" <jv-cu...@uol.com.br>, "Leonardo Ferreira
Almada" <leonardo.f.alm...@gmail.com>, "José Ferreirós" <jo...@us.es>,
"João Carlos Salles" <jcsal...@ufba.br>, "Lia Levy" <lial...@ufrgs.br>,
"Luiz Carlos" <l...@inf.puc-rio.br>, "Renato Rocha" <mendesro...@gmail.com>,
"Javier Legris" <javier.leg...@gmail.com>, "Alex Calazans" <
filoalexcalaz...@gmail.com>, "Alexandre Costa-Leite" <
afbcostale...@gmail.com>, "Felipe Weinmann" <weinmann.fel...@gmail.com>,
"Decio Krause" <deciokra...@gmail.com>, "Aron Barco" <aronba...@gmail.com>,
"Ludovic Soutif" <lsou...@gmail.com>, André Klaudat (UFRGS) <
klau...@ufrgs.br>, "Bento Prado" <t...@ufscar.br>, "Marco Ruffino" <
ruffinoma...@gmail.com>, "Waldomiro da Silva Filho" <wjsf.u...@gmail.com>,
"Felipe Meister" <maste...@filosofia.grad.ufg.br>, "Carlos Paiva" <
carlosanpa...@gmail.com>, "Abílio Rodrigues" <abilio.rodrig...@gmail.com>,
"Abel Lassalle Casenave" <abel.lassa...@gmail.com>, "Janyne Sattler" <
janynesatt...@yahoo.com.br>, "Antônio Marques" <marquesant...@gmail.com>,
"Anderson Nakano" <andersonnak...@gmail.com>, "Mauro Engelmann" <
mauroengelm...@gmail.com>, "Walter Carnielli" <walter.carnie...@gmail.com>,
"Priscilla Veiga Borges" <priscill...@hotmail.com>, "André Leclerc" <
alecl...@terra.com.br>, "Alfredo Storck" <alfredosto...@gmail.com>,
"Marcelo Carvalho (UNIFESP)" <carvalho.marc...@uol.com.br>, "Bruno Mundin
Bruno (aluno)" <taxino...@gmail.com>, "Alexandre Machado" <
alnor.mach...@gmail.com>, "Agnaldo Portugal" <agnald...@unb.br>, "Ernesto
Perine" <epsan...@fafich.ufmg.br>, "Chateaubriand" <oswa...@puc-rio.br>,
"Lucas Angioni" <angioni.lu...@gmail.com>, "Eduardo Barra" <
eduardosoba...@gmail.com>
Cc:

Pessoal:

Este email é só para informar que temos uma vaga para bolsista PNPD
em lógica, ou filosofia analítica, na faculdade de filosofia da UFG, de
dois anos, renovável por mais dois anos. Caso vocês conheçam alguém
interessado, é só botar o candidato em contato comigo (nesse email).
Abraço a todos,

André

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD21QTaPWiUdKEL-t8zyR0_qOHB7cMbS_WdGXQbP%3D_P2Tiw%40mail.gmail.com.

Re: [Logica-l] Vocês ja viram essa paródia? :)

2014-05-05 Por tôpico Abílio

Sensacional

Let's fire all the logicians we have not fired before. Heidegger
warned me about them.

On Mon, May 5, 2014 at 12:39 PM, Ana Cholodovskis
anacholodovs...@gmail.com wrote:
 Excelente!


 2014-05-05 11:16 GMT-03:00 Décio Krause deciokra...@gmail.com:

 Genial, Andréa.
 Obrigado

 

 Décio Krause
 Departamento de Filosofia
 Universidade Federal de Santa Catarina
 www.cfh.ufsc.br/~dkrause
 





 Em 05/05/2014, à(s) 10:57, Andrea Loparic alopa...@gmail.com escreveu:

  https://www.youtube.com/watch?v=mHD08tI0T30
  ___
  Logica-l mailing list
  Logica-l@dimap.ufrn.br
  http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] texto

2014-04-29 Por tôpico Abílio

Carissimos
Por acaso alguem teria o txt abaixo em pdf?
Abraços
Abilio


Negation and separation of concepts in constructive
systems, in A. Heyting, editor, Constructivity in
Mathematics, Proceedings of the Colloquium held in Amsterdam, NL,
1957, Studies in Logic and the Foundations of Mathematics. Amsterdam:
North-Holland, 1959.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Paper Lukasiewicz

2014-02-27 Por tôpico Abílio

Prezados
Alguem teria acesso ao paper
On the Principle of Contradiction in Aristotle
Jan Lukasiewicz and Vernon Wedin
The Review of Metaphysics
Vol. 24, No. 3 (Mar., 1971), pp. 485-509
http://www.jstor.org/discover/10.2307/20125812?uid=2uid=4sid=21103604252423
Abracos
Abilio
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Paper Lukasiewicz

2014-02-27 Por tôpico Abílio

Prezados
Ja recebi duas copias do paper, uma em ingles outra em portugues
Obrigado e abracos
Abilio

-- Forwarded message --
From: Abílio abilio.rodrig...@gmail.com
Date: 2014-02-27 13:52 GMT-03:00
Subject: Paper Lukasiewicz
To: Lista acadêmica brasileira dos profissionais e estudantes da área de
LOGICA logica-l@dimap.ufrn.br, Abilio Rodrigues Filho 
abilio.rodrig...@gmail.com

Prezados
Alguem teria acesso ao paper
On the Principle of Contradiction in Aristotle
Jan Lukasiewicz and Vernon Wedin
The Review of Metaphysics
Vol. 24, No. 3 (Mar., 1971), pp. 485-509
http://www.jstor.org/discover/10.2307/20125812?uid=2uid=4sid=21103604252423
Abracos
Abilio
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Filmes sobre lógica

2013-11-11 Por tôpico Abílio

carissimos
um filme nao exatamente sobre logica, mas sobre argumentacao em geral, e
excelente, eh 12 homens e uma sentenca (12 angry men)
abracos


2013/11/11 Joao Marcos botoc...@gmail.com

  Certamente há mais alguns exemplos, mas não consigo me lembrar de nada
 mais
  que tenha sido feito com mentalidade de lógico.

 Doch, ich weiss eine andere Frage!  As lições de Lógica infligidas
 ao personagem principal do Enigma de Kaspar Hauser são muito
 divertidas.  Para o trecho clássico com cavaleiros e cavilosos:
   http://www.youtube.com/watch?v=C9uqPeIYMik
 Por muito menos já se mataram professores de Lógica.  E tais
 criminosos mereceram a absolvição!

 Este site sobre filmes matemáticos em geral costumava ser muito bom:
   http://www.mathsmovies.com/
 Parece contudo que alguns links estão quebrados...

 JM

 --
 http://sequiturquodlibet.googlepages.com/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] artigo newton da costa

2013-10-24 Por tôpico Abílio

Prezados
Alguem teria disponivel um pdf do artigo do Newton
The philosophical import of paraconsistent logic (1982)
by N C A da Costa
The Journal of Non-Classical Logic, 1, 1-19
Abracos
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] (sem assunto)

2013-09-20 Por tôpico Abílio

Prezados
Tb gostaria de uma copia
Abracos
Em 20/09/2013 17:51, Décio Krause deciokra...@gmail.com escreveu:

 Se alguém achar, gostaria de uma cópia.
 Grato,
 Décio



 --
 Décio Krause
 Departamento de Filosofia
 Universidade Federal de Santa Catarina
 88040-900 Florianópolis - SC - Brasil
 http://www.cfh.ufsc.br/~dkrause
 --

 Em 20/09/2013, às 12:35, Diogo Dias diogo.bispo.d...@gmail.com escreveu:

  Olá a tod@s.
 
  Alguém tem o seguinte artigo, ou sabe onde encontrá-lo?
 
  A.I. Arruda, e N.C.A.da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim
  da Sociedade Matemática de Sao Paulo, vol. 18, fasc. 1 et 2 (1968), pp.
  83-89.
 
  Agradeço muito a ajuda!
 
  Abraços,
 
  Diogo Dias.
  ___
  Logica-l mailing list
  Logica-l@dimap.ufrn.br
  http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] artigo HPL

2013-05-13 Por tôpico Abílio

Prezados
Ja recebi o artigo
Muitissimo obrigado
Abracos
Abilio




2013/5/12 Abílio abilio.rodrig...@gmail.com

 Caros colegas
 Alguem teria o artigo abaixo?
 History and Philosophy of Logic
 Volume 29, Issue 2, 2008
 On Inversion Principles
 Enrico Moriconia  Laura Tesconia
 Abracos
 Abilio

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] paper studia logica

2013-03-25 Por tôpico Abílio

Prezados colegas,
Alguem o paper
Studia Logica Volume 80, Issue 2-3, August 2005
Dual Intuitionistic Logic and a Variety of Negations: The Logic of
Scientific Research
Yaroslav Shramko
Abracos
Abilio
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] txt lindstrom

2012-07-03 Por tôpico Abílio

Ola para todos
Alguem teria o txt do Per Lindstrom, 'Quasi-Realism in Mathematics'?
O link eh 
http://secure.pdcnet.org/monist/content/monist_2000_0083_0001_0122_0149
Mas nao tenho acesso
Abracos
Abilio
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Minha posição

2012-01-24 Por tôpico Abílio

a abf nao eh seria
e eh dificil separar a abf, e seu dirigente, da picaretagem do tal projeto
mas isso poderia gerar discussoes inuteis
o pto central nao diz respeito ao dirigente da abf
ha dois pontos:
1. deixar claro o repudio ao tal projeto de lei
2. deixar claro q a abf nao representa aqueles q trabalham com
filosofia no brasil





2012/1/24 Joao Marcos botoc...@gmail.com:
 A amizade é uma coisa belíssima, mas... é a ABF uma instituição séria,
 e uma instituição com a pretensão de representar a classe dos
 Filósofos profissionais?

 JM

 2012/1/24 Francisco Antonio Doria famado...@gmail.com:
 Primeiro, ainda que tenha um diploma em engenharia química, sou contra
 restringir o exercício de qualquer profissão a quem quer que seja. Há
 maneiras melhores - falhas, mas melhores - que o diploma para garantir
 qualidade na profissão.

 Sou membro da ABF, como o Newton. Entramos praticamente juntos, em 2005 e
 2006. Na ABF tem gente muito boa, como Ricardo Vélez Rodriguez e Maria
 Beltrão. E tem gente menos boa. Tem personalidades, como Nélida Piñon,
 Rouanet, ou Merval Pereira. Etc, vejam a lista online.

 Não fui consultado a respeito desse projeto, e sou obviamente contra. Mas
 duvido que avance muito na câmara; vai morrer nalguma comissão. Se for
 perguntado a respeito, vou dizer exatamente isso: sou contra. Mas sou amigo
 do Moderno, gosto dele, e prezo mais a amizade que posições políticas.
 Essas mudam, enquanto uma boa e honesta amizade permanece e vale mais.

 --
 fad

 ahhata alati, awienta Wilushati
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 --
 http://sequiturquodlibet.googlepages.com/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] projeto de lei que ‘regulamenta a profissão de filósofo'

2012-01-24 Por tôpico Abílio

um bom txt, publicado no blog do nassif, sobre a abf etc.

http://www.advivo.com.br/blog/luisnassif/profissao-de-filosofo-e-a-inacreditavel-abf





2012/1/24 Eduardo Ochs eduardoo...@gmail.com:
 Ainda dá tempo de eu pedir desculpas pela mensagem que eu acabei de
 mandar? 8-(

 Eu não consigo desligar o meu pessimismo, que diz que estamos
 cercados por todos os lados, de gente que vai dizer que qualquer
 atividade sem pé nem cabeça tem que ser considerada válida e ser
 regulamentada porque faz bem pra alguns, que quem se especializou
 nela sabe mais sobre ela do que nós e quem somos nós pra julgar os
 outros?... mas eu só tinha lido umas poucas das últimas mensagens,
 não tinha visto o contexto todo e nem que já havia uma moção de
 repúdio muito bem escrita:

   http://www.dimap.ufrn.br/pipermail/logica-l/2012-January/006932.html

 Abraços constrangidos,
   Eduardo Ochs
   eduardoo...@gmail.com
   http://angg.twu.net/

 2012/1/24 Eduardo Ochs eduardoo...@gmail.com:
 O que vocês acham pior, terapeutas quânticos, terapeutas filosóficos
 ou homeopatas? E será que vão começar a dar pontuação para experiência
 com terapia filosófica nos concursos pra Filosofia? 8-|
  [[]], Eduardo

 2012/1/24 Walter Carnielli walter.carnie...@gmail.com:
 Oi Rodrigo,
  para  pensar  não, quem se  interessa  por isso?
 Mas  para arrumar  emprego vai ser  mais difícil  ainda!
 abs,

 Walter

 Em 24 de janeiro de 2012 13:31, Rodrigo Freire freires...@gmail.com 
 escreveu:
 Eu já ri muito desse negócio. Caso seja aprovado será que vão processar
 alguém por pensar?

 Rodrigo

 2012/1/24 Joao Marcos botoc...@gmail.com

 É tão completamente absurdo que chega a ser divertido... (de se torcer
 para que acabe em Churrasco)

 http://www.advivo.com.br/blog/luisnassif/profissao-de-filosofo-e-a-inacreditavel-abf

 A propósito, alguém já cogitou protestar contra o Projeto de Lei que
 cria a Profissão  de Terapeuta Holístico e Programa de Serviços de
 Terapia em hospitais públicos, de autoria do mesmo deputado?
  http://www.giovanicherini.com/kokhmaha.php

 Finalmente, será que alguém gostaria de dizer algo aqui _em defesa_ da 
 ABF?

 JM


 2012/1/24 Abílio abilio.rodrig...@gmail.com:
  Olá para todos.
 
  Abaixo uma pequena amostra do projeto que está no congresso que
  pretende 'regulamentar a profissão de filósofo’.
 
  Art. 1º - O exercício, no País, da profissão de Filósofo, observadas
  as condições de habilitação e as demais exigências legais, é
  assegurado:
  (...)
  f) aos membros titulares da Academia Brasileira de Filosofia e aos por
  ela diplomados em cursos de graduação bacharelado e licenciatura,
  mestrado e doutorado.
 
  Art. 3º - Os órgãos públicos da administração direta ou indireta ou as
  entidades privadas, quando encarregados da elaboração e execução de
  planos, estudos, programas e projetos socioeconômicos ao nível global,
  regional ou setorial, manterão, em caráter permanente, ou enquanto
  perdurar a referida atividade, Filósofos legalmente habilitados, em
  seu quadro de pessoal, ou em regime de contrato para prestação de
  serviços.
 
  Art. 7º - A Academia Brasileira de Filosofia, com sede na cidade do
  Rio de Janeiro, é a representante da filosofia e língua filosófica
  nacionais.
 
  O texto completo pode ser acessado a partir da página abaixo.
 
 http://www.camara.gov.br/proposicoesWeb/fichadetramitacao?idProposicao=523870
 
  No link
 
 http://www.change.org/petitions/abaixo-assinado-contra-a-regulamentao-de-filsofo-como-profisso-contra-a-regulamentao-de-filsofo-como-profisso
  há um abaixo assinado de repúdio.
 
  Abraços
  Abílio

 --
 http://sequiturquodlibet.googlepages.com/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 --
 ---
 Prof. Dr. Walter Carnielli
 Director
 Centre for Logic, Epistemology and the History of Science – CLE
 State University of Campinas –UNICAMP
 13083-859 Campinas -SP, Brazil
 Phone: (+55) (19) 3521-6517
 Fax: (+55) (19) 3289-3269
 Institutional e-mail: walter.carnie...@cle.unicamp.br
 Website: http://www.cle.unicamp.br/prof/carnielli
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Continentais x analíticos (x paraconsistência, agora...)

2011-12-08 Por tôpico Abílio

ola para todos

(+ 1) breve observacao

a meu ver, a distincao cont/analitica so faz sentido do pto de vista didatico

eh util separar alguns autores em disciplinas distintas - por ex.,
russell-frege-wiitt em um curso e husserl-heid-etc.

eh tbem uma divisao politica em alguns departamentos

fora isso, nao faz sentido algum. por duas razoes (q ja foram mencionadas aqui)
1. ha filosofia e ideias boas e ruins nos 2 lados
2. boas ideias muitas vezes combinam o q seriam as caracteristicas
distintivas usuais de cada 'corrente'

abraços


2011/12/8 Manuel Doria manueldo...@gmail.com:
 Prezado Walter, esse site insano do negacionista da bomba atômica e do
 projeto Apollo eu infelizmente já conhecia há muito tempo!

 Defendo que a distinção entre analíticos e continentais deve ser vista em
 termos de semelhança de família. Rigor formal, uso de lógica matemática,
 delineação cuidadosa de premissas e inspiração nas ciências naturais para
 defesa de teses filosóficas por exemplo são características melhor
 clusterizadas na tradição anglo-austro-americana contemporânea, mas
 obviamente há grandes exceções.

 Eu encontro em filósofos analíticos neo-escolasticismo e ojeriza à ciência
 às vezes tão hostil quanto a de pós-modernos e desconstrucionistas. Por
 exemplo, esse excerto de J.P. Moreland:

 I recognize that physicists talk about a multitude of spatial dimensions.
 In my view, the scientific notion of an extra dimension of space is a
 mere mathematical
 devise, a formal definition with no material content that can intelligibly
 be ascribed to reality, and theories that employ such language should be
 understood in anti-realist terms. When scientists speak of multi-
 dimensionality with respect to space, they say things like the following:
 there are millions of dimensions of space, there could be an infinitely
 small volume, mass and space are literally interchangeable, triangles can
 be identical to circles, that a one dimensional line (a string) could
 literally have clockwise vibrations in ten dimensions of space and
 counterclockwise vibrations in twenty-six space dimensions. I find such
 language unintelligible, and while the problem may be my lack of
 imagination, I suspect that others may agree with me.


 Um forte abraço.

 2011/12/8 Walter Carnielli walter.carnie...@gmail.com

 Amici miei:

 já que a  discussão está  beirando a psicanálise, com padres  castos
 tarados e coisas do gênero, não custa dar  uma  opinião  definitiva: na
 verdade, não há distinção  alguma entre   analítico  e continentais.  O
 único  critério são os títulos das  obras  famosas: enquanto alguns
 versam sobre  truth, falsity,  word, worlds, consequence, e
  outras coisas que a gente  *poderia* saber  o que é, outros  versam sobre
  coisas que *certamente*  não sabemos o que é.


 Exemplos:

 Merleau-Ponty: L’Œil et l’esprit
 Jacques Derrida : L'Archéologie du frivole
 Hegel: Fenomenologia do Espírito
 Derrida: L'animal que, donc, je suis
 Deleuze: A Lógica do Sentido
 Guattari:  Mil Platôs

 Os  primeiros são analíticos, e  os  segundos  continentais. Escolha  um
 bom título, e defina sua tribo!

 Outra dica é usar uma  bela  keyword;  tudo com Sein   já foi usado:
 Dasein, Sein-zum-Tode, Mitsein...

 mas com  imaginação se  acha outra :-)

 Enquanto isso, aproveitando que os ânimos estão  seremos, talvez  alguém
 possa dizer algo sobre  essa  coisa  incrível aqui:

 http://www.afraudedoseculo.com.br/

  Penso no (plausível) padre casto que faz sermões sobre sexo...
  Sent from my iPhone

 abs,

 Walter
 ---
 Prof. Dr. Walter Carnielli
 Director
 Centre for Logic, Epistemology and the History of Science – CLE
 State University of Campinas –UNICAMP
 13083-859 Campinas -SP, Brazil
 Phone: (+55) (19) 3521-6517
 Fax: (+55) (19) 3289-3269
 Institutional e-mail: walter.carnie...@cle.unicamp.br
 Website: http://www.cle.unicamp.br/prof/carnielli
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Teoremas de Gödel

2011-12-02 Por tôpico Abílio

Ola para todos.
Um breve comentario.
Esses equivocos q foram mencionados aqui, e causaram uma reacao
indignada de alguns, q na verdade eu compartilho, é quase regra nas
salas de aula dos deptos de filosofia. Digo ‘quase’ para preservar
umas poucas excecoes. ‘Aulas’ sobre Foucault, Deleuze, Heidegger,
Hegel, Derrida… – basicamente os franceses e os chamados
‘continentais’.
E vejam, me refiro aos deptos de universidades como UERJ, UFRJ,
Puc-Rio. E uotras claro, basta dar uma olhada nos respectivos eventos.
São situacoes que não da pra ter uma discussao ou debate.
Eu parrticularmente acho q o q resta a fazer a quem trabalha com
lógica, ou filosofia da lógica, e também pra quem trabalha seriamente
com filosofia, é fazer o próprio trabalho. Que inclui
preparar/instruir os alunos, de modo q eles possam assumir uma postura
crítica, mas sem caracterizar aquela história de ‘nós contra eles’,
quero dizer ‘analiticos contra continentais’ ou ‘logicos formais
contra heideggerianos/hegelianos’ etc.
Abraços
Abilio

2011/12/2 Walter Carnielli walter.carnie...@gmail.com:
Olá Rodrigo,

até entendo sua inquietação, mas não vejo que tenhamos que ser a
Tropa de Elite da Lógica. Participar de uma Lista não impõe a
ninguém, menos ainda a uma Sociedade, a obrigação de apontar e
consertar bobagens.

Há muita (mas muita mesmo) gente competente nessa lista que
poderia escrever uma resenha, até bem mais crítica que a do Newton.
Mas escrever uma crítica dá um imenso trabalho, e nao acho que
possa ser feito no vapt-vuptde uma lista de Internet.
De certa forma o Newton já disse o que o livro é.

Ele foi bonzinho, como costuma ser quando escreve (só quando escreve
:-) ) e fez uma
aposta no futuro: Não obstante os reparos acima, o livro merece
leitura atenta (em futuras edições, certamente será corrigido).
Não sei como ele sabe que será corrigido,mas apostou... e acho que
vai perder.

Abs,

Walter

Em 2 de dezembro de 2011 00:50, Rodrigo Oliveira
rodrigo@hotmail.com escreveu:

Parece estranho ter o dever de elucidar bobagens, Walter. De fato.Mas não
são bobagens inocentes e nem ditas por uma pessoa destituída de
autoridade.Enfim, acho que alguém competente no assunto deveria se
manifestar.
Me lembrei da resenha do livro da Rebecca escrita pelo
Newton:http://www.estadao.com.br/noticias/impresso,a-rigorosa-logica-kafkiana-de-godel,331420,0.htm
Abraço
Rodrigo

Date: Fri, 2 Dec 2011 00:28:44 -0200
Subject: Re: [Logica-l] Teoremas de Gödel
From: walter.carnie...@gmail.com
To: rodrigo@hotmail.com
CC: logica-l@dimap.ufrn.br

A Sociedade Brasileira de Lógica tem obrigação de elucidar bobagens?
Escreva para a Presidente (ou Presidenta, se voce preferir) e
coloque seu pleito!

E quem é o representante do grupo de lógica? Qual grupo?
Abs,

Walter

Em 2 de dezembro de 2011 00:20, Rodrigo Oliveira
rodrigo@hotmail.com escreveu:

Se eu fosse uma autoridade em lógica eu postaria no blog, me
identificando e enumerava os pontos em que ela está equivocada.Acho que é
dever do representante do grupo de lógica ou da sociedade brasileira de
lógica fazer isso.
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

--
---
Prof. Dr. Walter Carnielli
Director
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Fax: (+55) (19) 3289-3269
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Teoremas de Gödel

2011-12-02 Por tôpico Abílio

so um esclarecimento
nao falei de heidegger, hegel, foucault...
falei DAS AULAS sobre heid, hegel...

2011/12/2 Francisco Antonio Doria famado...@gmail.com:
Gosto muito de Heidegger. Aos 24 anos escrevi e publiquei um livro
heideggeriano, O Corpo e a Existência, que até hoje considero como um de
meus melhores trabalhos. E me sinto muito desconfortável com a filosofia
analítica; parece-me seca, árida, sem sabor.

Já o disse aqui: conheci Foucault, pessoa encantadora; muito amigo do
psicanalista Chaim Katz, que o hospedava no Rio. E gosto da obra dele.

2011/12/2 Abílio abilio.rodrig...@gmail.com

2011/12/2 Walter Carnielli walter.carnie...@gmail.com:
Olá Rodrigo,

Abs,

Walter

Em 2 de dezembro de 2011 00:50, Rodrigo Oliveira
rodrigo@hotmail.com escreveu:

Parece estranho ter o dever de elucidar bobagens, Walter. De fato.Mas
não são bobagens inocentes e nem ditas por uma pessoa destituída de
autoridade.Enfim, acho que alguém competente no assunto deveria se
manifestar.
Me lembrei da resenha do livro da Rebecca escrita pelo
Newton:http://www.estadao.com.br/noticias/impresso,a-rigorosa-logica-kafkiana-de-godel,331420,0.htm
Abraço
Rodrigo

Date: Fri, 2 Dec 2011 00:28:44 -0200
Subject: Re: [Logica-l] Teoremas de Gödel
From: walter.carnie...@gmail.com
To: rodrigo@hotmail.com
CC: logica-l@dimap.ufrn.br

A Sociedade Brasileira de Lógica tem obrigação de elucidar
bobagens?
Escreva para a Presidente (ou Presidenta, se voce preferir) e
coloque seu pleito!

E quem é o representante do grupo de lógica? Qual grupo?
Abs,

Walter

Em 2 de dezembro de 2011 00:20, Rodrigo Oliveira
rodrigo@hotmail.com escreveu:

Se eu fosse uma autoridade em lógica eu postaria no blog, me
identificando e enumerava os pontos em que ela está equivocada.Acho
que é
dever do representante do grupo de lógica ou da sociedade brasileira de
lógica fazer isso.
Rodrigo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Teoremas de Gödel

2011-12-02 Por tôpico Abílio

sem duvida q a distincao analitico/continental eh equivocada, mas
ainda existe em mtos dptos espalhados por ai
mas acho q nao fui bem compreendido, pois falei justamente em NAO
caracterizar disputas desse tipo
e os grandes filosofos tem q ser estudados mesmo, claro
mas da mesma forma q ha leituras equivocadas de aspectos filosoficos
de resultados da logica, ha leituras equivocadas desses caras, q
alimentam coisas como o blog aqui mencionado.
e o meu ponto eh o seguinte: o q resta a fazer eh esclarecer da melhor
forma os alunos para q eles possam se posicionar diante desses
equivocos.
ok?
abraços

2011/12/2 Rodrigo Oliveira rodrigo@hotmail.com:

Sabia que gostava de Heidegger, mas não que tivesse um trabalho sobre
ele...Pode falar mais dele? Em todo caso vou adquirir o livro para dar uma
olhada.
Interessados:
http://www.estantevirtual.com.br/q/francisco-antonio-doria-o-corpo-e-a-existencia-uma-psicanalise-do-quotidiano

Agora não há problema algum com Heidegger, Foucault, Hegel... muito pelo
contrário, eles são pontos de luz.Essa briga analíticos versus continentais
não existe mais, grandes nomes em filosofia hoje conhecem e dialogamcom os
dois lados, vide: Karl Otto-Apel, Habermas, Ernst Tugendhat, Vitorio Hösle,
Alain Badiou...No Brasil Cirne-Lima, Margutti, Ernildo Stein, Manfredo Araujo
de Oliveira e etc.
Rodrigo
Date: Fri, 2 Dec 2011 11:40:27 -0200
From: famado...@gmail.com
To: abilio.rodrig...@gmail.com
CC: logica-l@dimap.ufrn.br
Subject: Re: [Logica-l] Teoremas de Gödel

Gosto muito de Heidegger. Aos 24 anos escrevi e publiquei um livro
heideggeriano, O Corpo e a Existência, que até hoje considero como um de
meus melhores trabalhos. E me sinto muito desconfortável com a filosofia
analítica; parece-me seca, árida, sem sabor.

Já o disse aqui: conheci Foucault, pessoa encantadora; muito amigo do
psicanalista Chaim Katz, que o hospedava no Rio. E gosto da obra dele.

2011/12/2 Abílio abilio.rodrig...@gmail.com

2011/12/2 Walter Carnielli walter.carnie...@gmail.com:
Olá Rodrigo,

Abs,

Walter

Em 2 de dezembro de 2011 00:50, Rodrigo Oliveira
rodrigo@hotmail.com escreveu:

Parece estranho ter o dever de elucidar bobagens, Walter. De fato.Mas
não são bobagens inocentes e nem ditas por uma pessoa destituída de
autoridade.Enfim, acho que alguém competente no assunto deveria se
manifestar.
Me lembrei da resenha do livro da Rebecca escrita pelo Newton:
http://www.estadao.com.br/noticias/impresso,a-rigorosa-logica-kafkiana-de-godel,331420,0.htm
Abraço
Rodrigo

Date: Fri, 2 Dec 2011 00:28:44 -0200
Subject: Re: [Logica-l] Teoremas de Gödel
From: walter.carnie...@gmail.com
To: rodrigo@hotmail.com
CC: logica-l@dimap.ufrn.br

A Sociedade Brasileira de Lógica tem obrigação de elucidar
bobagens?
Escreva para a Presidente (ou Presidenta, se voce preferir) e
coloque seu pleito!

E quem é o representante do grupo de lógica? Qual grupo?
Abs,

Walter

Em 2 de

Re: [Logica-l] Fwd: Colóquio sobre Metaphysical Logic na UFRJ

2011-03-30 Por tôpico Abílio

Fala Marcos, tudo beleza?
Metaphysical logic é algo como metafisica da logica. Isto é, problemas
metafisicos q dizem respeito aa logica, q nada mais é do q uma outra maneira
de chamar os problemas filosoficos q dizem respeito aa logica.
Ou visto de outra forma, seria a 'intersecao' entre a logica e a metafisica,
o q no fim das contas da no mesmo - problemas metafisicos (filosoficos)
relacionados aa logica.
Agora, se existem tais problemas, ou se de fato exietem problemas metaficos,
é outra historia...
Abraços
Abilio

2011/3/30 Joao Marcos botoc...@gmail.com

 2011/3/30 Alessandro Bandeira Duarte dedekin...@gmail.com:
  Está pergunta é retórica?

 Bom, depende do que você chama de retórica...

 Nos últimos 15 anos em que tenho trabalhado no assunto, já vi a
 palavra logic precedida de adjetivos os mais variados: classical,
 modal, dynamic, epistemic, deontic, intuitionistic,
 philosophical etc.  É mesmo uma vergonha perguntar, ou escapou-me
 que a terminologia metaphysical logic se encontra bem estabelecida e
 acordada?

 ( O primeiro link que o Google me sugere quando escrevo metaphysical
 logic e clico em Estou com sorte é um paper que aparentemente trata
 de lógica e o mundo dos espíritos:
 http://www.cihs.edu/journal/Vol2No1/MetaphysicalLogic.pdf )

 Joao Marcos


  On Wednesday 30 March 2011 18:37:14 Joao Marcos wrote:
  Está para ocorrer um (o primeiro) colóquio sobre Metaphysical Logic na
  UFRJ.
 
  Alguém saberia me explicar *o que é* Metaphysical Logic?
 
  jm
 
 
  -- Forwarded message --
  From: Boletim Anpof nao-respo...@anpof.org.br
 
 
  1st Colloquium on Metaphysical Logic
  Federal University of Rio de Janeiro - UFRJ
 
  Thursday March 31
 
  9:30 - 11:00
  Gonzalo Rodriguez-Pereyra (University of Oxford)
  Leibniz on the identity of indiscernibles and the tabula rasa
 
  11:00 - 11:15 Break
 
  11:15 - 12:45
  Rodrigo Bacellar (University of Sao Paulo)
  The Problem of Relations
 
  12:45 - 14:15 Lunch
 
  14:15 - 15:45
  Abilio Rodrigues (Federal University of Minas Gerais)
  Truthmakers for necessary propositions
 
 
  Friday April 1
 
  14:00 - 15:30
  Gonzalo Rodriguez-Pereyra (University of Oxford)
 
  Resemblance Nominalism, conjunctions and truthmakers
 
  15:30 - 15:45 Break
 
  15:45 - 17:15
  Pedro Santos (Federal University of Sao Paulo)
  A ground-theoretic version of Bradley's regress
 
  Location
  IFCS/UFRJ
  Room 320B
 
  Organization
  Prof. Dr. Guido Imaguire
  Prof. Dr. Pedro Santos
  Prof. Dr. Rodrigo Bacellar
  ___
  Logica-l mailing list
  Logica-l@dimap.ufrn.br
  http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
  ___
  Logica-l mailing list
  Logica-l@dimap.ufrn.br
  http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
 



 --
 http://sequiturquodlibet.googlepages.com/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: Nova portaria permite ao bolsista exercer atividade remunerada

2010-07-19 Por tôpico Abílio

Ola para todos
Abaixo, noticia relevante.
Abraços
A.



http://g1.globo.com/vestibular-e-educacao/noticia/2010/07/capes-e-cnpq-decidem-autorizar-atividade-remunerada-bolsistas.html


 -- Forwarded message --
 From:  corr...@ufsj.edu.br
 Date: 2010/7/16
 Subject: Nova portaria permite ao bolsista exercer atividade remunerada
 To:


 A partir desta sexta-feira, 16, os bolsistas da Capes e do CNPq
 matriculados em programa de pós-graduação no país poderão receber
 complementação financeira, proveniente de outras fontes, desde que se
 dediquem a atividades relacionadas à sua área de atuação e de
 interesse para sua formação acadêmica, científica e tecnológica,
 especialmente quando se tratar de docência como professores nos
 ensinos de qualquer grau.

 Para receber a complementação financeira ou atuar como docente, o
 bolsista deve obter autorização, concedida por seu orientador,
 devidamente informada à coordenação do curso ou programa de
 pós-graduação em que estiver matriculado e registrada no Cadastro
 Discente da Capes.

 Mais informações

http://www.capes.gov.br/servicos/sala-de-imprensa/36-noticias/3958-nova-portaria-permite-acumulo-de-bolsas-com-atividades-remuneradas
.

  Fonte: Assessoria de Imprensa da Capes

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] frege - leis basicas da aritmetica em espanhol

2010-02-22 Por tôpico Abílio

Ola para todos.
Alguem teria em pdf, ou saberia onde encontrar, uma traducao das Leis
Basicas da Aritmetica, do Frege (1893) em espanhol?
Abraços
Abilio
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] paper van dantzig

2009-05-21 Por tôpico Abílio

Ola para todos.

Alguem teria um pdf do txt abaixo?

Is 10**(10**10) a finite number?
van Dantzig
1956 Dialectica vol.9 p. 273

Abraços

A.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Concurso - prof. substituto - logica

2009-03-06 Por tôpico Abílio

Concurso para prof. substituto de filosofia - subarea logica.
Universidade Federal de Sao Joao Del-Rei, Campus Alto Paraopeba, Ouro Branco, MG
Inscricoes 12 e 13 de março de 2009
Edital: 
http://www.ufsj.edu.br/portal-repositorio/File/diapa/CPD0302009SUBSTFILCAAP.pdf
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Concurso para Prof. Adjunto em Minas Gerais

2009-02-18 Por tôpico Abílio

Olá para todos.

Haverá mais um concurso público para vaga de professor adjunto de
Filosofia do Campus Alto Paraopeba da Univ. Federal de Sao Joao
Del-Rei, MG.
Área: filosofia da ciencia.

O edital está no link
http://www.ufsj.edu.br/portal-repositorio/File/diapa/2009/CPD012.pdf

Lembrando q o campus Alto Paraopeba fica na cidade de Ouro Branco, a
aproximadamente 25km de Ouro Preto, 100 km de Belo Horizonte e 370km
do Rio de Janeiro.

As inscrições serão de 02 a 27 de março de 2009 e podem ser feitas por SEDEX.

Abraços

Abilio Rodrigues Filho
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] JvH e a lenda do Frege com papai da logica moderna

2009-01-24 Por tôpico Abílio

olapara todos
q o '''real''' papel de Frege (ou qquer outro nome importante) na
logica moderna seja revisto, estudado, questionado etc. eh bem legal.
temos uma perspectiva hj q nao havia ha 40, 50 anos, eh claro.
mas peraí, nao eh um pouco demais dizer q eh ABSURDO o Frege ser
considerado o pai da logica moderna?
abraços
A.

2009/1/24 Adolfo Neto adolfo@gmail.com:
 Oi Jean-Yves e lista,


 Estou lendo O advento do algoritmo, de David Berlinski.

 Na página 155 ele escreve que Gödel estabeleceu sua reputação demonstrando,
 em sua tese de doutorado na Universidade de Viena, que o cálculo de
 predicados - o sistema de inferências que Frege idealizou - é completo.
 Isto está errado?

 []s
 Adolfo

 ==
 Adolfo Neto
 Departamento Acadêmico de Informática
 Universidade Tecnológica Federal do Paraná
 Fone: (41) 3310-4644 / Fax: (41) 3310-4646
 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
 Blog: http://professoradolfo.blogspot.com
 ==



 2009/1/24 Francisco Antonio Doria famado...@gmail.com

 Vida maravilhosa, aliás, J.-Y. ...

 On Sat, Jan 24, 2009 at 9:25 AM, BEZIAU Jean-Yves
 jean-yves.bez...@unine.ch wrote:

 Continuando meu e-mail de ontem:

 Jean van Heijennort promoveu a lenda do Frege
 com papai  da logica moderna,
 uma lenda totalemente absurda
 tanto absurda talvez que a propra vida do JvH
 que foi guarda costa e secretaria do Trotsky,
 amante da Frida Kahlo,
 assassinado pela terceira e quarta mulher
 - se casou duas vezes com ela -
 quando tinha perto de 80 anos.
 (Sobre Jvh, pode ver a entrada da wikipedia onde tem boas referencias)

 O trabalho do Jvh sobre historia de logica moderna
 foi importante mas deformou muito a realidade,
 em particular botou do lado as contribucoes muito importante de
 - Boole, Venn, a escola ingles
 - Schröder, Peirce, a algebra da logica
 - Tarski e a escola polonase

 Vamos analisar um pouco o papel de Frege no desenlvovimento da logica
 moderna:

 Influencia do Frege sobre Gödel: zero
 O Gödel foi influenciado por Hilbert, Tarski e Herbrand.

 Influencia do Frege sobre Tarski: zero
 Tarski foi o grande promotor da logica no seculo vinte
 em particular atraves da escola que ele desenvolveu na California
 centrada na teoria dos modelos
 A teoria dos modelos - o fato que uma teoria pode ter varios modelos -
 é uma teoria totalemente oposto as ideias do Frege.

 Influencia do Frege sobre desenvolvimento da logicas non classicas: zero

 Inflruncia do Frege sobre desenlvovimento da computacao (intelligencia
 artifcial, etc): zero
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Frege vs Peirce

2009-01-24 Por tôpico Abílio

Ola para todos.

Yves, eu acho essa sua posicao muito extremada, por varias razoes.

em primeiro lugar, a importancia de um filosofo (logico, matematico
etc.) nao se avalia apenas pelas referencias diretas entre ele e os
posteriores. estas sao importantes, mas, no caso de Frege, eh preciso
considerar tbem a obra propriamente dita.

apresentar pela primeira vez um sistema completo de log de 1a ordem,
resolver o problema do tratamento unificado da log de predicados e da
log proposicional, apresentar um tratamento da quantificacao multipla
- isso foi feito por Frege na Begriffsschrift, certo? e isso nao eh
pouca coisa.
o papel de Frege eh superestimado? eh possivel, provavel tvz, mas,
novamente, devagar, nao vamos trocar uma poscao extremada por outra
tbem extremada.

outra coisa. a questao nao eh bem 'nao saber nada da historia da
logica moderna', mas ter uma determinada perspectiva da logica
moderna, ou vir a compreender melhor o desenvolvimento da logica
moderna.
nao eh por achar q a contribuicao de Frege foi importante a ponto de
Frege poder ser considerado o 'pai da logica moderna' q alguem 'nao
sabe nada da historia da logica moderna'.

abraços

2009/1/24 BEZIAU Jean-Yves jean-yves.bez...@unine.ch:
E realemente absurdo considerar que o Frege
é o pai da logica moderna.
O mais absurdo é as pessoas repetir isso,
acreditra nisso
sem saber nada da historia de logica moderna.

Comparar o Peirce com o Frege:
- ele conceptualizou a nocao de tabela de verdade
- tive a ideia da logica polivalente
- anticipou o teoremo de Löwenheim-Skolem
- desenlvolveou a teoria da quantificacao
- foi o fundador da semiotica
(o trabalhou dele sobre isso à muito mas subtil
que a differencia de sentido e referencia do Frege)
- trabalhou em todas aereas: chimia, matematica, logica, filosfofia,
linguistica ...

Abílio abilio.rodrigues em gmail.com
mailto:logica-l%40dimap.ufrn.br?Subject=%5BLogica-l%5D%20JvH%20e%20a%20lenda%20do%20Frege%20com%20papai%20da%20logica%20modernaIn-Reply-To=1ddaf5de0901240546h21ef2b91ndde0c376d1e4c0ca%40mail.gmail.com
Sábado Janeiro 24 12:20:47 BRT 2009

* Mensagem anterior: [Logica-l] JvH e a lenda do Frege com papai da logica
moderna http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/003387.html
* Próxima mensagem: [Logica-l] RE : JvH e a lenda do Frege com papai da
logica moderna
http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/003389.html
* Mensagens classificadas por: [ date
]http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/date.html#3388 [
thread
]http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/thread.html#3388
[ subject
]http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/subject.html#3388
[ author
]http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/author.html#3388

olapara todos
q o '''real''' papel de Frege (ou qquer outro nome importante) na
logica moderna seja revisto, estudado, questionado etc. eh bem legal.
temos uma perspectiva hj q nao havia ha 40, 50 anos, eh claro.
mas peraí, nao eh um pouco demais dizer q eh ABSURDO o Frege ser
considerado o pai da logica moderna?
abraços
A.

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Livro O Conhecimento Científico , Newton da Costa

2009-01-16 Por tôpico Abílio

Pelo menos tres livros do prof.Newton foram relancados pelo Hucitec em
2008, nao sei se esse tbem foi.
Abraços
A.

2009/1/16 Paulo - yahoo psdi...@yahoo.com.br:
 Álvaro:

Estou tentando adquirir o livro O Conhecimento Científico, do prof.
Newton
da Costa, publicado pela Discurso Editorial em 1997, mas não está muito
fácil. Até agora não o encontrei em livrarias, sebos e nem no site da
editora, pois o livro está esgotado. Se alguém puder me ajudar, agradeço.

 Há um exemplar no site Estante Virtual:

 http://www.estantevirtual.com.br/mod_perl/info.cgi?livro=18153050

 Os dados que aparecem no site são estes:

 O Conhecimento Científico
 Newton da Costa  R$ 240,00
 editora: Discurso Editorial
 ano: 1999
 estante: Filosofia
 meta-estante: Filosofia
 peso: 520g
 cadastrado em: sexta-feira, 16/1/2009. 10:39:52
 descrição: Muito bom estado de conservação. Sem sinais de leitura.

 Nome da Livraria :  Sebo Athenas (São Paulo, Butantã)

 Paulo



 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] tablos e ded. natural

2008-11-02 Por tôpico Abílio

Ola para todos.
Alguem poderia me sugerir material sobre traducao de provas por tablos
para provas em ded. natural?
Abraços
A.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] tablos

2008-10-12 Por tôpico Abílio

Ola para todos.
Alguem teria em pdf o Handbook of Tableau Mathods do Gabbay e outros?
Parece q tem no emule, mas nao estou conseguindo baixar.
Alias, se alguem puder indicar, alem do Smullyan, bibliografia sobre tablos
eu agradeco.
Abraços
A.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Anti-Virus

2008-10-06 Por tôpico Abílio

Ola para todos.
Estou usando um anti-virus gratuito, Avira, q tem (aparentemente)
funcionado muito bem. Ele 'pega' coisas q o AVG nao pega, alem de ser
leve. Parei de usar o Norton pq ele de fato compromete o desempenho.
Abraços
A.

2008/10/5 Alvaro Augusto (L) [EMAIL PROTECTED]:
 Décio,

 Se você for comprar um antivírus, recomendo o Kaspersky, não o Norton. Custa
 40 euros, enquanto o Norton custa R$ 79, mas o Kaspersky não afeta tanto o
 desempenho do computador e tem sido melhor avaliado. Dê uma olhada em
 http://www.kasperskystore.com.pt (não sou acionista...:-).

 [ ]s

 Alvaro Augusto



 - Original Message -
 From: Décio Krause
 To: [EMAIL PROTECTED]
 Cc: logica-l@dimap.ufrn.br
 Sent: Sunday, October 05, 2008 2:19 PM
 Subject: Re: [Logica-l] Anti-Virus
 Pessoal da lista
 Quanto ao meu pedido, estou recebendo dicas legais, pelas quais agradeço.
 Mas *surpreendentemente*, eu mesmo consegui Mas é uma sacanagem, está
 nem escondidinho, dentro de n páginas
 Obrigado a todos, e se quiserem continuar dando dicas, fiquem à vontade...
 Abraços,
 Décio

 2008/10/5 [EMAIL PROTECTED]

 Décio, não sei se vai resolver, mas sugiro instalar o CCleaner da Piriform
 (gratuito) e verificar se tem algum arquivo do AV na seção de programas
 que são ativados na inicialização do computador, se houver então remover e
 reiniciar.
 Alfredo

 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 --
 _
 Décio Krause
 Departamento de Filosofia
 Universidade Federal de Santa Catarina
 C.P. 476
 88040-900 Florianópolis, SC - Brasil
 Tel.: +(48)3331-9248
 www.cfh.ufsc.br/~dkrause
 Grupo de Lógica e Fundamentos da Ciência
 www.logica.cfh.ufsc.br
 _

 

 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

39 matches

Mail list logo