Metamodeling abduction = La méta-modélisation de l'abductionNEPOMUCENO-FERNANDEZ, Angel; SOLER-TOSCANO, Fernando.Theoria (Madrid). 2007, Vol 22, Num 60, pp 285-293, issn 0495-4548, 9 p.Article

Vérité mathématique, cohérence logique et vérification informatique = Mathematical truth, logical consistency and mechanical verificationHUET, Gérard.Science & devenir de l'homme. 2006, Num 49, issn 1811-2595, 42-61, 87 [21 p.]Article

Dispositions = Les dispositionsHEIL, John.Synthese (Dordrecht). 2005, Vol 144, Num 3, pp 343-356, issn 0039-7857, 14 p.Conference Paper

Coherence and nonmonotonicity in human reasoning = Cohérence et non-monotonie dans le raisonnement humainPFEIFER, Niki; KLEITER, Gernot D.Synthese (Dordrecht). 2005, Vol 146, Num 1-2, pp 93-109, issn 0039-7857, 17 p.Article

Axiomatics without foundations. On the model-theoretical viewpoint in modern axiomatics = L'axiomatique sans fondement. Le point de vue de la théorie des modèles en axiomatiqueLENHARD, Johannes.Philosophia scientiae. 2005, Vol 9, Num 2, pp 97-107, issn 1281-2463, 11 p.Conference Paper

Nonstandard semantics for modal logic and the concept of a logically possible world = La sémantique non standard de la logique modale et le concept logique de monde possibleJACQUETTE, Dale.Philosophia scientiae. 2005, Vol 9, Num 2, pp 239-258, issn 1281-2463, 20 p.Conference Paper

Falsity conditions for IF-sentences = Les conditions de fausseté des phrases IFDECHESNE, Francien.Philosophia scientiae. 2005, Vol 9, Num 2, pp 305-322, issn 1281-2463, 18 p.Conference Paper

On an application of categoricity = A propos d'une application de la catégoricitéPASEAU, Alexander; WALMSLEY, James.Proceedings of the Aristotelian Society. 2005, Vol 105, pp 411-421, issn 0066-7374, 10 p., 3Article

Participation and immersion in Walton and Calvino = Participation et immersion chez Walton et CalvinoSIMPSON, M. Carleton.Philosophy and literature (Print). 2005, Vol 29, Num 2, pp 321-336, issn 0190-0013, 16 p.Article

Evolution and the problem of altruism = L'évolution et le problème de l'altruismeCARTER, Alan.Philosophical studies. 2005, Vol 123, Num 3, pp 213-230, issn 0031-8116, 18 p.Article

Preuves et jeux sémantiques = Proofs and semantical gamesBONNAY, Denis.Philosophia scientiae. 2004, Vol 8, Num 2, pp 105-123, issn 1281-2463, 19 p.Article

Abduction through grammar, critic, and methodeutic = L'abduction dans la grammaire, la critique et la méthodeutiquePAAVOLA, Sami.Transactions of the Charles S. Peirce Society. 2004, Vol 40, Num 2, pp 245-270, issn 0009-1774, 26 p.Article

Mathematics and the Mind = Les mathématiques et l'espritREDHEAD, Michael.The British journal for the philosophy of science. 2004, Vol 55, Num 4, pp 731-737, issn 0007-0882, 7 p.Article

Modus Tollens probabilized = La probabilité du modus tollensWAGNER, Carl G.The British journal for the philosophy of science. 2004, Vol 55, Num 4, pp 747-753, issn 0007-0882, 7 p.Article

Mathematical reasoning vs. abductive reasoning: A structural approach = Raisonnement mathématique et raisonnement abductif: une approche structurelleALISEDA, Atocha.Synthese (Dordrecht). 2003, Vol 134, Num 1-2, pp 25-44, issn 0039-7857, 20 p.Article

The pragmatism of Hilbert's programme = Le pragmatisme du programme de HilbertPECKHAUS, Volker.Synthese (Dordrecht). 2003, Vol 137, Num 1-2, pp 141-156, issn 0039-7857, 16 p.Conference Paper

The Stalnaker-Lewis approach to counterfactuals = L'approche des contrefactuels par Stalnaker et LewisTOOLEY, Michael.The Journal of philosophy. 2003, Vol 100, Num 7, pp 371-377, issn 0022-362X, 7 p.Article

Reasoning on a tight budget: Lesniewski's nominalistic metalogic = Un raisonnement étroit: la métalogique nominaliste de LesniewskiSIMONS, Peter.Erkenntnis. 2002, Vol 56, Num 1, pp 99-122, issn 0165-0106Article

Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory = Les concepts et les buts de l'interprétation fonctionnelle: pour une interprétation fonctionnelle de la théorie constructive des ensemblesBURR, Wolfgang.Synthese (Dordrecht). 2002, Vol 133, Num 1-2, pp 257-274, issn 0039-7857, 18 p.Conference Paper

The Logical Objectivism' of Gottlob Frege: A possible answer as to the applicability of mathematics = L'objectivisme logique de Frege: une réponse possible à l'applicabilité des mathématiquesPOTAGA, Anna.Philosophical inquiry. 2002, Vol 24, Num 3-4, pp 77-94, issn 1105-235XArticle

Hilbert's programme and Gödel's Theorems = Le programme de Hilbert et les théorèmes de GödelNIEBERGALL, Karl-Georg; SCHIRN, Matthias.Dialectica (Bienne). 2002, Vol 56, Num 4, pp 347-370, issn 0012-2017, 24 p.Article

New axiomatizations of VerⁿMARTENS, David B.Logica trianguli. 2002, Num 6, pp 21-24, issn 1293-1934, 4 p.Article

Completud de dos calculos logicos de Leibniz = Completeness of two Logical systems of LeibnizCAICEDO, Xavier; MARTIN, Alejandro.Theoria (Madrid). 2001, Vol 16, Num 42, pp 539-558, issn 0495-4548Article

An introduction to Fregean semanticsRIVAS MONROY, M. Uxia.Logica trianguli. 2001, Num 5, pp 73-88, issn 1293-1934, 16 p.Article

Ontosemantic divergence and comparability of theoriesFALGUERA, José L.Logica trianguli. 1999, Num 3, pp 33-53, issn 1293-1934, 21 p.Article