Analiticidade e reducionismo.

1.Se você estudar, então você terá um bom desempenho no concurso

2. Você estudou

3. Logo, você teve um bom desempenho

quando Quine diz que a barba de Platão tem feito "a navalha de Ockham perder o corte", ele sugere com isso que a doutrina em questão é ontologicamente econômica, não postulando entidades dispensáveis e inexistentes.

Alexius Meinong foi um herdeiro da barba de Platão. A solução que Meinong propõe para este enigma consiste em construir uma ontologia baseada na distinção entre ser (sein) e ser tal (sosein). Grosso modo, a tese é a que há coisas de dois tipos, aquelas que existem e aquelas que não existem. 

na lógica clássica, a existência pode ser expressa com um quantificador (predicado de segunda ordem) ou com um predicado de primeira ordem. Isso nos permite expressar, de modo consistente, proposições como .

a lógica clássica é inteiramente adequada para falar de inexistentes. Por exemplo, é verdadeiro que alguns unicórnios voam, mas também é verdadeiro que unicórnios não existem. Nenhuma contradição decorre daqui. O problema do não-ser diz respeito especificamente ao estatuto ontológico daquilo que não é, em absoluto.

a doutrina da barba de Platão não precisa ser ontologicamente aparada, pois ela sugere apenas que o não-ser deve ser concebido, não que o não-ser deve existir. Podemos conceber muitas coisas que não existem, como unicórnios, montanhas de ouro e o próprio não-ser. Portanto, Quine parece ter se equivocado nessa passagem.

Hume defende uma posição cética em relação ao problema da indução, para quem as inferências indutivas não podem ser justificadas. Ao mesmo tempo, Hume propõe uma explicação psicológica das inferências indutivas em termos do conceito de hábito. 

toda inferência indutiva leva do particular ao universal; portanto, o problema da indução não afeta os aspectos preditivos das teorias científicas, já que a predição tem sempre a forma de uma inferência que leva do universal ao particular.

o problema da indução não é apenas o problema de justificar as inferências que levam do passado para o futuro, pois algumas inferências indutivas também levam de verdades acerca do presente para conclusões acerca do passado.

o Princípio de Uniformidade da Natureza, proposto por Hume como uma premissa adicional nas inferências indutivas, permitiria justificar tais inferências. Entretanto, não parece haver um modo de justificar esse princípio sem recorrer à própria indução. 

mesmo supondo que a natureza seja regular e uniforme, o problema da indução não parece inteiramente resolvido, como ficou demonstrado pela formulação do assim denominado Paradoxo de Goodman (ou o Novo Enigma da Indução). 

de modo geral, os empiristas concordam que a fonte primária do nosso conhecimento é a experiência e apenas as proposições analíticas podem ser conhecidas a-priori. 

os pares conceituais contidos no enunciado capturam uma mesma distinção, mas em seus diferentes aspectos: epistêmico (a-priori/a-posteriori), semântico (analítico/sintético) e metafísico (necessário/contingente). Ou seja, toda verdade necessária é expressa por uma proposição analítica que também é conhecível a-priori.

uma verdade contingente é expressa por uma proposição atualmente verdadeira, mas que poderia ser falsa. Como toda possibilidade é necessariamente possível, todas as verdades contingentes são conhecíveis a-priori.

uma proposição é analítica se o seu valor-verdade é função apenas do significado dos termos que ocorrem na frase. Por exemplo, a frase "Sócrates é filósofo" diz que Sócrates satisfaz o predicado que é definido como uma propriedade de Sócrates, portanto, a frase expressa uma proposição analítica.

todas as verdades lógicas são conhecíveis a-priori, mas nem todas as verdades lógicas são necessárias, pois os símbolos lógicos poderiam ter significados distintos e expressar proposições falsas. 

exemplifica as objeções do ceticismo radical em relação ao conhecimento proposicional. O argumento é formalmente válido, pressupõe apenas a lógica clássica e leva à inevitável conclusão de que eu não sei que tenho duas mãos.

caracteriza uma caricatura exagerada e vulgarizada da argumentação cética. Sugere-se com esse tipo de caricatura que as objeções céticas estejam apoiadas em falácias. Nesse caso em particular, poderíamos identificar uma falácia da irrelevância. 

é formalmente inválido, mas torna-se válido pelo acréscimo do princípio de fechamento epistêmico, segundo o qual, se P implica Q e eu sei que P, então eu sei que Q. Assim, o argumento cético acima seria um entimema do argumento válido que inclui o fechamento epistêmico como premissa. 

exemplifica a estratégia cética de oferecer cenários alternativos nos quais a proposição em questão seja falsa, mas tudo pareça ao agente como se ela fosse verdadeira. Essa estratégia é bastante limitada, pois não existem cenários alternativos desse tipo para verdades matemáticas, por exemplo.

é incorreto, pois a primeira premissa é falsa; o fato de eu ter duas mãos não implica que eu não seja um cérebro sem mãos plugado em um computador. Isso ilustra o caráter não dogmático da argumentação cética. O cético não assume a verdade dessa implicação, apenas argumenta a partir dela.

válido, mas a sua correção ou incorreção é um problema aberto, já que não existem verdades objetivas no que diz respeito à estrutura do universo. 

inválido, mas seria convertido em um argumento formalmente válido caso substituíssemos a expressão "a melhor explicação" por "a única explicação".

válido, mas falacioso, já que pressupõe uma comparação ou uma analogia inadequadas entre artefatos e cortes espaço-tempo do nosso universo como um todo.

inválido, mas pode ser avaliado como indutivamente forte e que reproduz um padrão argumentativo comum na ciência, o das inferências para a melhor explicação.

inválido, mas não pode ser avaliado como indutivamente forte; trata-se de uma falácia formal, conhecida como falácia da falsa causa.  

A verificabilidade

A falseabilidade

A revolução

A verificação conclusiva

O progresso

Intuição empírica e conceito empírico

Dialética transcendental e analítica transcendental

Estética transcendental e categorias do entendimento

Grupos e categorias

Intuição pura e conceito puro