Philosophie des sciencesLa philosophie des sciences est la branche de la philosophie qui étudie les fondements philosophiques, les méthodes et les implications de la science, qu'il s'agisse de sciences naturelles ou de sciences sociales. La philosophie des sciences a pour objet la définition de la science, son but et la fiabilité des théories. Dans cette optique, elle s'appuie sur la philosophie (métaphysique, ontologie, éthique) et l'histoire des sciences.
Philosophie du langageLa philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.
Philosophie occidentaleLa philosophie occidentale désigne la pensée philosophique et son élaboration en Occident, se distinguant ainsi de la philosophie orientale ou d'autres tendances diverses observées chez plusieurs peuples autochtones. Le terme est récent et est inventé pour désigner la pensée philosophique de la civilisation occidentale depuis ses racines grecques, en Grèce antique (voir philosophie antique) et couvrant éventuellement une grande partie du globe incluant l'Amérique du Nord et l'Australie.
Ludwig Wittgenstein'Ludwig Josef Johann Wittgenstein', né à Vienne en Autriche le et mort à Cambridge au Royaume-Uni le , est un philosophe, mathématicien, ingénieur, pédagogue et architecte de nationalité autrichienne, puis, à partir de 1939, britannique, ayant exploré de manière décisive certains domaines fondamentaux de la connaissance tels que la logique, les fondements des mathématiques et la philosophie du langage.
Empirisme logiqueL'empirisme logique (parfois nommé positivisme logique, néo-positivisme, ou empirisme rationnel) est une école philosophique principalement illustrée par le Cercle de Vienne, fondée par un groupe réunissant des scientifiques et philosophes viennois dans les années 1920. Le Cercle de Vienne était avant tout un lieu de discussion entre scientifiques (Niels Bohr et Einstein y sont occasionnellement intervenus) et philosophes qui ne partageaient pas les mêmes convictions.
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Philosophie analytiqueL'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du et au début du , pour éclairer les grandes questions philosophiques. Sa démarche s'appuie sur une analyse logique du langage cherchant à mettre en évidence les erreurs de raisonnement que celui-ci peut induire et faisant ainsi de la « clarification logique des pensées » le but de la philosophie selon le mot de Ludwig Wittgenstein dans le célèbre Tractatus logico-philosophicus.
