લોજિક, જે યોગ્ય તર્ક સિદ્ધાંત, તેમજ પુરાવા માટે શોધ છે.