એરિસ્ટોટેલીયન તર્કશાસ્ત્ર અને આધુનિક સાંકેતિક તર્ક બંને જ્ઞાનના પ્રભાવશાળી સંસ્થાઓ છે જે બૌદ્ધિક સિદ્ધિઓની રચના કરે છે.