Conceitografia - segunda 20/5

Olá para todos.
Na aula de amanhã, segunda, vamos fazer uma leitura rápida da parte 1
da Conceitografia, §§ 1 a 12.
Sugiro que antes da aula todos façam uma nova leitura, identificando
eventuais trechos relevantes ou problemáticos.
Leiam também o texto do Margutti
https://dl.dropboxusercontent.com/u/5959592/margutti_conceitografia.pdf
Se houver tempo, passamos para o Prefácio das LBA.
Abraços

Palestra - Sobre o caráter definicional dos axiomas de ZFC

O Grupo de Estudos de Lógica da FAFICH convida para a palestra do professor Antonio Coelho (UFMG): 

Sobre o caráter definicional dos axiomas de ZFC

Dia 22 de maio, quarta-feira, às 16h na sala 3036.

ZFC é, em certo sentido, a teoria de conjuntos padrão. O estudo das consequências de seus axiomas e o estudo de seus modelos, isto é, de
estruturas que satisfazem esses axiomas, são tópicos relacionados, mas distintos. Uma visão definicional dos axiomas de ZFC conduz, naturalmente, a
uma ênfase no estudo dos modelos de ZFC. O objetivo desta exposição é explicar, segundo linhas propostas por Kenneth Kunen, alguns aspectos dessa
visão definicional.

Informações úteis

Olá para todos.

Nossa avaliação será na segunda-feira, dia 13 de maio.

Levem para consulta os textos da Conceitografia, SSR e Prefácio das Leis Básicas.

Os §§ da Conceitografia que devem ser lidos estudados para a prova são 1 a 12.

https://dl.dropboxusercontent.com/u/5959592/frege.conceitografia.1.12.pdf

Não haverá aula no dia 15 de maio, quarta-feira. A tarefa de quarta dia 15 será estudar todo o prefácio das Leis Básicas, para a semana que começa dia 20 de maio. O link está abaixo:

https://dl.dropboxusercontent.com/u/5959592/frege_intro_lba.pdf

Na leitura das Leis Básicas procurem identificar os argumentos de Frege contra o psicologismo.  

Abraços

   

Frege

Dois textos úteis para a disciplina
Marco Ruffino, O verdadeiro, o bom e o belo em Frege
http://www.oquenosfazpensar.com/adm/uploads/artigo/o_verdadeiro,_o_bom_e_o_belo_em_frege/marcoruffino.pdf
Dirk Greimann, A caracterização da lógica pela força assertórica em Frege - Resposta a Marco Ruffino
http://www.cle.unicamp.br/manuscrito/public/abstract.php?id=331&edicao=34

Programa para ler arquivos .djvu

http://djvu.org/resources/
ou instalador no link
https://dl.dropboxusercontent.com/u/5959592/WinDjView-2.0.2-Setup.exe

Frege - SSR parte II

https://dl.dropboxusercontent.com/u/5959592/Frege_SSR_parte_2.pdf

Conceitografia, Leis Básicas da Aritmética, Função e Conceito

Material para próximas aulas enviado pela minhaUFMG

Frege - contextos intensionais - II

No link
https://dl.dropboxusercontent.com/u/5959592/Frege_SSR_parte_2_B.pdf
está a segunda parte do roteiro para a leitura da segunda parte de SSR.
O link da primeira parte do roteiro é
http://dl.dropbox.com/u/5959592/Frege_SSR_parte_2.pdf.

Frege - contextos intensionais etc.

No link
http://dl.dropbox.com/u/5959592/Frege_SSR_parte_2.pdf
está um roteiro para a leitura da segunda parte de SSR, que veremos na
aula do dia 24/4.

Avaliação - Prática de pesquisa - 2013.1

Olá para todos.
Na próxima quarta-feira, dia 17 de abril, haverá uma avaliação na aula das 21h.
Essa avaliação irá compor a nota final do curso.
Portanto, estejam todos presentes.
Abraços

Livros no Google

http://problemasfilosoficos.blogspot.com.br/2010/08/google-livros.html

Notem que Basic Laws, do Frege, está na lista

Palestra sobre Frege

Analiticidade, Lei Lógica e Axioma V

Prof. Alessandro Duarte (UFRRJ)

Dia 8 de abril, 14h
Fafich - Sala 4094

Sobre o Sentido e a Referência

Tradução de Sobre o Sentido e a Referência de Frege

Sérgio R. N. Miranda

Universidade Federal de Ouro Preto

http://www.revistafundamento.ufop.br/pdf/vol1n3-2.pdf

UNILOG 2013

4th World Congress and School on Universal Logic

Rio de Janeiro, 29 de março a 7 de abril de 2013

http://www.uni-log.org/start4.html

Programa: http://www.uni-log.org/handbook2013/unilog2013-handbook.pdf

Edital Monitoria

Edital - vagas disponíveis para monitores

1st CLE4Science

1st CLE Colloquium for Philosophy and History of Formal Sciences

21 a 23 de março de 2013

UNICAMP  

http://bertato.wix.com/1stcle4science

Programa do evento: http://bertato.wix.com/1stcle4science#!program 

Impure mathematics

http://abstrusegoose.com/504

Comentário do meu amigo João Marcos: "Substitua "geometria não-euclidiana" por "lógica não-clássica", e a piada se adapta facilmente.  Ou não."

Edital Pronoturno

Olá para todos.
Abaixo, edital para 1 vaga de bolsa do Pronoturno - prazo até 19/3.
https://dl.dropbox.com/u/5959592/EDITALPRONOTURNO.pdf
E abaixo, resolução da UFMG referente ao Pronoturno.
https://dl.dropbox.com/u/5959592/ResolucaoPronoturnoUFMG.pdf
Abraços

Arquivos .djvu

http://djvu.org/resources/

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