મુખ્ય વિચાર વૈજ્ઞાનિક ભાષા, ગણિત અર્થઘટન અને તર્ક તરીકે ઔપચારિક વૈજ્ઞાનિક ફેરફારો ગણિત અને તર્ક વિયેના સર્કલ સહભાગીઓને દ્વારા કરવામાં આવી લોજિકલ વિશ્લેષણ માટે ફિલોસોફિકલ જ્ઞાન ચકાસણી નોંધ સિદ્ધાંત હાજર ફિલસૂફી છે.