LPL_software_manual

LPL_software_manual - LPL Software Manual LPL Software...

Info iconThis preview shows pages 1–10. Sign up to view the full content.

View Full Document Right Arrow Icon
LPL Software Manual
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Background image of page 2
LPL Software Manual Dave Barker-Plummer, Jon Barwise, John Etchemendy Albert Liu, Michael Murray, Emma Pease CSLI Publications
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Copyright c ± 1999, 2000, 2005, 2007, 2008, 2009, 2011 CSLI Publications Center for the Study of Language and Information Stanford University
Background image of page 4
Contents 1 Introduction 1 1.1 System requirements . . . . . . . . . . . . . . . . . . 2 1.2 Installing the applications . . . . . . . . . . . . . . . 3 1.3 Getting Help . . . . . . . . . . . . . . . . . . . . . . 3 2 Using Submit 5 2.1 Getting started . . . . . . . . . . . . . . . . . . . . . 5 2.2 Choosing files to submit . . . . . . . . . . . . . . . . 7 2.3 How you know your files were received . . . . . . . . 10 2.4 Preferences and User Data . . . . . . . . . . . . . . . 10 2.4.1 Proxy Server Settings . . . . . . . . . . . . . 11 2.4.2 Preferred Host Settings . . . . . . . . . . . . 11 2.4.3 Timeout settings . . . . . . . . . . . . . . . . 12 2.4.4 Personality . . . . . . . . . . . . . . . . . . . 12 2.4.5 Check for Updates . . . . . . . . . . . . . . . 13 3 Using Tarski’s World 14 3.1 Getting started . . . . . . . . . . . . . . . . . . . . . 14 3.1.1 Opening saved files . . . . . . . . . . . . . . . 15 3.1.2 Starting new files . . . . . . . . . . . . . . . . 16 3.1.3 Saving a file . . . . . . . . . . . . . . . . . . . 16 3.1.4 Closing Tabs . . . . . . . . . . . . . . . . . . 17 3.1.5 Reverting a File . . . . . . . . . . . . . . . . 17 3.1.6 Printing . . . . . . . . . . . . . . . . . . . . . 17 3.1.7 Quitting (Exiting) Tarski’s World . . . . . . 17 3.2 The World Panel . . . . . . . . . . . . . . . . . . . . 18 3.2.1 Adding blocks . . . . . . . . . . . . . . . . . 18 3.2.2 Selecting blocks . . . . . . . . . . . . . . . . . 18 3.2.3 Moving blocks . . . . . . . . . . . . . . . . . 18 v
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
vi / LPL Software Manual 3.2.4 Sizing and shaping blocks . . . . . . . . . . . 19 3.2.5 Naming blocks . . . . . . . . . . . . . . . . . 19 3.2.6 Deleting blocks . . . . . . . . . . . . . . . . . 19 3.2.7 Cutting, copying, and pasting blocks . . . . . 20 3.2.8 Hiding labels . . . . . . . . . . . . . . . . . . 20 3.2.9 2-D view . . . . . . . . . . . . . . . . . . . . 20 3.2.10 Rotating Worlds . . . . . . . . . . . . . . . . 21 3.3 The Sentence Panel . . . . . . . . . . . . . . . . . . . 21 3.3.1 Writing formulas . . . . . . . . . . . . . . . . 21 3.3.2 Commenting your sentences . . . . . . . . . . 22 3.3.3 Creating a list of sentences . . . . . . . . . . 22 3.3.4 Moving from sentence to sentence . . . . . . 22 3.3.5 Deleting sentences . . . . . . . . . . . . . . . 23 3.3.6 Typing symbols from the keyboard . . . . . . 23 3.3.7 Cutting, copying, and pasting . . . . . . . . . 24 3.4 Verifying syntax and truth . . . . . . . . . . . . . . . 24 3.5 Playing the game . . . . . . . . . . . . . . . . . . . . 25 3.5.1 Picking blocks and sentences . . . . . . . . . 26 3.5.2 Backing up and giving up . . . . . . . . . . . 26 3.5.3 Controlling the interaction in the game . . . 27 3.5.4 When to play the game . . . . . . . . . . . . 27 3.6 Preferences . . . . . . . . . . . . . . . . . . . . . . . 28 4 Using Fitch 30 4.1 Getting started . . . . . . . . . . . . . . . . . . . . . 30 4.1.1 The menus . . . . . . . . . . . . . . . . . . . 30 4.1.2 The proof tool bar . . . . . . . . . . . . . . . 32 4.1.3 The sentence tool bar . . . . . . . . . . . . . 32 4.1.4 The proof window . . . . . . . . . . . . . . . 33 4.2 Creating and editing proofs . . . . . . . . . . . . . . 33 4.2.1 Step numbers . . . . . . . . . . . . . . . . . . 34 4.2.2 The current focus . . . . . . . . . . . . . . . . 34 4.2.3 Moving the focus . . . . . . . . . . . . . . . . 34 4.2.4 Adding new steps . . . . . . . . . . . . . . . . 35 4.2.5 Entering sentences into steps . . . . . . . . . 35 4.2.6 Deleting steps . . . . . . . . . . . . . . . . . . 36 4.2.7 Specifying a step’s rule . . . . . . . . . . . . . 36 4.2.8 Changing a step’s rule . . . . . . . . . . . . . 37 4.2.9 Specifying a step’s supports . . . . . . . . . . 37 4.2.10 Checking steps and verifying proofs . . . . . 38
Background image of page 6
Contents / vii 4.2.11 Rule Defaults . . . . . . . . . . . . . . . . . . 39 4.2.12 Add Support Steps . . . . . . . . . . . . . . . 39 4.2.13 Starting and ending subproofs . . . . . . . . 39 4.2.14 Boxed constants in subproofs . . . . . . . . . 40 4.2.15 Collapsing subproofs . . . . . . . . . . . . . . 40 4.2.16 Deleting subproofs . . . . . . . . . . . . . . . 40 4.3 Goals . . . . . . . . . . . . . . . . . . . . . . . . . . 40 4.4 Copying and pasting . . . . . . . . . . . . . . . . . . 41 4.4.1 Copying and pasting sentences . . . . . . . . 41 4.4.2 Copying and pasting goal sentences . . . . . . 42 4.4.3 Copying and pasting ranges of steps . . . . . 42 4.5 Printing proofs . . . . . . . . . . . . . . . . . . . . . 43 4.6 Setting up exercises . . . . . . . . . . . . . . . . . . 43 4.6.1 Adding and deleting premises . . . . . . . . . 44 4.6.2 Adding and deleting goals . . . . . . . . . . . 44 4.6.3 Saving new problems . . . . . . . . . . . . . . 45 4.7 Preferences . . . . . . . . . . . . . . . . . . . . . . . 45 5 Using Boole 46 5.1 Getting started . . . . . . . . . . . . . . . . . . . . . 46 5.1.1 The menus . . . . . . . . . . . . . . . . . . . 46 5.1.2 The tool bars . . . . . . . . . . . . . . . . . . 47 5.1.3 The assessment pane . . . . . . . . . . . . . . 48 5.1.4 The table pane . . . . . . . . . . . . . . . . . 48 5.1.5 Adjusting the table pane . . . . . . . . . . . 49 5.2 Writing and editing tables . . . . . . . . . . . . . . . 49 5.2.1 Entering target sentences . . . . . . . . . . . 49 5.2.2 Creating reference columns . . . . . . . . . . 50 5.2.3 Filling in truth values . . . . . . . . . . . . . 50 5.3 Specifying your assessment . . . . . . . . . . . . . . 51 5.4 Verifying your table . . . . . . . . . . . . . . . . . . 51 5.5 Saving or printing your table . . . . . . . . . . . . . 52 5.6 Preferences . . . . . . . . . . . . . . . . . . . . . . . 52
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
viii / LPL Software Manual
Background image of page 8
Chapter 1 Introduction
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 10
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 64

LPL_software_manual - LPL Software Manual LPL Software...

This preview shows document pages 1 - 10. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online