está relacionada à espontaneidade de uma mente regulada por leis não empíricas, a saber, leis da razão teórica e prática.

decorre do caráter ilusório de um self unificado, que inicia o comportamento intencional.

diz respeito ao fato de não sentirmos o papel causal dos nossos próprios estados mentais como força intrusiva.

depende de nossa relação com o mundo inteligível, que se coloca como fundamento do mundo sensível no qual ocorre o comportamento.

é uma ideia da razão transcendental, que se impõe de forma objetiva a todo ser humano. 

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.