thumb|Um busto de Zenão de Cítio, considerado o fundador do estoicismo
O estoicismo é uma filosofia helenística que floresceu na Grécia e Roma antigas. Os estóicos acreditavam que o universo operava de acordo com a razão, ou seja, por um Deus que está imerso na própria natureza. De todas as escolas de filosofia antiga, o estoicismo fez a maior afirmação de ser totalmente sistemático.
Os estóicos forneceram um relato unificado do mundo, construído a partir de ideais de lógica, física monística e ética naturalista.Aetius, Stoicorum Veterum Fragmenta, 2.35 Esses três ideais constituem a virtude, que é necessária para 'viver uma vida bem raciocinada', visto que todos são partes de um logos, ou discurso filosófico, que inclui o diálogo racional da mente consigo mesma. Sua lógica se concentra no raciocínio por meio de proposições, argumentos e na diferenciação entre verdade e falsidade. Sua ética se concentra na virtude como o bem supremo, cultivando o autocontrole emocional e o julgamento racional para atingir a eudaimonia, enquanto vê as paixões como julgamentos equivocados a serem dominados.
O estoicismo foi fundado na antiga Ágora de Atenas por Zenão de Cítio por volta de 300 a.C. e floresceu em todo o mundo greco-romano até o século III d.C. O estoicismo emergiu da tradição cínica e foi popularizado através do ensino público no Pórtico Pintado, uma colunata pintada. Entre seus adeptos estava o imperador romano Marco Aurélio.
Juntamente com a lógica de termos aristotélica, o sistema de lógica proposicional desenvolvido pelos estoicos foi um dos dois grandes sistemas de lógica do mundo clássico. Foi amplamente construído e moldado por Crisipo, o terceiro líder da escola estoica no século III a.C. A lógica de Crisipo diferia da lógica de termos porque se baseava na análise de proposições em vez de termos. O estoicismo entrou em declínio depois que o cristianismo se tornou a religião oficial no século IV d.C., embora o gnosticismo tenha permanecido e incorporado elementos puros do estoicismo e do platonismo.
Desde então, tem visto renascimentos, notavelmente no Renascimento (Neoestoicismo) e na Idade Contemporânea. Sua influência se estendeu a pensadores romanos como Sêneca e Epiteto e mais tarde influenciou o cristianismo e o neoestoicismo renascentista. O estoicismo moldou os desenvolvimentos subsequentes na lógica e inspirou as terapias cognitivas modernas.
História O nome estoicismo deriva de Stoa Poikile (), uma colunata decorada com cenas de batalhas míticas e históricas no lado norte da Ágora de Atenas, onde Zenão de Cítio e seus seguidores se reuniam para discutir suas ideias, perto do final do século IV a.C. Ao contrário dos epicuristas, Zenão escolheu ensinar sua filosofia em um espaço público. O estoicismo era originalmente conhecido como zenonismo. No entanto, esse nome foi logo abandonado, provavelmente porque os estoicos não consideravam seus fundadores perfeitamente sábios e para evitar o risco de a filosofia se tornar um culto à personalidade.
As ideias de Zenão desenvolveram-se a partir das dos cínicos (trazidas a ele por Crates de Tebas), cujo fundador, Antístenes, havia sido discípulo de Sócrates. O sucessor mais influente de Zenão foi Crisipo, que sucedeu Cleantes como líder da escola e foi responsável por moldar o que hoje é chamado de estoicismo. O estoicismo tornou-se a principal filosofia popular entre a elite intelectual do mundo helenístico e do Império Romano a ponto de, nas palavras de Gilbert Murray, "quase todos os sucessores de Alexandre [...] se declararem estoicos".Gilbert Murray, The Stoic Philosophy (1915), p. 25. In Bertrand Russell, A History of Western Philosophy (1946). Os estoicos romanos posteriores concentraram-se em promover uma vida em harmonia com o universo, do qual somos participantes ativos.
Os estudiososSedley, D. (2003) The School, from Zeno to Arius Didymus. In: B. Inwood (ed.) The Cambridge Companion to the Stoics. Cambridge University Press. geralmente dividem a história do estoicismo em três fases: a Estoa Inicial, desde a fundação por Zenão até Antípatro; a Estoa Média, incluindo Panécio e Posidônio; e a Estoa Tardia, incluindo Musônio Rufo, Sêneca, Epiteto e Marco Aurélio. Nenhuma obra completa sobreviveu das duas primeiras fases do estoicismo. Apenas textos romanos da Estoa Tardia sobreviveram.A.A.Long, Hellenistic Philosophy, p. 115.
Lógica Para os estoicos, a lógica (logike) era a parte da filosofia que examinava a razão (logos). Para alcançar uma vida feliz — uma vida que valha a pena ser vivida — é necessário o pensamento lógico. Os estoicos sustentavam que a compreensão da ética era impossível sem a lógica. Nas palavras de Inwood, os estoicos acreditavam que:
Para os estoicos, a lógica era um amplo campo de conhecimento que incluía o estudo da linguagem, gramática, retórica e epistemologia. No entanto, todos esses campos estavam inter-relacionados, e os estoicos desenvolveram sua lógica (ou "dialética") dentro do contexto de sua teoria da linguagem e epistemologia.
A tradição estoica da lógica teve origem no século IV a.C. em uma escola filosófica diferente, conhecida como escola megárica. Foram dois dialéticos dessa escola, Diodoro Crono e seu discípulo Fílon, que desenvolveram suas próprias teorias de modalidades e de proposições condicionais. O fundador do estoicismo, Zenão de Cítio, estudou com os megáricos e dizia-se que ele havia sido colega de Fílon.
No entanto, a figura de destaque no desenvolvimento da lógica estoica foi Crisipo de Solos (c. 279 – c. 206 a.C.), o terceiro chefe da escola estoica. Crisipo moldou grande parte da lógica estoica como a conhecemos, criando um sistema de lógica proposicional. Os escritos lógicos de Crisipo, no entanto, estão quase totalmente perdidos, sendo necessário reconstruir seu sistema a partir dos relatos parciais e incompletos preservados nas obras de autores posteriores.
Axioma A menor unidade na lógica estoica é um axioma (ou afirmável), uma proposição que é verdadeira ou falsa e que afirma ou nega. Exemplos de axiomas incluem "é noite", "está chovendo esta tarde" e "ninguém está andando". Os axiomas têm um valor de verdade tal que são verdadeiros ou falsos apenas dependendo de quando foram expressos (por exemplo, o axioma "é noite" só será verdadeiro se for verdade que é noite). Os estoicos catalogaram esses axiomas simples de acordo com se são afirmativos ou negativos, e se são definidos ou indefinidos (ou ambos).
Axiomas compostos Conectivos lógicos Nome Exemplo Condicional Se for dia, estará claro Conjunção É dia e está claro Disjunção É dia ou é noite Pseudo-condicional Como é dia, está claro Causal Porque é dia, está claro Comparativo É mais provável que seja dia do que noite As afirmações compostas podem ser construídas a partir de afirmações simples através do uso de conectivos lógicos, que examinam escolha e consequência, como "se... então", "ou... ou" e "nem ambos". Crisipo parece ter sido responsável pela introdução dos três principais tipos de conectivos: o condicional (se), o conjuntivo (e) e o disjuntivo (ou). Um condicional típico assume a forma "se p então q"; enquanto uma conjunção assume a forma "tanto p quanto q"; e uma disjunção assume a forma "ou p ou q". O "ou" que eles usaram é exclusivo, ao contrário do "ou" inclusivo geralmente usado na lógica formal moderna. Esses conectivos são combinados com o uso de "não" para negação. Assim, o condicional pode assumir as seguintes quatro formas: 1) "Se p, então q" 2) "Se não p, então q" 3) "Se p, então não q" 4) "Se não p, então não q". Os estoicos posteriores adicionaram mais conectivos: o pseudocondicional assumiu a forma de "já que p então q"; e o assertivo causal assumiu a forma de "porque p então q". Havia também um comparativo (ou dissertivo): "mais/menos (provavelmente) p do que q".
Axiomas modais As afirmações também podem ser distinguidas por suas propriedades modais— se são possíveis, impossíveis, necessárias ou não necessárias. Nisso, os estoicos estavam se baseando em um debate megariano anterior iniciado por Diodoro Cronos. Diodoro havia definido possibilidade de uma maneira que parecia adotar uma forma de fatalismo. Diodoro definiu possível como "aquilo que é ou será verdadeiro". Assim, não há possibilidades para sempre não realizadas; tudo o que é possível é ou um dia será verdadeiro. Seu discípulo Fílon, rejeitando isso, definiu possível como "aquilo que é capaz de ser verdadeiro pela própria natureza da proposição", portanto, uma afirmação como "este pedaço de madeira pode queimar" é possível, mesmo que tenha passado toda a sua existência no fundo do oceano. Crisipo, por outro lado, era um determinista causal: ele pensava que as causas verdadeiras inevitavelmente dão origem aos seus efeitos e que todas as coisas surgem desta forma. Mas ele não era um determinista lógico nem fatalista: ele queria distinguir entre verdades possíveis e necessárias. Assim, ele assumiu uma posição intermediária entre Diodoro e Fílon, combinando elementos de ambos os seus sistemas modais. O conjunto de definições modais estoicas de Crisipo era o seguinte: Definições modais Nome Definição possível Uma afirmação que pode se tornar verdadeira e que não é impedida por fatores externos de se tornar verdadeira. impossível Uma afirmação que não pode se tornar verdadeira ou que pode se tornar verdadeira, mas é impedida por fatores externos de se tornar verdadeira. necessário Uma afirmação que (quando verdadeira) não pode se tornar falsa ou que pode se tornar falsa, mas é impedida por fatores externos de se tornar falsa. desnecessário Uma afirmação que pode se tornar falsa e que não é impedida por fatores externos de se tornar falsa.
Argumentos Na lógica estoica, um argumento é definido como um composto ou sistema de premissas e uma conclusão. Um silogismo estoico típico é: "Se é dia, é claro; É dia; Portanto, é claro". Ele possui uma asserção não simples para a primeira premissa ("Se é dia, é claro") e uma asserção simples para a segunda premissa ("É dia"). A lógica estoica também usa variáveis que representam proposições para generalizar argumentos da mesma forma. Em termos mais gerais, este argumento seria: "Se p, então q; p; Portanto q."
Argumentos indemonstráveis Crisipo listou cinco formas básicas de argumentos, chamadas indemonstráveis, às quais todos os outros argumentos são redutíveis: Argumentos indemonstráveis Nome Descrição Exemplo Modus ponens Se p, então q. p. Portanto, q. Se é dia, está claro. É dia. Portanto, está claro. Modus tollens Se p, então q. Não q. Portanto, não p. Se é dia, há luz. Não há luz. Portanto, não é dia. Modus ponendo tollens Não ambos p e q. p. Portanto, não q. Não é dia e noite ao mesmo tempo. É dia. Portanto, não é noite. Modus tollendo ponens forte Ou p ou q. Não p. Portanto, q. É dia ou é noite. Não é dia. Portanto, é noite. Modus ponendo tollens forte Ou p ou q. p. Portanto, não q. É dia ou é noite. É dia. Portanto, não é noite.
Pode haver muitas variações desses cinco argumentos indemonstráveis. Por exemplo, as afirmações nas premissas podem ser mais complexas, e o seguinte silogismo é um exemplo válido do segundo indemonstrável (modus tollens): "se p e q, então r; não r; portanto não: p e q". Da mesma forma, pode-se incorporar a negação nesses argumentos. Um exemplo válido do quarto indemonstrável (modus tollendo ponens forte ou silogismo disjuntivo exclusivo) é: "ou [não p] ou q; não [não p]; portanto q", que, incorporando o princípio da dupla negação , é equivalente a: "ou [não p] ou q; p; portanto q."
Física