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

Logic and Foundations of Mathematics Commons

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

2014

Discipline
Institution
Keyword
Publication
Publication Type

Articles 1 - 30 of 31

Full-Text Articles in Logic and Foundations of Mathematics

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

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 Dec 2014

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 Dec 2014

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 Dec 2014

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 Dec 2014

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 Dec 2014

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 Dec 2014

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 Dec 2014

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 Dec 2014

“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 Dec 2014

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 Dec 2014

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 Oct 2014

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 Aug 2014

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 Aug 2014

“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 Aug 2014

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 Aug 2014

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 Aug 2014

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 Aug 2014

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 Aug 2014

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 May 2014

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 …


Effects Of Light Brushing On Clinical Pain Intensity And Experimental Pain Sensitivity In Fibromyalgia Patients, Melissa Wassink May 2014

Effects Of Light Brushing On Clinical Pain Intensity And Experimental Pain Sensitivity In Fibromyalgia Patients, Melissa Wassink

All-Inclusive List of Electronic Theses and Dissertations

No abstract provided.


Measuring The Effects Of An American Physiological Society’S Phun Week Activity On 2nd Grade Students, James Edelman May 2014

Measuring The Effects Of An American Physiological Society’S Phun Week Activity On 2nd Grade Students, James Edelman

All-Inclusive List of Electronic Theses and Dissertations

In the last few years the United States has been on the decline in the fields of science and technology. The American Physiological Society (APS) has developed a program to engage young minds with scientists. Physiology Understanding Week (PhUn) is the APS initiative to use interactive experiments to engage school-age children with science and physiology. Even though PhUn Week has been going on since 2005, systematic assessment of the activities effects is rare. Here, we sought to assess if an APS PhUn Week activity enhances physiology understanding and interest in science in second grade children form a rural area. The …


Using Stable Isotope Analysis To Study Altitudinal And Latitudinal Bat Migration, Lily Arias May 2014

Using Stable Isotope Analysis To Study Altitudinal And Latitudinal Bat Migration, Lily Arias

All-Inclusive List of Electronic Theses and Dissertations

The general lack of knowledge on basic aspects of the biology of temperate and tropical bats, their low reproductive rates, and threats such as white-nose syndrome, wind farms, and habitat loss, make them very susceptible to population declines. My research uses an innovative technique, the analysis of stable isotopes, to study the ecology of bat migration with the main goals of contributing significantly to the understanding of bat biology and assessing the conservation status and susceptibility of bats. In the first chapter, I measured the content of hydrogen isotopes in fur samples of migratory bat species killed at a wind …


Factors Affecting The Probability Of Acoustic Detection And Site Occupancy Of Bats In Central Indiana, Zachary David Epping Kaiser May 2014

Factors Affecting The Probability Of Acoustic Detection And Site Occupancy Of Bats In Central Indiana, Zachary David Epping Kaiser

All-Inclusive List of Electronic Theses and Dissertations

Documenting the presence of rare bat species can be difficult. The current summer survey protocol for the federally endangered Indiana bat (Myotis sodalis) requires passive acoustic sampling with directional microphones (e.g., Anabats), but there are still questions about best practices for choosing survey sites and appropriate detector models. Indiana bats are capable of foraging in an array of cover types, including structurally-complex, interior forests. Further, data acquisition among different commercially available bat detectors is likely highly variable, due to the use of proprietary microphones with different frequency responses, sensitivities, and directionality. We paired omnidirectional Wildlife Acoustic SM2BAT+ (SM2) and directional …


The Ecology And Morphology Of Deep-Sea Benthic Foraminifera: The Australian Margin And Epifaunal Pore Characteristics, Jake Willingham May 2014

The Ecology And Morphology Of Deep-Sea Benthic Foraminifera: The Australian Margin And Epifaunal Pore Characteristics, Jake Willingham

All-Inclusive List of Electronic Theses and Dissertations

The distribution and abundance patterns of modern benthic foraminifera are used by paleoceanographers to assess changes in ocean conditions over geologic time. Examination of modern foraminiferal analogs provides the means to determine how these single-celled protists record clues about ambient conditions in their morphology and abundance/distribution patterns. Abundance and vertical distribution patterns of deep-sea benthic foraminifera were examined along the South Australian Margin and Tasman Sea of Australia. This was one of the first studies to examine microhabitat preferences of living (Rose Bengal stained) deep-sea benthic foraminifera within the region. A total of 11 sediment cores were collected via multicorer. …


Perceived Vs Actual Clinical Performance Of Athletic Training Students, Joseph C. Rosauer May 2014

Perceived Vs Actual Clinical Performance Of Athletic Training Students, Joseph C. Rosauer

All-Inclusive List of Electronic Theses and Dissertations

Context: Research has suggested a knowledge gap exist within the healthcare community. Identifying potential knowledge gaps and the use of self-reflection can be used to decrease these gaps can affect patient outcomes. Objective: To determine if knowledge gaps do exist within athletic training student’s (ATS) clinical education. Design: Longitudinal non-experimental retrospective study. Subjects: 141 mid semester evaluations of sophomore ATS over a four year period. Main Outcome Measures: We assessed potential knowledge gaps of ATS in the clinical setting. We calculated the difference between a preceptor evaluation of the student and student’s self-evaluation using a One-way ANOVA. We also looked …


Phytol Derived Immunoadjuvants As Oil-In-Water Micro-Emulsions For Use In Vaccines, Dylan M. Johnson Mar 2014

Phytol Derived Immunoadjuvants As Oil-In-Water Micro-Emulsions For Use In Vaccines, Dylan M. Johnson

All-Inclusive List of Electronic Theses and Dissertations

The main objective of this study is to evaluate an oil-in-water micro-emulsion of phytanol which we have named PHIS59 with multiple antigens: ovalbumin, a protein and microorganism that include a reference laboratory strain of methicillin susceptible Staphylococcus aureus (MSSA) and methicillin resistant S. aureus (MRSA). PHIS59 was compared with the previously described crude oil-in-water emulsion PHIS-01 and the similarly formulated squalene as an oil-in-water micro-emulsion based on the commercial product MF59 referred to here as NV59. Safety and efficacy of PHIS59 and NV59 was evaluated in a mouse and rabbit vaccine models. Determinations of safety were reported as the range …


Consciousness, Quantum Physics, And Hermeneutical Phenomenology, Patrick Aidan Heelan S.J. Jan 2014

Consciousness, Quantum Physics, And Hermeneutical Phenomenology, Patrick Aidan Heelan S.J.

Research Resources

Two hundred years ago Friedrich Schleiermacher modified Kant’s notion of anthropology—‘hermeneutically,’ as he said — so as to make it inclusive of the tribes that Captain Cook found in the South Sea Islands. This paper honors the late Joseph J. Kockelmans for making a similar hermeneutic move to update Kant’s notion of natural science so as to make it inclusive of the phenomenological lifeworld (For ‘lifeworld,’ see Husserl’s The Crisis of European Sciences and Transcendental Philosophy, 1954, 121–148, and the ‘lifeworld’ theme throughout the Crisis. ) syntheses of classical, relativity, and quantum physics. The new synthesis is in …


Euler, Reader Of Newton: Mechanics And Algebraic Analysis, Sébastien Maronne, Marco Panza Jan 2014

Euler, Reader Of Newton: Mechanics And Algebraic Analysis, Sébastien Maronne, Marco Panza

MPP Published Research

We follow two of the many paths leading from Newton’s to Euler’s scientific productions, and give an account of Euler’s role in the reception of some of Newton’s ideas, as regards two major topics: mechanics and algebraic analysis. Euler contributed to a re-appropriation of Newtonian science, though transforming it in many relevant aspects. We study this re-appropriation with respect to the mentioned topics and show that it is grounded on the development of Newton’s conceptions within a new conceptual frame also influenced by Descartes’s views sand Leibniz’s formalism.


Why We Still Do Not Know What A “Real” Argument Is, G. C. Goddu Jan 2014

Why We Still Do Not Know What A “Real” Argument Is, G. C. Goddu

Philosophy Faculty Publications

In his recent paper, “What a Real Argument is,” Ben Hamby attempts to provide an adequate theoretical account of “real” arguments. In this paper I present and evaluate both Hamby’s motivation for distinguishing “real” from non-“real” arguments and his articulation of the distinction. I argue that neither is adequate to ground a theoretically significant class of “real” arguments, for the articulation fails to pick out a stable proper subclass of all arguments that is simultaneously both theoretically relevant and a proper subclass of all arguments.