China
Africa
Explore chapters and articles related to this topic
Health, safety, security, and the environment
Published in Andrew Livesey, Motorcycle Engineering, 2021
The Health and Safety Act is designed to ensure that: Employers provide a safe working environment with safety equipment and appropriate trainingEmployees work in a safe manner using the equipment provided and follow the guidance and training that is providedCustomers and others entering any business premises are safe and protected
A logic for best explanations
Published in Journal of Applied Non-Classical Logics, 2019
Jared Millson, Christian Straßer
One of the hallmarks of DIME is the distinctive brand of stability that it attributes to our best explanations – a comparative property among defeasible inferences that we call sturdiness.11 An inference is sturdy just in case it succeeds when all other non-trivial inferences that share its conclusion fail, where by ‘failure’ we mean defeat and by ‘success’, the lack of defeat. To test a candidate inference for sturdiness, we take its set of competitors, i.e. the logically weakest or minimal premise-sets that non-trivially imply its conclusion, and we suppose that each member of each premise-set is false. Recall that premise-consistent, defeasible inferences are defeated when information that yields inconsistency is added to their premises. Since competitors are premise-consistent, adding the negation of their premises defeats them. Thus, the test of sturdiness allows us to see whether the candidate remains undefeated under conditions that defeat its competitors (i.e. when the latter's premises are false).
On searching explanatory argumentation graphs
Published in Journal of Applied Non-Classical Logics, 2020
The search space can be immense. It has been reduced to particular super well-formed argumentation graphs induced by the statements labelled in the given dataset: we set up a -labelling, so that any argumentation graph of the search space is such that every argument is either a ‘premise argument’ (i.e. an argument whose conclusion is a premise) or a ‘target argument’ (i.e. an argument whose conclusion is a target and all its direct subarguments are premise arguments) or an assumptive argument whose conclusion is neither a premise nor a target. Amongst these super well-formed graphs, some graphs can be found to be both consistent with the dataset and interesting.
Approaching Euclidean proofs through explorations with manipulative and digital artifacts
Published in International Journal of Mathematical Education in Science and Technology, 2022
Giovanna Valori, Belén Giacomone, Veronica Albanese, Natividad Adamuz-Povedano
A deductive argument was formulated by working with the material diagram (argument A2 with artifact L2). The deductive argument A2 presents an implicit premise: ∠ADB congruent to ∠BDC. This implicit premise was later made explicit and proved (deductive argument A3 with artifact L3) after the use of the angle-measuring tool in the digital environment. Therefore, we believe that, in this instance, the use of measure (here with a discursive apprehension) in the digital environment allowed the student to recall the meanings of the folds and to reorganize their previous knowledge in order to develop a deductive argument.