Publications
Export 68 results:
Author Title Type [ Year
Filters: First Letter Of Title is S [Clear All Filters]
“The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. 

“The Scale Structure Of Moral Adjectives”. Studia Semiotyczne 31(2).
. 2017. 
“Social Epistemology Meets The Philosophy Of The Humanities”. Foundations of science 21 (1).
. 2016. 
“Splitting And Relevance: Broadening The Scope Of Parikh's Concepts”. Logique et Analyse 59(234): 173 -205.
. 2016. 
“Spoiled For Choice?”. Journal of Logic and Computation 26(1): 65-95.
. 2016. 
“Some Adaptive Contributions To Logics Of Formal Inconsistency” . New Directions in Paraconsistent Logic: 309 -333.
. 2015. 
“Sceptical Rationality”. Analytic Philosophy 55: 222–238.
. 2014. “Sequent-Based Argumentation For Normative Reasoning”. Deontic Logic and Normative Systems: Lecture Notes in Computer Science 8554: 224–240.
. 2014. 
“S\lupecki's Generalized Mereology And Its Flaws”. History and Philosophy of Logic 35: 289–300.
. 2014. 
“Stanislaw Leśniewski: Rethinking The Philosophy Of Mathematics”. European review 23: 125–138.
. 2014. 
Scientific Explanation. Springer.
. 2013. 
“The Status Of Functional Explanation In Psychology: Reduction And Mechanistic Explanation”. THEORY & PSYCHOLOGY 23: 145–163.
. 2013. 
“Strong And Weak Regress Arguments”. Logique & Analyse 56: 439–461.
. 2013. 
“Strong, Universal And Provably Non-Trivial Set Theory By Means Of Adaptive Logic”. Logic Journal of the IGPL 21: 108-125.
. 2013. 
“The Structure Of Scientific Theories, Explanation, And Unification. A Causal-Structural Account”. The British Journal for the Philosophy of Science 65: 717–771.
. 2013. 
“The Sceptic's Tools: Circularity And Infinite Regress”. Philosophical Papers 40: 359–369.
. 2011. 
“Strong Paraconsistency By Separating Composition And Decomposition In Classical Logic”. In WoLLIC 2011 Proceedings LNAI Series, WoLLIC 2011 Proceedings LNAI Series, . Springer. http://dx.doi.org/10.1007/978-3-642-20920-8\_26.
. 2011. 

“Supporting Design Knowledge Exchange By Converting Models Of Functional Decomposition”. JOURNAL OF ENGINEERING DESIGN 22: 839–858. http://dx.doi.org/10.1080/09544828.2011.603692.
. 2011. 
“Setting-Up Early Computer Programs: D. H. Lehmer's Eniac Computation” . Archive for Mathematical Logic 49: 123–146. http://dx.doi.org/10.1007/s00153-009-0169-8.
. 2010. 

“Solvability Of The Halting And Reachability Problem For Binary 2-Tag Systems”. Fundamenta Informaticae 99: 435–471.
. 2010. 

“Standards And The Distribution Of Cognitive Labour: A Model Of The Dynamics Of Scientific Activity”. Logic Journal of the IGPL 18: 278–294. http://dx.doi.org/10.1093/jigpal/jzp058.
. 2010. 

“The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010. 

“Slingshot Arguments: Two Versions”. The Reasoner 3: 4–5.
. 2009.