166e Assemblée annuelle de la Société Helvétique des Sciences Naturelles: Séances de Logique et Philosophie des Sciences