{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

LPL_software_manual - LPL Software Manual LPL Software...

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

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

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

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

Info icon This 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
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
Image of page 5

Info icon This 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
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
Image of page 7

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

View Full Document Right Arrow Icon
viii / LPL Software Manual
Image of page 8
Chapter 1 Introduction This manual contains instructions for the applications Submit, Tarski’s World, Fitch, and Boole. These four applications are de-
Image of page 9

Info icon This 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 ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern