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

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.