Ibn Khaldūn, 1332-1406; criticism and interpretation; Arab civilization; islamic civilization; intellectuals and intellectual life.

A new class of program-oriented logical formalisms is investigated – renominative logics with extended renominations, equality predicates, and predicate complement composition. Composition algebras and languages of such logics are described; their semantic properties are investigated. For these logics, a number of logical consequence relations are proposed and investigated, in particular, the logical consequence relations with undefinedness conditions. Properties of these relations form the semantic basis for further construction of sequent-type calculi for the proposed logics.

In “Modern Moral Philosophy” Anscombe argues that the distinction between intention of an end or means and foresight of a consequentially comparable outcome proves crucial in act-evaluation. The deontologist J. J. Thomson disagrees. She asserts that Anscombe mistakes the distinction’s moral import; it bears on agent-evaluation, not act-evaluation. I map out the contours of this dispute. I show that it implicates other disagreements, some to be expected and others not to be expected. Amongst the expected, one finds the ethicists’ accounts (...) of action and understanding of how agent-assessment relates to act-assessment. Amongst the unexpected, one finds the moralists’ views about the possibility of self-imposed moral dilemmas and allied positions concerning temporal aspects of “ought implies can.” Anscombe’s employment of the distinction in act-evaluation withstands close scrutiny; Thomson’s denial of it does not. (shrink)

In “Modern Moral Philosophy” Anscombe argues that the distinction between intention of an end or means and foresight of a consequentially comparable outcome proves crucial in act-evaluation. The deontologist J. J. Thomson disagrees. She asserts that Anscombe mistakes the distinction’s moral import; it bears on agent-evaluation, not act-evaluation. I map out the contours of this dispute. I show that it implicates other disagreements, some to be expected and others not to be expected. Amongst the expected, one finds the ethicists’ accounts (...) of action and understanding of how agent-assessment relates to act-assessment. Amongst the unexpected, one finds the moralists’ views about the possibility of self-imposed moral dilemmas and allied positions concerning temporal aspects of “ought implies can.” Anscombe’s employment of the distinction in act-evaluation withstands close scrutiny; Thomson’s denial of it does not. (shrink)

Supercommentary on the inference (anumāna) part of Raghunātha Śiromaṇi's Tattvacintāmaṇidīdhiti, 16th century commentary on Gaṅgésa's Tattvacintāmaṇi, 13th century basic work of the neo-Nyaya school in Hindu philosophy.

Ṭūsī, Naṣīr al-Dīn Muḥammad ibn Muḥammad, 1201-127 ; Risālah-i is̲bāt al-ʻaql - Criticism and interpretation.

Collected sayings of Muslim Caliphs and saints.