quinta-feira, 22 de setembro de 2011

Consequência lógica

Olá para todos

Na próxima semana começaremos o tópico consequência lógica.
Material disponível abaixo:

tradução do capítulo 2 de Thinking About Logic, de Stephen Read
http://dl.dropbox.com/u/5959592/cap_2.A.pdf

capítulos 1 e 2 do volume Lógica da coleção Filosofias (Martins Fontes)
http://dl.dropbox.com/u/5959592/logica_mf.pdf

e o texto Logical Pluralism de Restall & Beal

sábado, 3 de setembro de 2011

Conjuntos infinitos e outros assuntos

Olá para todos.
Semana passada concluímos a primeira parte do curso sobre a natureza da lógica.
Nosso próximo tema são conjuntos infinitos.
Material disponível abaixo:
http://www.earlham.edu/~peters/writing/infapp.htm
http://www.earlham.edu/~peters/writing/infinity.htm
Depois disso, veremos o papel do infinito no construtivismo e também discutiremos a noção de verdade intuicionista. Abaixo, textos sobre o assunto:
http://dl.dropbox.com/u/5959592/read_construtivism.pdf
http://dl.dropbox.com/u/5959592/truth_intuitionism.pdf
Lembro que dia 6/9, terça-feira, não haverá aula.
Abaixo, o cronograma das aulas até o fim do semestre.
http://dl.dropbox.com/u/5959592/calendario.htm
Abraços

quarta-feira, 17 de agosto de 2011

Lógica: ontologia, linguagem, epistemologia

Olá para todos.
Nas próximas aulas, vamos trabalhar com os textos do Tugendhat, Newton-Smith e Chateaubriand, disponíveis na página
https://sites.google.com/site/filosofiaetc/filosofiadalogica
Para a próxima quinta, 18/8, ler o texto do Tugendhat.
Lembro que a ementa do curso está no link abaixo
http://dl.dropbox.com/u/5959592/fil_logica_2011.2.htm
Abraços

quarta-feira, 10 de agosto de 2011

2nd Colloquium on Metaphysical Logic

2nd Colloquium on Metaphysical Logic
Local: Sala F1052, FAFICH, UFMG
Data: 18 e 19 de agosto de 2011

P R O G R A M A Ç Ã O

Quinta-feira, 18 de agosto de 2011
Manhã – Moderador: Prof. Abílio Rodrigues – UFMG
9h30 às 10h30
Palestrante: Prof. Túlio Aguiar – UFMG
Título: Causation and Physics: is there possibility of reconciliation?
10h45 às 11h45
Palestrante: Prof. Alessandro Bandeira – UFRRJ
Título: The formal role of the truth-values in Frege's Logic
Tarde – Moderador: Prof. Mauro Engelmann – UFMG
14h às 15h
Palestrante: Prof. Guido Imaguire – UFRJ
Título:  Some Remarks on Nominalism
15h15 às 16h15
Palestrante: Prof. Ernesto Perini – UFMG
Título: How not to build an ontological dispute - some remarks on the
relationship between truth-conditional semantics and ontology
16h30 às 17h30
Palestrante: Prof. Pedro Santos – UNIFESP
Título: Grounding Mereology

Sexta-feira, 19 de agosto de 2011
Manhã – Moderador: Prof. Pedro Santos – UNIFESP
9h30 às 10h30
Palestrante: Prof. Rodrigo Bacellar – USP
Título: The elimination of sets
Palestrante: Prof. André Porto – UFG
Título: A new theory of space
10h45 às 11h45
Tarde – Moderador: Prof. Rodrigo Bacellar – USP
14h às 15h
Palestrante: Prof. Desidério Murcho – UFOP
Título: There is no Logic
15h15 às 16h15
Palestrante: Prof. Gonzalo Rodriguez-Pereyra – University of Oxford
Título: Resemblance Nominalism, conjunctions and truthmakers

Comissão Organizadora:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Rodrigo Bacellar – USP
Prof. Túlio Aguiar – UFMG

Comitê científico:
Prof. Abílio Rodrigues Filho – UFMG
Prof. Guido Imaguire – UFRJ
Prof. Mauro Engelmann – UFMG
Prof. Rodrigo Bacellar – USP

domingo, 7 de agosto de 2011

LÓGICA - Coleção Filosofias: o Prazer do Pensar

http://www.wmfmartinsfontes.com.br/detalhes.asp?id=553162

Não é incomum supor que a lógica é uma disciplina completa, finalizada. Uma disciplina similar à aritmética, cujas verdades não são questionadas. De fato, não parece muito plausível colocar em questão, por exemplo, se a soma de 2 e 3 é mesmo 5 ou analisar criticamente a afirmação de que 1 multiplicado por um número qualquer n dá como resultado o próprio número n. Algo parecido acontece com a lógica. Princípios como o terceiro excluído e a não-contradição são freqüentemente apresentados como leis fundamentais do pensamento, e a bivalência é simplesmente pressuposta, como se nada diferente fosse possível. Pelo nome 'lógica', muitas vezes entende-se apenas a lógica clássica, ou ainda mais grave, considera-se que a lógica se resume à lógica aristotélica, quando na verdade a lógica aristotélica é apenas um pequeno fragmento da lógica moderna.
Segundo essa visão, a lógica é considerada uma disciplina quase dogmática, cujos fundamentos não podem ser colocados em questão e com resultados, como os da aritmética, que são tomados como verdades acima de qualquer suspeita. Por outro lado, uma das primeiras coisas que aprendemos sobre a filosofia é que a postura crítica é sua característica essencial. A idéia de que a lógica é uma disciplina finalizada parece estar em desacordo com a postura crítica da filosofia.
O problema é que essa visão da lógica é profundamente equivocada. A lógica não é de modo algum uma disciplina finalizada, muito menos dogmática. A atitude crítica da filosofia também se dirige para os princípios sobre os quais se baseia a lógica, que são questionados e podem ser rejeitados. E a discussão acerca de tais princípios se baseia em posições filosóficas acerca da realidade, da linguagem e do conhecimento humano.
Este pequeno texto procura justamente mostrar que uma série de princípios básicos adotados pela lógica clássica podem ser colocados em questão, dando origem às chamadas lógicas não-clássicas. Veremos que, na verdade, não temos uma mas várias lógicas.

sexta-feira, 29 de julho de 2011

Primeiro Simpósio Internacional de Filosofia da Linguagem na UFF

Primeiro Simpósio Internacional de Filosofia da Linguagem na UFF
Workshop sobre Frege com Joan Weiner


Data:   8-10 de agosto de 2011
Local: Universidade Federal Fluminense
Campus do Gragoatá
Instituto de Ciências Humanas e Filosofia
Departamento de Filosofia
Rua Professor Marcos Waldemar de Freitas Reis, Bloco O, sala 516
São Domingos – Niterói
CEP 24210-350 - RJ - Brasil

Palestrantes:
Joan Weiner (Indiana University Bloomington)
Oswaldo Chateaubriand (PUC-Rio)
Marco Ruffino (UFRJ)
Guido Imaguire (UFRJ)
Ludovic Soutif (PUC-Rio)
Alessandro Bandeira Duarte (Rio-Rural)
Abílio Rodrigues (UFMG)
Pedro de Moraes Rego e Freitas Santos (UNIFESP)
Dirk Greimann (UFF)


Programação:
Segunda-feira, 08/08/2010
14:30  - 16:00   Joan Weiner, "Why does Frege care whether Julius
Caesar is a number?"
16:15 – 17:15   Dirk Greimann, "Frege and Tarski on truth"
17:30 – 18:30   Guido Imaguire, "A fresh look at Russell's criticism
of Frege's conception of                        Sinn"

Terça-feira, 09/08/2010
10:30 – 11:30    Pedro Santos, "What is a (Fregean) function?"
11:45 – 12:45   Ludovic Soutif, "How epistemic is cognitive value?"
15:00 – 16:00   Alessandro Duarte, "Frege may have been a neo-Fregean"
16:15 – 17:15   Abílio Rodrigues, "Semantic value, reference and
conceptual content"

Quarta-feira, 10/08/2010
11:00 – 12:30   Joan Weiner, "Frege and the beast of reality: the
logical and metaphysical
notions of  objecthood"
15:00 -  16:00   Marco Ruffino, "The sense of proper names"
16:15 – 17:15   Oswaldo Chateaubriand, "Truth-values"

domingo, 3 de julho de 2011

Verdade

Abaixo, primeira versão da tradução do capítulo 1 de Thinking About Logic, de Stephen Read  
http://dl.dropbox.com/u/5959592/cap_1.htm

quinta-feira, 23 de junho de 2011

Notas lançadas

Olá para todos.
As notas já foram lançadas.
O exame especial será na segunda-feira dia 27/6.
A prova do dia 22/6 está disponível no link
http://dl.dropbox.com/u/5959592/PROVA2_noturno.pdf
Abraços

quarta-feira, 22 de junho de 2011

Provas 16.9 Mortari

Olá para todos.
Abaixo,
http://dl.dropbox.com/u/5959592/mortari16.9.pdf
provas dos itens k-o do 16.9 do Mortari
Abraços

segunda-feira, 13 de junho de 2011

Provas finais

Provas finais - Lógica noturno
A terceira prova será dia 22/6, quarta-feira.
Entrega da última lista no dia da prova.
Exame especial (com eventual segunda chamada) no dia 27/6, segunda-feira.

terça-feira, 7 de junho de 2011

Lista de exercícios 5

Lista de exercícios 5 – Lógica (noturno)
Prazo de entrega: 23/06/2011

1. Mortari 16.1, 16.2
2. Mortari 16.7 (usando dedução natural para provar os sequentes válidos), 16.9.

Prática de Pesquisa

Apenas para os alunos de prática de pesquisa: ler e responder às questões sobre o texto.: 
Nos encontraremos na sexta-feira, 17/6 às 19h na sala 2047 para conversar sobre essa atividade.
Abraços

quinta-feira, 2 de junho de 2011

Lista de exercícios 4 - LPO com identidade

Olá para todos.
No link abaixo, a lista de exercícios 4,
http://dl.dropbox.com/u/5959592/lista_4.pdf
Prazo de entrega: 15/6/2011
Na próxima aula começaremos a estudar a lógica de primeira ordem com identidade.
Vamos usar o cap. 16 do Mortari e a apostila no link abaixo,
http://sites.google.com/site/textoslogica/arquivos/identidade.pdf
Abraços

segunda-feira, 23 de maio de 2011

Aula dupla dia 25/5

Olá para todos.
Na próxima quarta-feira, 25/5, a prof. Cecília não irá ministrar a
segunda aula.
Por essa razão, teremos duas aulas de lógica, das 19h às 22h40.
Abraços
Abílio

segunda-feira, 16 de maio de 2011

Equivalências da lógica sentencial

Olá para todos.

Abaixo, as equivalências novamente, pois alguns caracteres não
apareceram corretamente.

(A & B) <-> ~(~A v ~B)
(A & B) <-> ~(A -> ~B)
(A v B) <-> ~(~A & ~B)
(A v B) <-> (~A -> B)

Fica como exercício:
(i) obter as fórmulas equivalentes a (A -> B);
(ii) mostrar que são tautologias;
(iii) provar usando dedução natural (algumas são mais difíceis do que
as que fizemos até agora).

Isso será útil para o exercício 1 da lista de exercícios.

sábado, 14 de maio de 2011

XVI EBL

Abaixo, slides do trabalho apresentado no XVI EBL, Reference, conceptual content and semantic value, e esquema do argumento de Frege, apresentado em On Sense and reference, Logic in Mathematics e em uma carta a Russell, que conclui que a referência (i.e. o valor semântico) de uma sentença é o seu valor de verdade.  

quinta-feira, 5 de maio de 2011

Lista de exercícios 3

Olá para todos. 

Abaixo, a lista de exercícios 3. O prazo de entrega IMPRORROGÁVEL é 18/05/2011. 


domingo, 1 de maio de 2011


Para qualquer um, a camisa vale tanto quanto uma gravata. Não para o Flamengo. Para o Flamengo, a camisa é tudo. Já tem acontecido várias vezes o seguinte: quando o time não dá nada, a camisa é içada, desfraldada, por invisíveis mãos. Adversários, juízes, bandeirinhas tremem então, intimidados, acovardados, abatidos. Há de se chegar o dia em que o Flamengo não precisará de jogadores, nem de técnicos, nem de nada. Bastará a camisa, aberta no arco. E, diante do furor impotente do adversário, a camisa rubro-negra será uma bastilha inexpugnável.
Nélson Rodrigues (1955)