Switch to: References

Add citations

You must login to add citations.
  1. Reconstructor: A Computer Program That Uses Three-Valued Logics to Represent Lack of Information in Empirical Scientific Contexts.Ariel Jonathan Roffé - 2019 - Journal of Applied Non-Classical Logics 30 (1):68-91.
    ABSTRACTIn this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify a (...)
    Export citation