Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations of Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

674 Full-Text Articles 632 Authors 543,138 Downloads 64 Institutions

All Articles in Logic and Foundations of Mathematics

Faceted Search

674 full-text articles. Page 11 of 17.

Forall X: An Introduction To Formal Logic 1.30, P.D. Magnus 2014 University at Albany, State University of New York

Forall X: An Introduction To Formal Logic 1.30, P.D. Magnus

Philosophy Faculty Books

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.


On The Indispensable Premises Of The Indispensability Argument, Andrea Sereni, Marco Panza 2014 Institute for Advanced Studies IUSS

On The Indispensable Premises Of The Indispensability Argument, Andrea Sereni, Marco Panza

MPP Published Research

We identify four different minimal versions of the indispensability argument, falling under four different varieties: an epistemic argument for semantic realism, an epistemic argument for platonism and a non-epistemic version of both. We argue that most current formulations of the argument can be reconstructed by building upon the suggested minimal versions. Part of our discussion relies on a clarification of the notion of (in)dispensability as relational in character. We then present some substantive consequences of our inquiry for the philosophical significance of the indispensability argument, the most relevant of which being that both naturalism and confirmational holism can be dispensed …


The Essence Of A Gentleman: A Phenomenological Study Of Honor And Masculinity In Wabash College’S Gentleman’S Rule, Jacob Isaacs 2014 Indiana State University

The Essence Of A Gentleman: A Phenomenological Study Of Honor And Masculinity In Wabash College’S Gentleman’S Rule, Jacob Isaacs

All-Inclusive List of Electronic Theses and Dissertations

This dissertation examined how college men at Wabash College understand good behavior and masculinity while living under a subjective honor code: the Gentleman’s Rule. This included how students learned about and talk about the honor code and particular behaviors that students would identify as exemplifying the Gentleman’s Rule in action. To unearth this information, 12 current Wabash students were each individually interviewed for roughly an hour. Contributions from respondents were subjected to a phenomenological analysis to determine the essence of students’ experiences related to the Gentleman’s Rule. The study found that students typically learned about the Gentleman’s Rule as prospective …


An Examination Of Principals In Effective High-Poverty Middle Schools With High Achievement, Rhonda J. Mull 2014 Indiana State University

An Examination Of Principals In Effective High-Poverty Middle Schools With High Achievement, Rhonda J. Mull

All-Inclusive List of Electronic Theses and Dissertations

No abstract provided.


A Case Study Of Information System Security Compliance Of Small Medical And Dental Practices, Debra Landry Folse 2014 Indiana State University

A Case Study Of Information System Security Compliance Of Small Medical And Dental Practices, Debra Landry Folse

All-Inclusive List of Electronic Theses and Dissertations

Small medical and dental practices must comply with the Health Insurance Portability and Accountability Act (HIPAA) of 1996, and Title XIII Health Information Technology for Economic and Clinical Health (HITECH) of the American Recovery and Reinvestment Act (ARRA) of 2009. The case study, utilizing interviews, observations, and existing documentation of two medical and the two dental practices, not only analyzed the compliance solution choices made involving procedures and technologies, but also analyzed the emotion aspects of fear of non-compliance, perceived confidence in compliance, and the primary and secondary appraisals of the compelled compliance. Although compliance is not an easy process, …


The Impact Of Explicit Instruction On Preservice Teachers’ Conceptions Of Randomness, Jonica H. McBride 2014 Indiana State University

The Impact Of Explicit Instruction On Preservice Teachers’ Conceptions Of Randomness, Jonica H. Mcbride

All-Inclusive List of Electronic Theses and Dissertations

This study considered the impact of explicit teaching of misconceptions regarding randomness on cognitive growth of preservice teachers. Specifically, the purpose was to compile and validate instructional materials that facilitate preservice teachers’ conceptual understandings of randomness. The quasiexperimental design compared the cognitive effects of the instructional materials. Hence, in addition to the instructional materials, assessment instruments were compiled and validated. These items were intended to illuminate the cognitive growth resulting from the treatment instruction. The convenience sample of 67 students represented approximately one third of the teacher-education students enrolled in a mathematics education content course at this institution. Three sections …


Impact Of The 3-D Model Strategy On Science Learning Of The Solar System, Mohammed Alharbi 2014 Indiana State University

Impact Of The 3-D Model Strategy On Science Learning Of The Solar System, Mohammed Alharbi

All-Inclusive List of Electronic Theses and Dissertations

The purpose of this mixed method study, quantitative and descriptive, was to determine whether the first-middle grade (seventh grade) students at Saudi schools are able to learn and use the Autodesk Maya software to interact and create their own 3-D models and animations and whether their use of the software influences their study habits and their understanding of the school subject matter. The study revealed that there is value to the science students regarding the use of 3-D software to create 3-D models to complete science assignments. Also, this study aimed to address the middle-school students’ ability to learn 3-D …


An Environmental Value Engineering (Eve) Emergy Analysis Rubric To Compare High-Speed Passenger Rail And Interstate Passenger Car Transportation Alternatives Through A Fixed Distance, Joseph Threadcraft 2014 Indiana State University

An Environmental Value Engineering (Eve) Emergy Analysis Rubric To Compare High-Speed Passenger Rail And Interstate Passenger Car Transportation Alternatives Through A Fixed Distance, Joseph Threadcraft

All-Inclusive List of Electronic Theses and Dissertations

An Environmental Value Engineering (EVE) analysis was used to conduct an environmental life cycle assessment of transportation alternatives consisting of high-speed passenger rail and interstate passenger car transportation. This analysis was formulated on the EMERGY inputs of environment, fuel energy, goods, and services (labor). EMERGY input tables were calculated based on subsystem inputs for each mode of transportation. Areas of commonality were identified for analysis exclusion while aspects that showed differentiation were included as viable inputs into the calculation of the total EMERGY for each system. The summation of inputs resulted in an overall EMERGY calculation of the alternatives. Subsequently, …


“Aho! All My Relations:” Native Identity And Its Relationship To Psychological Well-Being, Jamie Ramsey 2014 Indiana State University

“Aho! All My Relations:” Native Identity And Its Relationship To Psychological Well-Being, Jamie Ramsey

All-Inclusive List of Electronic Theses and Dissertations

This is the first known study to examine the relationship between Native identity and psychological well-being, which is defined by Ryff in positive psychology as existential strengths. It is also the first known study to investigate the relationship between Native identity and blood quantum through quantitative measures. Overall, 199 Natives from two American Indian Centers, three Indiana powwows, and online from Facebook participated by completing the Ryff’s Scales of Psychological Well-being, Phinney’s Multigroup Ethnic Identity Measure, and demographic information. The main hypothesis was to explore whether any of the psychological well-being subscales (positive relations, autonomy, mastery of environment, self-acceptance, personal …


Defining Student Success And Identifying The Rhetorical Appeals That Colleges And Universities Use To Engage Students In The Pursuit Of Higher Education Degrees, Michael J. Baker 2014 Indiana State University

Defining Student Success And Identifying The Rhetorical Appeals That Colleges And Universities Use To Engage Students In The Pursuit Of Higher Education Degrees, Michael J. Baker

All-Inclusive List of Electronic Theses and Dissertations

The purposes of the study included examining how four-year institutions of higher education define student success, measuring student success, and examining how words associated with student success were used to appeal to people interested in college degree attainment. Information from the Carnegie Classification of Institutions of Higher Education was used to obtain a sample of 30 academic institutions with similar attributes to Indiana State University. Websites from Academic Affairs, Office of the President, and Student Affairs were examined for mentions of student success. Burke’s work with rhetorical appeals and the dramatistic pentad was used to analyze and interpret the mentions …


Teachers’ Perceptions Of Technology Effectiveness In High School, Heather L. Gianfagna 2014 Indiana State University

Teachers’ Perceptions Of Technology Effectiveness In High School, Heather L. Gianfagna

All-Inclusive List of Electronic Theses and Dissertations

The purpose of this study was to examine high school teachers’ perceptions of technology in the classroom, including technology access, usage, and effectiveness. This study was conducted by administering a survey to high school teachers, Grades 9 through 12, in Indiana. The survey, entitled Teachers’ Perceptions of Technology Effectiveness in High Schools was used with high school teachers’ to determine their perceptions of technology access, usage, and effectiveness in classrooms. A total of 343 teachers submitted complete responses to the Teachers’ Perceptions of Technology Effectiveness in High Schools. I developed a survey to quantitatively measure the perceptions of teachers on …


Self-Referentiality In Constructive Semantics Of Intuitionistic And Modal Logics, Junhua Yu 2014 CUNY Graduate Center

Self-Referentiality In Constructive Semantics Of Intuitionistic And Modal Logics, Junhua Yu

Dissertations, Theses, and Capstone Projects

This thesis explores self-referentiality in the framework of justification logic. In this framework initialed by Artemov, the language has formulas of the form t:F, which means "the term t is a justification of the formula F." Moreover, terms can occur inside formulas and hence it is legal to have t:F(t), which means "the term t is a justification of the formula F about t itself." Expressions like this is not only interesting in the semantics of justification logic, but also, as we will see, necessary in applications of justification logic in formalizing constructive contents implicitly carried by modal and intuitionistic …


Philosophy Of Mathematics In The Twentieth Century: Selected Essays, Stewart Shapiro, Teresa Kouri Kissel 2014 Old Dominion University

Philosophy Of Mathematics In The Twentieth Century: Selected Essays, Stewart Shapiro, Teresa Kouri Kissel

Philosophy Faculty Publications

No abstract provided.


“The Moment I Came In It Got Much Easier . . . I Should Come Here More”: Student Experiences At Three Midwestern Lgbt Resource Centers, Burr Dyral Hartman II 2014 Indiana State University

“The Moment I Came In It Got Much Easier . . . I Should Come Here More”: Student Experiences At Three Midwestern Lgbt Resource Centers, Burr Dyral Hartman Ii

All-Inclusive List of Electronic Theses and Dissertations

Although LGBT resource centers have been fixtures on college and university campuses for more than 40 years, there is only limited research about these resource centers. To date no empirical evidence exists that supports the impact of LGBT resource centers in the experiences of undergraduate students who make use of these centers. This qualitative study examines the role LGBT resource centers play in the experiences of LGBT students at three Midwestern universities. The qualitative research methods employed for the study were case study and ethnography. Using semi-structured interview data and field observations, five major themes surfaced: (a) perceptions of campus …


Urban Flash Flood Risk Assessment And Inundation Model Utilizing Gis For Terre Haute, Indiana, Zachary Scott Ishman 2014 Indiana State University

Urban Flash Flood Risk Assessment And Inundation Model Utilizing Gis For Terre Haute, Indiana, Zachary Scott Ishman

All-Inclusive List of Electronic Theses and Dissertations

Use of ArcGIS to examine flash flooding variables and produce a flash flood risk assessment and inundation model for Terre Haute, Indiana. Risk assessment, produced within ArcGIS, indicates that an increase in developed area leads to an increase in very high flash flood risk area and majority of very high risk area resides in developed areas of Terre Haute. Inundation model, produced using ArcGIS and Python, indicates that the proposed model can determine locations of flash flooding, but spatial extent of model predicted flooding is not reliable based on field validation.


Finding The Correct Fit Or Quickly Finding An Exit For School Superintendents: Perceptions From Those Who Placed Them Or Are Commissioned To Replace Them, David Andrew Hoffert 2014 Indiana State University

Finding The Correct Fit Or Quickly Finding An Exit For School Superintendents: Perceptions From Those Who Placed Them Or Are Commissioned To Replace Them, David Andrew Hoffert

All-Inclusive List of Electronic Theses and Dissertations

The purpose of this study was to gain an essence and understanding of the phenomenon of short superintendency tenure through the qualitative lenses of superintendent search agents. Research questions included the roles of educational preparation, leadership qualities, and contextual factors in superintendent tenure. Superintendent search agents matching the criteria boundaries of working for an agency with at least 10 years of search experience and also the firm’s non-profit status were chosen for this research work. These criteria were used to reduce bias due to financial reward and lack of institutional or association experience. Two semi-structured interviews were conducted with superintendent …


Posttraumatic Stress Disorder, Borderline Personality Disorder, And Disorders Of Extreme Stress, Not Otherwise Specified; A Vignette Study Exploring Va And Private Sector Clinicians’ Diagnostic Perceptions, Sara B. Lacy 2014 Indiana State University

Posttraumatic Stress Disorder, Borderline Personality Disorder, And Disorders Of Extreme Stress, Not Otherwise Specified; A Vignette Study Exploring Va And Private Sector Clinicians’ Diagnostic Perceptions, Sara B. Lacy

All-Inclusive List of Electronic Theses and Dissertations

Due to the role of trauma in the etiology of posttraumatic stress disorder (PTSD), borderline personality disorder (BPD), and disorders of extreme stress, not otherwise specified (DESNOS), and noted similar clinical pictures, it is important to explore differential diagnosis. There is evidence that gender influences the diagnosis of PTSD and BPD and of an “anchoring effect” in which disclosure of childhood trauma early versus late in a case vignette results in more diagnoses of PTSD or BPD, respectively. Additionally, as many veterans seek care within the private sector, it is important to understand possible diagnostic differences between VA and private …


Effects Of The Interaction Of Religion And Internalized Homonegativity On Psychological Well-Being, Ashleigh C. Young 2014 Indiana State University

Effects Of The Interaction Of Religion And Internalized Homonegativity On Psychological Well-Being, Ashleigh C. Young

All-Inclusive List of Electronic Theses and Dissertations

The goal of the current research is to contribute to knowledge regarding the ways in which religion impacts the mental health of lesbian women and gay men. A body of existing literature shows support for religion as a means of bolstering psychological well-being. However, there is a dearth of research on the unique ways in which religious sexual minority individuals may be differentially affected by religion, considering the presence of heterosexist beliefs and norms in many mainline Western religions. The current research explores the effects of the interaction between religion and internalized homonegativity on psychological well-being. Possible relationships between religious …


A Dendrochronological Analysis Of Insect Outbreaks And Climate Effects On Tamarack From Indiana And Michigan, Nicholas Lorin Flinner 2014 Indiana State University

A Dendrochronological Analysis Of Insect Outbreaks And Climate Effects On Tamarack From Indiana And Michigan, Nicholas Lorin Flinner

All-Inclusive List of Electronic Theses and Dissertations

Disturbances have a strong impact on tree stand dynamics across the world. In North America, the larch sawfly (Pristiphora erichsonii) and larch casebearer (Cleophora laricella) are two non-native species of insects affecting tamarack across much of their native range. The majority of research on the effects of larch sawfly on tamarack (Larix laricina) has been conducted in Canada with very little dendrochronological work in the United States along the geographical boundary of tamarack or on the effects of larch casebearer on radial growth. As a consequence, very little is known about the relationship between tamarack and these insects’ outbreaks in …


Comparison Of Lower Trapezius Muscle Thickness In Patients With And Without Scapular Dyskinesis Measured With Diagnostic Ultrasound, Alex VanDeusen 2014 Indiana State University

Comparison Of Lower Trapezius Muscle Thickness In Patients With And Without Scapular Dyskinesis Measured With Diagnostic Ultrasound, Alex Vandeusen

All-Inclusive List of Electronic Theses and Dissertations

Context: Dyskinesis has been linked to deficits in muscular strength and neuromuscular control of the scapular stabilizers. Often, when treating overhead athletes with pathological shoulders, Athletic Trainers focus on rotator cuff and scapular muscle strength to find resolution, yet the role of the lower trapezius strength in scapular dyskinesis is not well understood. Objective: To identify differences among varying levels of scapular dyskinesis on lower trapezius muscle thickness and strength. To identify the relationship between lower trapezius muscle thickness and strength with varying levels of scapular dyskinesis . To identify the relationship between pain and function within varying levels of …


Digital Commons powered by bepress