This research refers to the previous studies on the semantic understanding of the English Counterfactual Conditionals linguistically and aims at revising the Conceptual Integration Theory to find out a better model of explaining the semantic understanding of the English Counterfactual Conditionals. Through the theoretical inference and analysis of some live samples of these conditionals, the va...

An infestation of termites is weakening mathematical writing. We all too often resort to wishy-washy conditionals such as ‘can be’ or ‘wish to’ hidden within the body of sentences. Just as termites weaken a building, these conditionals erode writing by turning what should be definite statements into weak conditionals. Get rid of them. If in your analysis or computational experiments you do some...

A functor is constructed from the category of globular CW-complexes to that of flows. It allows the comparison of the S-homotopy equivalences (resp. the T-homotopy equivalences) of globular complexes with the S-homotopy equivalences (resp. the T-homotopy equivalences) of flows. Moreover, it is proved that this functor induces an equivalence of categories from the localization of the category of...

Abstract The problem of probabilities conditionals is one the long‐standing puzzles in philosophy language. We defend and update Adams' solution to puzzle: probability an epistemic conditional not a proposition, but under supposition. Close inspection how triviality result unfolds concrete scenario does provide counterexamples view that are probabilities: instead, it supports conclusion violate...

The aim of this paper is to introduce the notion of cat$^{bf {1}}-$groupoids which are the groupoid version of cat$^{bf {1}}-$groups and to prove the categorical equivalence between crossed modules over groupoids and cat$^{bf {1}}-$groupoids. In section 4 we introduce the notions of crossed squares over groupoids and of cat$^{bf {2}}-$groupoids, and then we show their categories are equivalent....

Introduction The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘...

Searle represents constitutive norms as count-as conditionals, written as ‘X counts as Y in context C’. Grossi et al. study a class of these conditionals as ‘in context C, X is classified as Y ’. In this paper we propose a generalization of this relation among count-as conditionals, classification and context, by defining a class of count-as conditionals as ‘X in context C0 is classified as Y i...