Alm de serem verdadeiras ou falsas, as proposies tm tambm uma estrutura interna.
Diferentes mudanas na estrutura interna podem originar mudanas no valor de verdade.
A primeira tarefa da Lgica aristotlica consiste em realizar um estudo sistemtico do modo como as alteraes na estrutura interna de uma proposio esto correlacionadas com a alterao do valor de verdade Estrutura da proposio A Lgica aristotlica ocupa-se em especial de um tipo particular de proposio proposio declarativa categrica
Assim, a Lgica aristotlica
() para alm de proposies, pressupe tambm que o mundo se encontra mobilado de determinada maneira; nomeadamente, que as peas de mobilirio que se encontram no mundo so os objetos e as propriedades dos objetos. Por outro lado, para alm de pressupor a existncia de uma relao geral de representao que obtm entre as proposies e aspetos do mundo, ela necessita tambm de pressupor a existncia de uma relao particular de representao a relao de referncia a qual obtm entre termos singulares e objetos e entre os termos gerais e propriedades do objeto. Esta relao [dos termos traduzirem ou no um caso do mundo] determina o VALOR DE VERDADE Um termo est distribudo quando tomado em toda a sua extenso, isto , quando UNIVERSAL. Assim A quantidade de uma proposio geral - universal se e somente se o termo sujeito se encontrar nela distribudo [Todas as galinhas so aves.]; - particular se e somente se o termo sujeito NO se encontrar nela distribudo [Algumas galinhas so aves.] ; A qualidade de uma proposio : - afirmativa se e somente se o predicado NO se encontrar nela distribudo [Todo o homem imortal]; - negativa se e somente se o predicado se encontrar distribudo [Alguns homens no so imortais] . Implicao existencial A lgica aristotlica s pode aplicar-se a classes no vazias, ou seja, para se poder realizar a inferncia vlida as proposies de tipo I possuem implicao existencial. S assim se evita a possibilidade de inferir uma concluso falsa
(de tipo I) a partir de uma verdadeira (de tipo A).
Exemplo: Todos os unicrnios so quadrpedes, que uma proposio de tipo A, verdadeira; no entanto a sua subalterna Alguns unicrnios so quadrpedes, que uma proposio de tipo I, falsa. Aristteles o pai da Lgica Lgica clarificao do conceito a cincia que estuda as condies do pensamento vlido, isto , os sistemas prescritivos do raciocnio. Estes sistemas prescritivos definem como se deveria realmente pensar para noerrar. Operacionalizao da definio: Atividade prtica_p.10 O que um raciocnio? O RACIOCNIO [1] um encadeamento de JUZOS [2] . O JUZO uma relao de convenincia ou no convenincia entre dois CONCEITOS[3] . [1]O argumento a expresso verbal do raciocnio. [2] Aproposio a a expresso verbal do juzo. [3] O termo (diferente de palavra) a expresso verbal do conceito AOS ARGUMENTOS VLIDOS CHAMAREMOS DEDUTIVOS [exemplo A]. Alm disso, classificaremos como dedutivos os argumentos que foram ou podem ser julgados como vlidos. AOS ARGUMENTOS DOS QUAIS SE AFIRMA QUE AS SUAS PREMISSAS APOIAM A CONCLUSO (TORNANDO-A PROVVEL) SEM GARANTIR A SUA VERDADE CHAMAMOS INDUTIVOS [exemplo B]. Nem sempre fcil determinar que proposies so verdadeiras e que proposies so falsas. Mas no compete Lgica ocupar-se disso [quem se ocupa da verdade a cincia emprica]. A lgica limita-se a pressupor que existem as proposies e o mundo que elas representam e que, em virtude da existncia da relao de representao e do modo como o mundo efetivamente , algumas proposi es gozam da propriedade