Dada la expansión de Alejandro Magno surge el Helenismo entre los siglos VI-II a.C., que sitúa su capital en Alenjandría. Esta nueva corriente remodela los conceptos, si bien no establece ninguna variación drástica respecto a la física, introduce novedades éticas.

La idea de la polis como dimensión social pierde importancia, ganando protagonismo el individuo en sí. Aparecen algunas escuelas (Epicureísmo, estoicismo y escepticismo) de las que nos centraremos en dos:

- El epicureísmo propone una fisica atomista, basada en el materialismo, mecanicismo y la indeterminación (demostrada con el choque al azar de los átomos, teleología). Esta corriente propone una ética paradigmática, cuyo modelo a seguir es el sabio, aquel que logra un equilibrio entre en placer y el dolor. Se sugiere que el hombre no es feliz debido a sus temores: los dioses, el destino y la muerte y reniega de esos temores mostrándolos absurdos. El hombre también teme al dolor, en contraposición al placer, medio para llegar a la felicidad.

- El estoicismo propone un nuevo modelo de lógica, la proposicional, para la cual las proposiciones (segmentos del lenguaje indicativo con sentido completo) no han de dividirse. Las proposiciones se simbolizan con letras minúsculas a partir de la p, y pueden ser verdaderas (1) o falsas (0). Las proposiciones únicas se denominan atómicas, mientras que la unión de varias proposiciones atomicas conforman, unidas mediante conjunciones o conectivas, una proposición molecular.
Se denominara tabla de verdad a la deducción lógica representada según los criterios proposicionales de las conjunciones. El número de filas que corresponde a una tabla de verdad viene dado por la potencia dos elevada al número de atómicas. Cuando un razonamiento resuelto por tabla de verdad resulta todo verdad, todo 1, se tratará de un razonamiento tautológico, que no puede ser negado.
Para algunas moleculares demasiado largas resulta más sencillo emplear el método de "reducción a lo absurdo" mediante el cual se van deduciendo el valor verdadero o falso de cada atómica. Si se llega a una contradicción en alguna atómica, la deducción en ese parámetro es errónea. Las tablas a seguir para las conjunciones son las siguientes:

 

p

q

^

v

->

<->

1

1

1

1

1

1

1

0

0

1

0

0

0

1

0

1

1

0

0

0

0

0

1

1