Textos sobre Frege

Heck - Frege's Contribution to Philosophy of Language
http://frege.brown.edu/heck/pdf/published/FregesContribution.pdf

Weiner - Has Frege a Philosophy of Language?
http://www.indiana.edu/%7Ejcw1/has%20frege.pdf

Weiner - Frege and the Linguistic Turn
http://www.indiana.edu/%7Ejcw1/frege%20and%20the%20linguistic%20turn.pdf

Reconstrução do argumento de Frege - valor de verdade como referência
https://dl.dropbox.com/u/5959592/argumento_frege.pdf

Sobre as noções de intensão e extensão
http://users.bestweb.net/~sowa/logic/alonzo.htm
http://criticanarede.com/docs/etlf_intensao.pdf

Excerto livro Claudio Costa - Filosofia da Linguagem
https://dl.dropbox.com/u/5959592/costa_fl.pdf

Edital - monitoria

Olá para todos.
No link abaixo, edital de vagas para monitoria, incluindo lógica
https://dl.dropbox.com/u/5959592/Edital.Monitoria.jpg
Abraços

Calendário acadêmico 2012/2

Abaixo, calendário acadêmico 2012.2.

https://dl.dropbox.com/u/5959592/Calendario_Academico_12.pdf

Sobre o início das aulas

Iniciação científica voluntária

Abaixo, normas da iniciação científica voluntária

https://dl.dropbox.com/u/5959592/resol.13.2011.inic.cient.voluntaria.pdf

Editais - bolsas de monitoria e PET

http://dl.dropbox.com/u/6116169/Edital.PMG.PET.pdf

Palestras Professora Andrea Loparic

Olá para todos.

O grupo de estudos de lógica da FAFICH, com o apoio do Programa de
Pós-graduação em Filosofia, retoma suas atividades neste semestre com
duas palestras da professora Andrea Loparic (USP):

Teoria das valorações
Dia 22 de março, 15h, sala 3019.

Identidade, negação e universos de discurso
Dia 23 de março, 15h, sala 3019.

Referências:

Teoria das valorações:

LOPARIC, A. M. A. C. ; da COSTA, N.C.A. Paraconsistency,
paracompleteness and valuations. Logique et Analyse, v. 106, p.
119-131, 1984
Disponível em http://dl.dropbox.com/u/5959592/al/loparic.parac.pdf
LOPARIC, A. M. A. C. . A semantical study of some propositional
calculi. THE JOURNAL OF NON-CLASSICAL LOGIC, v. III, p. 74-95, 1986.
LOPARIC, A. M. A. C. . The method of valuations in modal logic. In:
First Brazilian Conference, 1977, New York. Proceedings First
Brazilian Conference. New York : Marcel Dekker Inc., 1977.
Disponível em http://dl.dropbox.com/u/5959592/al/met.valuations.pdf
LOPARIC, A. M. A. C. 'Valuation semantics for intuitionistic
propositional calculus and some of its subcalculi' in Principia,
http://www.cfh.ufsc.br/~principi/p141-8.pdf

Identidade, negação e universos de discurso

LOPARIC, A. M. A. C.. 'Lacan avec les Philosophes' in "Bibliotheque du
College International de Philosophie" ed. Alban Michel,
Disponível em http://dl.dropbox.com/u/5959592/al/A.Loparic.Identite.negation.pdf

Abraços

Projeto de lei que ‘regulamenta a profissão de filósofo'

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

Prova

Olá para todos.
Abaixo, a prova.
http://dl.dropbox.com/u/5959592/prova_1_dez.pdf
Entrega por email até 12h de segunda, 5/12.
Abraços

NÃO HAVERÁ AULA DIA 22/11

Olá para todos.

Devido à minha participação na banca do doutorado, não poderei ministrar a aula do dia 22/11, terça-feira.

Quinta, 24/11, haverá aula normal.

Abraços  

Construtivismo

Trechos do capítulo 8 da tradução de Thinking about Logic, Stephen Read, OUP
http://dl.dropbox.com/u/5959592/construtivismo.pdf

Lógica intuicionista

Verbete da Stanford,
http://plato.stanford.edu/entries/logic-intuitionistic/

Excerto do livro do Heyting, Intuitionism, com apresentação de um
sistema axiomático para a lógica intuicionista
http://dl.dropbox.com/u/5959592/heyting_itcn.pdf

Outros textos
http://dl.dropbox.com/u/5959592/jairo_construtivismo.pdf
http://dl.dropbox.com/u/5959592/kolmogorov_excluded_middle_heijnoort.pdf
http://dl.dropbox.com/u/5959592/priest_itcn_prop.pdf
http://www.phil.uu.nl/~dvdalen/articles/Blackwell(Dalen).pdf

Investigations into logical deductions, Gerhard Gentzen (1935)
http://dl.dropbox.com/u/5959592/gentzen.pdf
(Vejam especialmente a seção II, p. 74. As regras de DN estão na p. 77)

Se faltasse o Flamengo no mundo, eu teria um desgosto profundo.

Sobre o FLAMENGO e o dia do flamenguista

http://www.ricaperrone.com.br/2011/10/o-dia-do-flamenguista/

Saudações Rubro-Negras

Próximas aulas e terceira prova

Olá para todos.
Nas próximas aulas, 1 e 3 de novembro, concluiremos a terceira parte do curso.
Veremos o que acontece com compacidade, Lowenheim-Skolem e modelos não
standard em segunda ordem.
A prova sobre esses assuntos será no dia 17 de novembro.
A partir de terça, 8 de novembro, veremos construtivismo e lógica intuicionista.
Abraços

Prova e próximas aulas

Olá para todos.
A prova de filosofia da lógica será, conforme combinado, no dia 13/10,
quinta-feira, 21h.
Matéria da prova: conjuntos infinitos e consequência lógica.
Prova individual e com consulta aos textos, livros e anotações.
Semana do conhecimento: no dia 18, terça, não haverá aula, mas dia 20,
quinta, teremos aula normal.

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

http://consequently.org/papers/pluralism.pdf

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

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

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

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.