Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .

The study assessed the conceptual understanding and attitude toward fractions of teacher education students in a socio-constructivist learning environment. Specifically, it determined the students’ level of conceptual understanding before and after instruction; verified the types of conceptual changes that occurred; and ascertained the attitude of students toward fractions before and after instruction and its relationship to their levels of understanding. Descriptive-correlational research method was used. Socio-constructivist context-based teaching method was employed to introduce the concept of fractions. Achievement tests and interviews (...) were administered to determine the students’ level of conceptual understanding. Conceptual analysis based on Jensen and Finley’s (1995) method with Tiberghien’s (1994) classification of changes was utilized to describe students’ conceptual understanding and conceptual changes. In order to determine their attitude on fractions, students were asked to answer the socio-constructivist attitude questionnaire. The level of conceptual understanding of teacher education students in fraction was functional misconception and partial understanding before and after instruction, respectively. The type of conceptual change that occurred among teacher education students was change for the better. Socio-constructivist learning more likely to improve students’ attitudes toward fractions; promoted prosocial behavior among students; and tend to increase students’ activeness in the classroom activities as evidenced. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

This paper formulates some paradoxes of inductive knowledge. Two responses in particular are explored: According to the first sort of theory, one is able to know in advance that certain observations will not be made unless a law exists. According to the other, this sort of knowledge is not available until after the observations have been made. Certain natural assumptions, such as the idea that the observations are just as informative as each other, the idea that they are independent, and (...) that they increase your knowledge monotonically (among others) are given precise formulations. Some surprising consequences of these assumptions are drawn, and their ramifications for the two theories examined. Finally, a simple model of inductive knowledge is offered, and independently derived from other principles concerning the interaction of knowledge and counterfactuals. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

According to an influential idea in the philosophy of set theory, certain mathematical concepts, such as the notion of a well-order and set, are indefinitely extensible. Following Parsons (1983), this has often been cashed out in modal terms. This paper explores instead an extensional articulation of the idea, formulated in higher-order logic, that flat-footedly formalizes some remarks of Zermelo. The resulting picture is incompatible with the idea that the entire universe can be well-ordered, but entirely consistent with the idea that (...) the sets of any set-theoretic universe can be. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

The fact that physical laws often admit certain kinds of space-time symmetries is often thought to be problematic for substantivalism --- the view that space-time is as real as the objects it contains. The most prominent alternative, relationism, avoids these problems but at the cost of giving abstract objects (rather than space-time points) a pivotal role in the fundamental metaphysics. This incurs related problems concerning the relation of the physical to the mathematical. In this paper I will present a version (...) of substantivalism that respects Leibnizian theses about space-time symmetries, and argue that it is superior to both relationism and the more orthodox form of substantivalism. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

My real position is that logic is a mere sub-branch of rhetoric, but in this paper I only try to show an area of overlap. Certain usages in logical work are metaphorical, and I argue that this has pernicious effects in a discipline assumed strictly literal. Among these pernicious effects are the bizarre and fruitless focus of philosophy of mathematics on the pseudo-problems of foundations and objects. I mostly examine the locution 'logical construction' and a range of associated metaphors. Some (...) sketchy remarks on the history of rhetoric are offered in explanation. (shrink)

The potential benefits of cognitive skills in enhancing mathematics ability have been claimed by numerous researchers. Since mathematics requires a complete understanding and grasp of abstract concepts, it is essential to explore how learning with metacognitive skills affects mathematics learning. Thus, the study investigates the students' metacognitive awareness and conceptual understanding of integers. A descriptive-correlational method approach was utilized, and it was carried out on 303 seventh-grade students. The data were obtained using a metacognitive awareness inventory and achievement test on (...) integers. It was further revealed that the students have average metacognitive awareness and performed well in the fundamental operation of integers. Follow-up qualitative analysis revealed that students who were high achievers had the best understanding, average achievers had corrected or incomplete understanding, and low achievers had a functional misconception of integers. Moreover, the student's metacognitive awareness was significantly related to their conceptual understanding of integers. This indicates that student's higher-order thinking skills, such as metacognition, are essential since they are associated with building conceptual skills. Thus, teachers should encourage students' metacognitive awareness to improve students' conceptual understanding of integers. The study provides relevant information for educational managers on the potential factors to be considered in improving mathematics education practices, particularly in promoting metacognition among high school students. (shrink)

In this article I argue that it is underdetermined what Spinoza is arguing for when he says in Proposition 72 of Part IV of the Ethics that (translated) "A free man never acts deceitfully, but always in good faith." In "Spinoza, Lying, and Acting in Good Faith," John Bauer has argued that Spinoza lays down an absolute moral prohibition never to lie.

An essay on the compatibility of Jewish and Muslim aspirations for the Land that argues that a vision of peaceful coexistence to provide a spur to the settling of grievances, but that this vision must respect the deeply felt aspirations of both communities, including in particular those underpinned by religious lore. Existing formulations of the aims of each community are blatantly inconsistent; it is time to attempt to characterise the just and religiously authentic goals of each community in ways that (...) are compatible. I argue that there religious and personal dimensions of the conflict that have been displaced by less deep-seated political goals, but which can be addressed more readily. I outline a tiered constitutional settlement that could address legitimate aspirations by avoiding the anathema of partition. (shrink)

Mathematics is considered one of the most challenging courses for many elementary pre-service teachers (EPTs). In hopes for improvement, teacher educators have been incorporating a jigsaw strategy to equip future teachers with the necessary competencies. Hence, the study aimed to determine the effectiveness of the jigsaw strategy with EPTs’ level of mathematics achievement and interest in an online cooperative learning environment. The research utilized a pre-experimental design with 40 participants. The researchers used pretest and posttest questions covering fraction operations and (...) a mathematics interest questionnaire before and after the intervention. With the implementation of the jigsaw strategy, results showed that the EPTs’ mathematics achievement improved while their interest in mathematics improved to some extent. Likewise, a significant difference between the pre-and post-intervention concerning the EPTs’ mathematics achievement and interest in mathematics was found. Furthermore, correlation analysis revealed that study time is negatively related to mathematics achievement, as is the overall level of interest in mathematics. These findings imply that a jigsaw strategy is a useful tool in teaching mathematics online. However, several modifications may be considered to recognize that the EPTs’ interest in mathematics varies from one person to another. Teacher education institutions are encouraged to apply this strategy not only for EPTs to increase their mathematical know-hows but also to serve as an example for them to employ in their future teaching careers. (shrink)

In this book chapter I argue that contrary to what is said by Paul Guyer in Kant (Routledge, 2006) Kant's moral philosophy prohibits the bystander from throwing the switch to divert the runaway trolley to a side track with an innocent person on it in order to save more people who are in the path of the trolley in the "Trolley Problem" case made famous by Judith Jarvis Thomson (1976; 1985). Furthermore, Thomson herself (2008) came to agree that it would (...) be wrong to throw the switch, just as it is wrong to push the person off the bridge to stop the trolley (1976; 1985). In changing her mind about this case, Thomson came to agree with Kant as well as with Philippa Foot (1967) who argued in her original paper that a negative duty not to harm one healthy patient outweighed a positive duty to give aid to five other patients by transplanting the healthy person's organs. (shrink)

The study determined the problem-solving performance and skills of prospective elementary teachers (PETs) in the Northern Philippines. Specifically, it defined the PETs’ level of problem-solving performance in number sense, measurement, geometry, algebra, and probability; significant predictors of their problem-solving performance in terms of sex, socio-economic status, parents’ educational attainment, high school graduated from and subject preference; and their problem-solving skills. The PETs’ problem-solving performance was determined by a problem set consisting of word problems with number sense, measurement, geometry, algebra, and (...) probability. A mixed-method research design was employed. Senior PETs purposively served as a sample where they mostly preferred to teach other subjects than mathematics. PETs who preferred math performed satisfactorily, while prospective teachers who opted for other subjects performed unsatisfactorily. The PETs’ unsatisfactory output indicates the need for remediation to advance the mathematical material skills and enrich the problem-solving abilities of these primary schools' potential teachers. Besides, results showed that subject preference strongly affected and predicted the problem-solving success of the PETs. PETs who preferred to teach mathematics performed significantly better than their counterparts; hence, mathematics as a field of specialization in the Bachelor of Elementary Education program may be considered by teacher education institutions. Further, most PETs displayed lack of problem-solving skills; thus, a Problem-Solving course is recommended for them. (shrink)

Mathematical modeling offers a promising approach to improving mathematics education. This study aims to determine if the concept of metacognitive awareness in the learning process is associated with mathematical modeling. This study also considers the interaction effect of sex and academic year level on both variables. Focusing the study on preservice elementary teachers might address potential issues and targeted intervention in their preparation program concerning their ability to teach and guide young learners in modeling activities. The research sample includes 140 (...) preservice elementary teachers at Central Luzon State University, Philippines. Data collection used an adapted metacognitive awareness inventory and a validated researcher-made mathematical modeling competency test aligned with the K-12 mathematics curriculum in the Philippines. Results revealed that the preservice elementary teachers had a high metacognitive awareness and mathematical modeling competency, ranging from 22 to 31 out of 36 points. Besides, Factorial ANOVA indicates that academic year level positively affects both variables regardless of sex, and stepwise regression analysis unveiled that information management, declarative knowledge, and planning significantly predict 41.4% of the mathematical modeling competency variance. This suggests that developing metacognitive awareness supports preservice elementary teachers in performing modeling tasks that improve their competency level in mathematics. (shrink)

According to Kantians, coercion and deception are the two fundamental kinds of wrongdoing. Although this may be true, I wish to argue against two other related assumptions about coercion and deception held by Kantians as well as non-Kantians. One is the assumption that coercion is morally worse than deception, all things being equal. The other is the assumption that whenever coercion is morally permissible, deception is morally permissibe, all things being equal. Both of these assumptions, I argue, are false. Deception (...) is morally worse than coercion, and deception is never morally permissible in virtue of the fact that coercion is morally permissible, whenever coercion is morally permissible. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In this review of John Shand's book on the history of western philosophy, I point out that the book is only concerned with epistemology and metaphysics, and only considers in detail the work of twenty individual philosophers. There are no entries on Socrates, Hobbes, Bentham, Schopenhauer, Mill, Kierkegaard, Marx, James, Frege, or Heidegger, and the final chapter on "Recent Philosophy" is only six and a half pages long, with each of the thirteen philosophers given a single paragraph each. Within these (...) narrow limits, Shand does an excellent job of presenting the epistemology and metaphysics of each major philosopher considered. (shrink)

This study determined the cognitive skills achievement in mathematics of elementary pre-service teachers as a basis for improving problem-solving and critical thinking which was analyzed using Piaget's seven logical operations namely: classification, seriation, logical multiplication, compensation, ratio and proportional thinking, probability thinking, and correlational thinking. This study utilized an adopted Test on Logical Operations (TLO) and descriptive research design to describe the cognitive skills achievement and to determine the affecting factors. Overall, elementary pre-service teachers performed with sufficient understanding in dealing (...) with the TLO. However, in each logical operation, students were found to have insufficient understanding of probability thinking and correlational thinking. These insufficiencies in other logical operations were attributed to their misconceptions on some mathematical terms, misinterpretation of the problems, poor comprehension skills, poor problem-solving skills, and poor performance in mathematics in general. (shrink)

In this chapter I argue that there are three different senses of 'lie' in Kant's moral philosophy: the lie in the ethical sense (the broadest sense, which includes lies to oneself), the lie in the 'juristic' sense (the narrowest sense, which only includes lies that specifically harm particular others), and the lie in the sense of right (or justice), which is narrower than the ethical sense, but broader than the juristic sense, since it includes all lies told to others, including (...) those who are bent on harming innocent others. (shrink)

This chapter both explains the origins of emotivism in C. K. Ogden and I. A. Richards, R. B. Braithwaite, Austin Duncan-Jones, A. J. Ayer and Charles Stevenson (along with the endorsement by Frank P. Ramsey, and the summary of C. D. Broad), and looks at MacIntyre's criticisms of emotivism as the inevitable result of Moore's attack on naturalistic ethics and his ushering in the fact/value, which was a historical product of the Enlightenment.

In this article Judith Jarvis Thomson's Good Samaritan Argument in defense of abortion in the case of rape is defended from two objections: the Kill vs. Let Die Objection, and the Intend to Kill vs. Merely Foresee Death Objection. The article concludes that these defenses do not defend Thomson from further objections from Peter Singer and David Oderberg.

Proficiency in solving mathematical problems is essential for preservice elementary teachers, as they will teach foundational math concepts and foster problem-solving abilities among young learners. However, many studies found low problem-solving performance among preservice teachers. In line with this, the present study examined how problem-solving disposition relates to the performance of preservice elementary teachers, conducted at a selected higher education institution in Nueva Ecija, Philippines, with 134 participants. The study utilized a mathematical problem-solving disposition and beliefs scale questionnaire and a (...) problem-solving test scored using the identify, define, explore, act, and look (IDEAL) model. Results indicated an average problem-solving disposition and high problem-solving performance among preservice teachers. Linear regression analysis showed that overall problem-solving disposition is a predictor of performance. Further, stepwise regression analysis revealed that two disposition parameters, mathematical mindset (β = 2.413, p < 0.01) and community of practice (β = 1.866, p < 0.01), significantly predicted problem-solving performance. These findings show the significance of developing a problem-solving disposition, mindset, and learning communities to improve future teachers’ problem-solving ability by providing more learning opportunities, interdisciplinary problems, and social engagements. (shrink)

Mindset plays a vital role in tackling the barriers to improving the preservice mathematics teachers’ (PMTs) conceptual understanding of problem-solving. As the COVID-19 pandemic has continued to pose a challenge, online learning has been adopted. This led this study to determining the PMTs’ mindset and level of conceptual understanding in problem-solving in an online learning environment utilising Google Classroom and the Khan Academy. A quantitative research design was employed specifically utilising a descriptive, comparative, and correlational design. Forty-five PMTs were chosen (...) through simple random sampling and willingly took part in this study. The data was gathered using validated and reliable questionnaires and problem-solving tests. The data gathered was analysed using descriptive statistics, analysis of variance, and simple linear regression. The results revealed that the college admission test, specifically numerical proficiency, influences a strong mindset and a higher level of conceptual understanding in problem-solving. Additionally, this study shows that mindset predicts the levels of conceptual understanding in problem-solving in an online environment where PMTs with a growth mindset have the potential to solve math problems. The use of Google Classroom and the Khan Academy to aid online instruction is useful in the preparation of PMTs as future mathematics teachers and problem-solvers. Further studies may be conducted to validate these reports and to address the limitations of this study. (shrink)

In this paper I argue that, although Kant argues that morality is independent of God (and hence, agrees with the Euthyphro), and rejects Divine Command Theory (or Theological Voluntarism), he believes that all moral duties are also the commands of God, who is a moral being, and who is morally required to punish those who transgress the moral law: "God’s justice is the precise allocation of punishments and rewards in accordance with men’s good or bad behavior." However, since we lack (...) a strict proof of God's existence, we can still fulfill our duties from the motive of duty. if we did know that God exists, then this would undermine our pure moral motivation to do our duty, since we would have an even stronger interest in pleasing God through our good conduct. The effect of undermining our pure moral motivation would be to make us less eligible for divine reward, since God rewards us for doing our duty from the motive of duty. (shrink)

Short survey of philosophical literature on the definition of lying and the ethics of lying.

In this essay I argue that Ridley Scott's first feature film, The Duelists, which is an adaptation of a Joseph Conrad novella, contains his deepest meditation on honor in his entire career. The film may be said to answer the following question about honor: is being bound to do something by honor, when it is contrary to one's self-interest, a good thing, or a bad thing? It may be said to give the answer that it may be either good or (...) bad. It is bad that D'Hubert is bound by honor to duel with Feraud; it is good that, in the end, Feraud is bound by honor to cease dueling with D'Hubert. In this way, Kant was correct that "the inclination to honor" may light "upon that which is in fact in the common interest and in conformity with duty," or it may light upon what is contrary to duty. (shrink)

Using the KenKen puzzle may improve students’ performance in operating integers. Quasi-experimental research was conducted to determine the effectiveness of this intervention on the performance and attitude of students in a collaborative learning environment. One hundred four purposively selected Grade 7 students in Nueva Ecija served as respondents and the experimentation lasted four days following the K to 12 Learners Manual. An increase in the student’s performance was found after utilizing the KenKen puzzle, where a significant difference between the posttest (...) and pretest was recorded after the four days of utilization of the puzzle. Besides, students’ attitude toward operating integers showed positivity as it is enjoyable, interesting, challenging, and developing creativity and critical thinking. Moreover, a strong relationship was found between the students’ performance and attitude in operating integers. This suggests that the KenKen puzzle helped improve the students’ performance and attitude in operating integers in a collaborative learning environment. (shrink)

In this essay I argue that Machiavelli does not hold that all deception is permissible in war. While Machiavelli claims that "deceit... in the conduct of war is laudable and honorable," he insists that such deceit, or ruses of war, is not to be confounded with perfidy. Any Lee's U.S. Civil War film, "Ride With the Devil," illustrates this difference. The film also illustrates the difference between lying as part of romance, which is permitted, and lying at the moment of (...) truth in a relationship, when admitting one's feelings, which is not. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

Abstract: The concept of debt financing has assumed considerable importance in recent years given the fundamental role debts now play in forming the financial structure of corporate firms. Quite evident in the debt finance literature is the juxtaposition between debt financing and corporate performance which suggests that debt financing can influence corporate performance. Against the narrow measures of debt financing which are common with most studies that have been carried out on the debt finance-performance dynamics; we attempted a more robust (...) combination of debt finance choices in modelling for corporate performance. Based on data gleaned from the audited annual reports of fifteen (15) consumer goods firms listed in the Nigerian Stock Exchange (NSE) for the period 2006 to 2017, results of the panel regression technique revealed that total debt, long-term debt and short-term debt to asset ratios positively influence the performance of consumer goods firms in Nigeria. Based on the findings of the study, we recommend, among others, that there is need for the Nigerian firms to rely less on short-term debts, which forms the major part of their leverage, and focus more on developing internal strategies that can help improve their performance. (shrink)

In this article I reject the argument of Colin McGinn ("Must I Be Morally Perfect?", 1992) that ordinary morality requires that each of us be morally perfect. McGinn's definition of moral perfection –– according to which I am morally perfect if I never do anything that is supererogatory, but always do what is obligatory, and always avoid doing what is impermissible –– should be rejected, because it is open to the objection that I am morally perfect if I always do (...) what is optional but bad to do (what is suberogatory), in addition to always doing what is obligatory and always avoiding what is impermissible. Moral perfection may be defined as always doing what is obligatory, and always doing what is optional but good to do (supererogatory), and never doing what is impermissible, and never doing what is optional but bad to do [suberogatory]. Since ordinary morality does not require this, ordinary morality does not require moral perfection. (shrink)