એરિસ્ટોટલ બેઝિક્સ રચના  ઔપચારિક તર્કશાસ્ત્ર,  તેમના સમયના તમામ સિદ્ધાંતો પ્રથમ વ્યવસ્થિત સંગ્રહ બનાવી.