In this paper, we present an extension to the recently proposed Argument Interchange Format (AIF) to capture Walton’s argument schemes.

As a profession, we have standard practices for handling reasoning and argumentation. One feature of these practices is so familiar and pervasive that it is almost invisible: the medium of philosophical argumentation is prose. We spend a great deal of time articulating arguments in written prose, and identifying arguments in the writings of others. The dominance of prose goes beyond writing; ev...

The Doomsday Argument and the Simulation Argument share certain structural features, and hence are often discussed together (Bostrom 2003, Are you living in a computer simulation, Philosophical Quarterly, 53:243–255; Aranyosi 2004, The Doomsday Simulation Argument. Or why isn’t the end nigh, and you’re not living in a simulation, http://philsci-archive.pitt.edu/190/; Richmond 2008, Doomsday, Bi...

the contraposition (musāmita) argument is among the arguments for proving the finitude of dimensions that has received attention in discussing physics and has yielded some philosophical consequences. contraposition argument is based on the two concepts of motion and contraposition, and by proving the impossibility of the motion of circle in case of the infinitude of dimensions, it deals with th...

This paper describes our research on automatic semantic argument classification, using the PropBank data [Kingsbury et al., 2002]. Previous research employed features that were based either on a full parse or shallow parse of a sentence. These features were mostly based on an individual semantic argument and the relation between the predicate and a semantic argument, but they did not capture th...

Abstract. In this paper we define and verify a subclass of harmonic univalent functions involving the argument of complex-value functions of the form f = h + ¯g and investigate some properties of this subclass e.g. necessary and sufficient coefficient bounds, extreme points, distortion bounds and Hadamard product.Abstract. In this paper we define and verify a subclass of harmonic univalent func...